24

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

Thomas CormenIBSN: 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

O passo a passo dos exercícios mais difíceis

12xR$ 14,90 /mêsCancele quando quiser, sem multa

E mais

  • check Videoaulas objetivas
  • check Resumos por tópicos
  • check Salve para ver depois
  • check Disciplinas ilimitadas
  • check Filtros exclusivos de busca