[1] 多項式時間計算量の決定性チューリング機械によって受理される言語全体の集合を、クラスPといいます。