49
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 3keyboard_arrow_downkeyboard_arrow_up

Nesse exercício temos que provar que a linguagem Graph-Isomorphism NP, por meio de um algoritmo de tempo polinomial que verifica essa linguagem.

Passo 2 de 3keyboard_arrow_downkeyboard_arrow_up

Considere a linguagem Graph-Isomorphism. Definimos um certificado para a linguagem Graph-Isomorphism ser uma permutação que mapeia os vértices de até os vértices de .

O algoritmo de verificação primeiro checa se é uma permutação, então checa se (u, v) é uma aresta se e apenas se for uma aresta também.

O algoritmo então é processado em um tempo polinomial .

Passo 3 de 3keyboard_arrow_downkeyboard_arrow_up

Portanto, o algoritmo polinomial de tempo pode nos provar que a linguagem Graph-Isomorphism pertence ao conjunto NP, ou seja, Graph-Isomorphism NP.

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