Обсуждение:Интерактивные протоколы. Класс IP. Класс AM

Надо написать, что V хочет установить истину. Надо расставить ссылки (например, на вероятностную МТ). Надо правильным начертанием оформить не только BPP и NP, но и всех остальных (IP, AM, GNI…). Надо закрыть фигурные скобки в определениях. Можно-нельзя достичь нельзя писать внутри определения, ибо это путает; надо, наверное, просто текстом после определения (или, лучше, обоих определений). Точки в формулирвоках теорем и последнем определении. Кирилл Елагин 02:01, 4 июня 2012 (GST)

И [math]P[/math], и [math]V[/math] видят входное слово. Хорошо бы об этом явно написать.

Чем отличается [math]\mathrm{BPP}[/math] от [math]\mathrm{IP[0]}[/math]?

Дмитрий Шевченко 23:38, 4 июня 2012 (GST)