Pertanyaan yang diberi tag interactive-proof-systems

Apakah ada masalah AM-complete yang diketahui / apakah AM-complete didefinisikan dengan baik?

Saya ingin tahu apakah ada masalah lengkap di kelas kompleksitas Arthur-Merlin. Grafik Non-Isomorfisme (GNI) tampaknya menjadi contoh kanonik dari suatu masalah di AM, tapi itu mungkin bukan yang lengkap. Saya kira saya juga bertanya-tanya apakah masalah "lengkap" didefinisikan dengan baik untuk...

Bukti Interaktif untuk CoNP

Saya mencoba memahami sistem bukti interaktif dan mencoba masalah berikut sebagai latihan. Kita tahu bahwa dan , jadi datang dengan sistem bukti interaktif (mudah dimengerti) untuk ?I P = P S P A C E P HPH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEsayaP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH Sistem bukti...