53
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