Запитання з тегом «interactive-proof-systems»

Мені цікаво, чи є якісь повні проблеми в класі складності Артура-Мерліна. Графічний неізоморфізм (ВНД), здається, є канонічним прикладом проблеми в АМ, але, мабуть, не є повною. Я думаю, мені також цікаво, чи добре визначена "повна" проблема для AM. Оскільки AM = BP.NP, схоже, що перехід на "зменшення" до AM покладається …

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

Я намагаюся зрозуміти інтерактивні системи доказування і спробував наступну проблему як вправу. Ми знаємо, що і , тому придумали (легко зрозуміти) інтерактивні системи підтвердження для ?ПН⊆ РSПА СЕPH⊆PSPACEPH \subseteq PSPACEЯП= РSПА СЕIP=PSPACEIP=PSPACEПНPHPH Інтерактивна система доказування є тривіальною, але мені не вдалося отримати інтерактивну систему підтвердження навіть для . Чи знаєте …

9 complexity-theory  interactive-proof-systems