Sistemas de Prova Interativos, IP

Descrição:

Revisão rápida da última aula. Introduzido o modelo de sistema de prova interativa. Definida a classe IP. Mostrado que ∈ IP. Começou a demonstrar que # ∈ IP para provar que coNP ⊆ IP.

Instrutor: Prof. Michael Sipser