他のクラスとの関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/10/13 14:48 UTC 版)
「RE (計算複雑性理論)」の記事における「他のクラスとの関係」の解説
RE は R より厳密に大きいことが知られており、Co-RE とは厳密に等しくないことが知られている。これらには次のような関係がある。 R = RE ∩ Co-RE {\displaystyle {\textbf {R}}={\textbf {RE}}\cap {\textbf {Co-RE}}}
※この「他のクラスとの関係」の解説は、「RE (計算複雑性理論)」の解説の一部です。
「他のクラスとの関係」を含む「RE (計算複雑性理論)」の記事については、「RE (計算複雑性理論)」の概要を参照ください。
他のクラスとの関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/14 03:55 UTC 版)
ZPP=RP ∩ Co-RP であるから、ZPP は明らかに RP と Co-RP に含まれる。 クラス P は ZPP に含まれる。これについて P=ZPP と予想する者もいる。すなわち、ラスベガス法には多項式時間の決定的アルゴリズムが必ず対応して存在するという考え方である。 ZPP = EXPTIME かどうかは未だ明らかになっていない(一般に違うと予想されている)。P=ZPP であることが明らかになれば、ZPP ≠ EXPTIME であることも同時に明らかとなる(時間階層定理)。
※この「他のクラスとの関係」の解説は、「ZPP」の解説の一部です。
「他のクラスとの関係」を含む「ZPP」の記事については、「ZPP」の概要を参照ください。
- 他のクラスとの関係のページへのリンク