Misiniz

10

Eğer sonra hiyerarşi (Karp-Lipton teoreminden) ikinci düzeyine çöker. Peki ya ve ? $\sf RP = NP$ $\sf NP$ $\sf coNP$

Ben (diğer yön ise önemsiz) içerdiğini kanıtlamaya çalıştım ama boşuna, ve bunun doğru olduğundan bile emin değilim. $\sf BPP$ $\sf NP$ $\sf RP = NP$

Ne düşünüyorsun?

complexity-theory complexity-classes probabilistic-algorithms

— Robert777
kaynak

Böyle düşünmek için belirli bir resmi neden olduğunu düşünmüyorum (ama ikisinin de olmamasının bir nedeni yok). Kısacası, açık olduğuna inanıyorum.

— Luke Mathieson

koşulsuz olarak kanıtlanması açık bir sorundur.

B P P \subseteq N P

$\mathbb{BPP} \subseteq \mathbb{NP}$

— chazisop

3

RP'nin tamamlayıcı altında kapalı olduğunu kanıtlayabilersek, RP = NP ise NP = Co-NP olduğunu söyleyebiliriz.

$\subseteq$

RP = BPP olduğunu gösterirsek ifadeniz doğru olur.

Referanslar:

— pragya
kaynak

veya RP = ZPP'dir.

1

kullanın $\mathsf{RP=NP\implies NP\subseteq P/poly}$ $\,\subseteq\,$ P / poli (Journal of Symbolic Logic, 72 (4): 1353–71, 2007; PS ).

— T ....
kaynak