3
複雑性の仮定のアンソロジー
The Random Oracle Hypothesis Is Falseの論文では、著者（Chang、Chor、Goldreich、Hartmanis、Håstad、Ranjan、Rohatgi）がランダムオラクル仮説の意味について議論しています。彼らは、複雑性クラス間の分離についてはほとんど知らないと主張し、ほとんどの結果は、合理的な仮定の使用、またはランダムオラクル仮説のいずれかを伴います。最も重要で広く信じられている仮定は、PHは崩壊しないということです。彼らの言葉で： 1つのアプローチでは、PHには無限に多くのレベルがあるという作業仮説を仮定します。したがって、PHが有限であることを暗示する仮定はすべて不正確と見なされます。例えば、カープとリプトンは NP⊆P /ポリ場合、PHが崩壊することを示した。したがって、SATには多項式サイズの回路はないと考えられます。同様に、NPのチューリング完全なセットと多対一の完全なセットはスパースではないと考えています。マハニーはこれらの条件がPHを崩壊させることを示したからです。一つもすることができることを示す任意のkについて≥0、P S A T [ K ] = P S A T [ KΣP2Σ2P\Sigma^P_2は、PHが有限であることを意味します。したがって、すべてのk≥0に対して P S A T [ k ] ≠ P S A T [ k + 1 ]であると考えます。したがって、多項式階層が実際に無限である場合、NPの計算の複雑さの多くの側面を記述できます。PSAT[k]=PSAT[k+1]PSAT[k]=PSAT[k+1]P^{\mathrm{SAT}[k]} = P^{\mathrm{SAT}[k+1]}PSAT[k]≠PSAT[k+1]PSAT[k]≠PSAT[k+1]P^{\mathrm{SAT}[k]} \ne P^{\mathrm{SAT}[k+1]} PHが崩壊しないという仮定の他に、他の多くの複雑な仮定がありました。例えば： ヤオは、以下の仮定の妥当を認める： 。RP⊆⋂ϵ>0DTIME(2nϵ)RP⊆⋂ϵ>0DTIME(2nϵ)RP \subseteq \bigcap\limits_{\epsilon > 0} …