62
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