Вопросы с тегом «interactive-proof-systems»

Существуют ли какие-либо известные проблемы с AM-полнотой / правильно ли определены AM-полные?

Мне любопытно, есть ли какие-либо полные проблемы в классе сложности Артура-Мерлина. Неизоморфизм графов (GNI) кажется каноническим примером проблемы в AM, но, вероятно, он не полный. Полагаю, мне также интересно, хорошо ли определена «полная» проблема для AM. Так как AM = BP.NP, похоже, что...

Интерактивные доказательства для coNP

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