タグ付けされた質問 「interactive-proof-systems」

アーサー・マーリンの複雑性クラスに完全な問題があるかどうか興味があります。Graph Non-Isomorphism（GNI）は AMの問題の標準的な例のようですが、おそらく完全なものではありません。 AMの「完全な」問題が明確に定義されているのではないかと思っています。AM = BP.NPであるため、AMへの「リダクション」は、決定論的な複雑度クラスに使用するカープリダクションではなく、3SATへのランダムリダクションに依存しているようです。それでは、Karp削減にはエラーがないため、「Karp削減AM問題」には実際には意味がないため、「完全な」問題の通常の概念は無効になりますか？

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

私はインタラクティブな証明システムを理解しようと試みており、練習として次の問題を試しました。私たちは、知っているとI P = P S P A C Eそれほどのための（理解しやすい）対話証明システムを思い付く、P H？PH⊆ PSPA CEPH⊆PSPあCEPH \subseteq PSPACE私P= PSPA CE私P=PSPあCEIP=PSPACEPHPHPH のインタラクティブな証明システムは簡単ですが、c o N Pでもインタラクティブな証明システムを取得できませんでした。c o N Pの明示的なインタラクティブプルーフシステム（明示的にはI P = P S P A C Eルートを経由しないことを意味します）を知っていますか？NPNPNPc o NPcoNPcoNP私P= PSPA CE私P=PSPあCEIP=PSPACEc o NPcoNPcoNP

9 complexity-theory  interactive-proof-systems