戶田定理

在理論計算機科學的複雜度理論這一分支中 ， 戶田定理是一個重要的結果 ， 它指出在多項式譜系和之間的內在聯繫 ： 根據戶田定理 ， 多項式譜系內的所有問題均可以在多項式時間內歸約爲求解多項式個 （ 實際上可以規約爲1個 ） “ 求令給定布爾表達式爲真的可能賦值的數量 ” （ #SAT ） 問題 （ 參見 ： 布爾可滿足性問題 ） 。 戶田定理的證明由在1991年給出 ， 並在1998年爲證明者贏得了當年的哥德爾獎 。 （ 在1991年的該篇論文中 ， 戶田誠之助實際上證明了 （ 參見 ： PP ） ， 而上述結果是這個結果的一個自然推論 。 ） 戶田定理的證明主要包含以下兩部分 ： 一個概率性的證明指出 ； 通過去隨機化過程證明上述複雜度類在內 。