2
Интерактивные доказательства для coNP
Я пытаюсь понять интерактивные системы доказательства и попробовал следующую задачу в качестве упражнения. Мы знаем, что и , поэтому придумали (легко понять) интерактивные системы доказательства для ?PH⊆PSPACEPH⊆PSпAСЕPH \subseteq PSPACEяпзнак равноPSпACЕяпзнак равнопSпAСЕIP=PSPACEпЧАСпЧАСPH Интерактивная система доказательства для тривиальна, но мне не удалось получить интерактивную систему проверки даже для . Знаете ли вы …