coNP ⊆ IP

Descrição:

Revisão rápida da última aula. Discutida a aritmetização de fórmulas booleanas. Finalizado o teorema: # ∈ IP e concluído que coNP ⊆ IP.

Instrutor: Prof. Michael Sipser