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

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

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

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

9 complexity-theory  interactive-proof-systems