Ci sono problemi noti di AM-complete / AM-complete è ben definito?

Sono curioso di sapere se ci sono problemi completi nella classe di complessità Arthur-Merlin. Il grafico Non isomorfismo (RNL) sembra essere l'esempio canonico di un problema in AM, ma probabilmente non è completo.

Suppongo che mi chiedo anche se un problema "completo" è ben definito per AM. Poiché AM = BP.NP, sembra che la "riduzione" ad AM si basi su riduzioni randomizzate a 3SAT piuttosto che sulle riduzioni Karp che utilizziamo per le classi di complessità deterministica. Quindi forse dato che le riduzioni di Karp non hanno alcun errore, "Ridurre Karp a un problema AM" non ha davvero alcun significato, invalidando così la solita nozione che usiamo di un problema "completo"?

Poiché AM = BP.NP, sembra che la "riduzione" ad AM si basi su riduzioni randomizzate a 3SAT piuttosto che sulle riduzioni Karp che utilizziamo per le classi di complessità deterministica.

$\mathbb{C}$$\mathrm{A}\in \mathbb{C}$$\mathrm{B}\in \mathbb{C}$$\mathrm{B} \leq_p \mathrm{A}$$\mathrm{A}$$\mathbb{C}$

$\mathrm{AM}$$\mathrm{AM}$$\mathrm{AM}$

Vedi mathoverflow.net/questions/34469 e cstheory.stackexchange.com/questions/1233; in breve, la definizione di AM si basa su una promessa, e ciò rende difficile definire una riduzione. - sdcvvc

$\mathrm{AM}$$\mathrm{BPP}$$\mathrm{RP}$$\mathrm{co}$$\mathrm{RP}$$\mathrm{ZPP}$$\mathrm{PP}$$\mathrm{MAJ}$$\mathrm{SAT}$