Resolvido: Algoritmos - Teoria e Prática - 3ª Ed. 2012 | Cap 34.4 Ex 1E
51
Algoritmos - Teoria e Prática - 3ª Ed. 2012

Exercícios resolvidos: Algoritmos - Teoria e Prática - 3ª Ed. 2012

Thomas Cormen IBSN: 9788535236996

Elaborado por professores e especialistas

Passo 1 de 4keyboard_arrow_downkeyboard_arrow_up

Considere um circuito de tamanho n

Um circuito com as variáveis , onde da forma que:

Já que o número total de variáveis , e é n o tamanho do circuito descrito na equação acima será n.

Passo 2 de 4keyboard_arrow_downkeyboard_arrow_up

Para mostrar que , o teorema reduz qualquer instância de satisfatibilidade para uma instância de fórmula com tempo polinomial.

Passo 3 de 4keyboard_arrow_downkeyboard_arrow_up

Se existem n variáveis, então atribuição são possíveis, portanto o tamanho da fórmula booleana também será

Passo 4 de 4keyboard_arrow_downkeyboard_arrow_up

Portanto, para um circuito de tamanho n , o tamanho da fórmula para a resolução do sistema será exponencial em n

Navegar por capítulo

Aprenda agora com os exercícios mais difíceis

R$29,90/mês

Assine o PremiumCancele quando quiser, sem multa

Aproveite também

  • check Todos os materiais compartilhados
  • check Biblioteca com 5.000 livros, escolha 5 por mês
  • check Videoaulas exclusivas
  • check Resumos por tópicos