time)で解ける判定問題の集合である。関連するクラス定義[編集]判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義[編集]Pはしばしば、「効率的に解ける」問題のクラスとして扱われる。RPやBPPといった乱択で解けるクラスも、Pより大きいかもしれないが「効率的に解ける」と考えることもできる。逆にPに属しても実際には扱うことが困難である問題もある。入力のサイズnに対してn1000000の時間を必要とする問題も、定義からはPに属する。Pに属する問題のうち対数領域還元に関して最大なものはP完全であるという。他の問題クラスとの関係[編集]非決定性チューリング機械によって多項式時間で解かれる判定問題のクラスをNPという。PがNPに含まれることは自明である。多くの研究者がPはNPの真部分集合であると信じているが、証明されていない(P≠NP予想)。Pかどうかは未解決である。対数領域の交替性チューリング機械によって解ける問題のクラスALOGSPACEはPに等しい。PSPACEであるかどうかは未解決である。}ここで、EXPTIMEは指数時間で解ける問題のクラスである。PはEXPTIMEの真部分集合であるから、Pよりも右の包含関係のうち少なくとも一つは真部分集合である(実際には上に示された包含がみな真の包含であると広く予想されている)。なる決定問題のクラス。違い解を出力することができる問題のクラス。答えることがある乱択算法によって解かれる判定問題のクラス。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。