알려진 AM- 완전 문제가 있습니까 / AM- 완전히 정의되어 있습니까?

Arthur-Merlin Complex 클래스에 완전한 문제가 있는지 궁금합니다. 그래프 비 동형화 (GNI)는 AM 의 문제 에 대한 정식 사례 인 것 같지만 아마도 완전한 문제 는 아닙니다.

"완전한"문제가 AM에 대해 잘 정의되어 있는지 궁금합니다. AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다. Karp 축소에는 오류가 없기 때문에 "AM 문제로 축소하는 Karp"는 실제로 의미가 없으므로 "완전한"문제의 일반적인 개념을 무효화합니까?

AM = BP.NP이므로 AM으로의 "감소"는 결정적 복잡성 클래스에 사용하는 Karp 감소보다는 3SAT의 무작위 감소에 의존하는 것 같습니다.

$\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}$

mathoverflow.net/questions/34469 및 cstheory.stackexchange.com/questions/1233을 참조하십시오. 간단히 말해서 AM의 정의는 약속에 의존하기 때문에 축소를 정의하기가 까다로워집니다. – sdcvvc

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