P / BPP'ye benzer AM / MA ve NP

Arora ve Barak, B P ⋅ N P olarak ifade edilebildiğini, yani 3SAT'a rastgele indirgeme yapan dil kümesini gösterir. M bir de doğal bir randomize bir genellemedir N , P , bir randomize bir deterministik verifier yerine olmasıyla.$\mathsf{AM}$$\mathsf{BP}\cdot \mathsf{NP}$$\mathsf{MA}$$\mathsf{NP}$

Bunlardan birinin "NP olduğu gibi P, BPP'ye ne kadar yakın" olduğu konusunda bir his var mı? ilişki?

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

İşte AM için bir nokta: C karmaşıklık sınıfı için neredeyse-C, hemen hemen her kehanete göre C'deki dil kümesi olarak tanımlanır (neredeyse = Olasılık 1). Sonra neredeyse-P = BPP ve neredeyse-NP = AM.

Başka bir görüşe atmak gerekirse, NP'yi bir polinom-zaman şüphecisine kanıtlayabileceğiniz şey olarak düşünürseniz IP genellemedir.