任意の自然がある
私はそれを知って定量化するブール式問題式ため φはない数量を含まず、唯一の変数はxは1、... 、xはN、Y 1、... 、Y nが一例であるΠ P 2 -complete問題。しかし、私はあることが知られている任意の天然の問題があるかどうかを疑問に思うΠ Pψ = ∀ X1... ∀ Xん∃ Y1... ∃ Yんφψ=∀バツ1…∀バツん∃y1…∃yんφ \psi = \forall x_1 \ldots \forall x_n \exists y_1 \ldots \exists y_n \phi φφ\phiバツ1、… 、xん、y1、 … 、yんバツ1、…、バツん、y1、…、yんx_1, \ldots, x_n, y_1, \ldots, y_nΠP2Π2P\Pi_2^P -complete、同じように回路の最小化が自然であるΣ P 2 -complete問題(参照多項式階層の詳細については)?ΠP2Π2P\Pi_2^PΣP2Σ2P\Sigma_2^P