以下の属性をもつ確率的チューリング機械で解ける問題の複雑性クラスである。実行時間に制限はないが、任意の入力長について平均で多項式時間かかる。属する問題を解くアルゴリズムは完全に無作為なコインを投げるとも言える。常に正しい答えを返すので、ラスベガス法に分類される。未満だが、最悪の場合はもっと長くなる。以下の属性を持つ確率的チューリング機械で解ける問題のクラスと定義することもできる。常に多項式時間である。ない場合は常に正しい。