Bilinen AM-complete problemleri var mı / AM-complete iyi tanımlanmış mı?

Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil.

Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık sınıfları için kullandığımız Karp azaltımlarından ziyade 3SAT'a randomize indirimlere dayanıyor gibi görünüyor. Belki de Karp azaltmalarının bir hatası olmadığından, "AM problemine indirgeyen Karp" gerçekten bir anlam ifade etmez, bu yüzden "tam" bir problemi kullandığımız olağan düşünceyi geçersiz kılar?

AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık sınıfları için kullandığımız Karp azaltımlarından ziyade 3SAT'a randomize indirimlere dayanıyor gibi görünüyor.

Bu yanlış bir sezgi. Ne olursa olsun size karmaşıklık sınıfını tanımlamak nasıl , herhangi bir sorun varsa öyle ki, her sorun için , sizi bilgisi , daha sonra bir çok-on tam bir sorundur .$\mathbb{C}$$\mathrm{A}\in \mathbb{C}$$\mathrm{B}\in \mathbb{C}$$\mathrm{B} \leq_p \mathrm{A}$$\mathrm{A}$$\mathbb{C}$

Aslında, için rastgele indirimlerle tamamlanan bir sorun bile bilinmemektedir. Başka bir deyişle, içinde herhangi bir belirli karar sorununu tespit etmek çok zor görünüyor, böylece içinde olduğu bilinen diğer sorunlardan önemsiz bir azalma elde edebiliyoruz .$\mathrm{AM}$$\mathrm{AM}$A M$\mathrm{AM}$

Bkz. Mathoverflow.net/questions/34469 ve cstheory.stackexchange.com/questions/1233; kısacası, AM'nin tanımı bir vaat üzerine kuruludur ve bu bir indirgeme tanımlamayı zorlaştırır. - sdcvvc

Bu, için tam bir sorun bulma yolundaki engellerden biridir . Bu, , , - , . Bu sınıflar, poli-zaman olasılıklı Turing makinesinin tüm örneklerde sınırlı hata olasılığına sahip olmasını gerektirir. için durum çok daha kolaydır , bu sınıf hata olasılığına herhangi bir gereklilik getirmez, hangi sonuç daha yüksek olasılıksa makinenin cevabıdır, bu yüzden bunun için tam bir sorunu kolayca yakalayabiliriz, yani - .$\mathrm{AM}$$\mathrm{BPP}$$\mathrm{RP}$$\mathrm{co}$$\mathrm{RP}$$\mathrm{ZPP}$$\mathrm{PP}$$\mathrm{MAJ}$$\mathrm{SAT}$