Pertanyaan yang diberi tag «interactive-proof-systems»

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 AM. Karena AM = BP.NP, tampaknya pergi ke "reduksi" …

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

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 interaktif untuk adalah sepele, tetapi saya gagal …

9 complexity-theory  interactive-proof-systems