P 및 BPP와 유사한 AM / MA 및 NP

Arora와 Barak은 이 로 표현 될 수 있음을 보여줍니다. 즉, 3SAT로 무작위 축소 된 언어 집합입니다. 는 또한 결정 론적 검증자를 무작위 화 된 검증기로 대체한다는 점에서 의 자연스러운 무작위 일반화입니다 .$\mathsf{AM}$$\mathsf{BP}\cdot \mathsf{NP}$$\mathsf{MA}$$\mathsf{NP}$

이들 중 하나가 "NP가?에 대해 P는 BPP에?"에 더 가깝다는 의미가 있습니까? 관계?

이것은 물론 매우 주관적인 문제이지만, 여기에 가 더 적합하다고 말하는 것으로 해석 될 수 있습니다 . 도 같은 의미로 이지만 이러한 가정은 을 의미하지는 않습니다 . 또한 은 암시합니다. , 그러나 을 암시하는 것은 아닙니다 .$\mathbf{MA}$$\mathbf{P} = \mathbf{BPP}$$\mathbf{NP} = \mathbf{MA}$$\mathbf{NP} = \mathbf{AM}$$\mathrm{promise}\mathbf{P} = \mathrm{promise}\mathbf{BPP}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{MA}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{AM}$

그러나 는 의 비 결정적 변형 이고 은 의 확률 적 변형 이라고 말하는 다른 견해 가 있습니다. 전술 한 사실은 또한이 견해의 증거로 해석 될 수있다.$\mathbf{MA}$$\mathbf{BPP}$$\mathbf{AM}$$\mathbf{NP}$

AM에 대한 요점은 다음과 같습니다. 복잡한 클래스 C의 경우 거의 C는 거의 모든 오라클 (거의 = 확률 1)과 관련하여 C에있는 언어 세트로 정의됩니다. 그런 다음 거의 P = BPP이고 거의 NP = AM입니다.

다른 관점에서 볼 때, IP를 다항식 회의론자에게 입증 할 수있는 것으로 생각하면 IP는 일반화입니다.