目录
戶田定理
在理論計算機科學的複雜度理論這一分支中，戶田定理是一個重要的結果，它指出在多項式譜系和之間的內在聯繫： 根據戶田定理，多項式譜系內的所有問題均可以在多項式時間內歸約為求解多項式個（實際上可以規約為1個）“求令給定布爾表達式為真的可能賦值的數量”（#SAT）問題（參見：布尔可满足性问题）。戶田定理的証明由在1991年給出，並在1998年為証明者贏得了當年的哥德爾獎。（在1991年的該篇論文中，戶田誠之助實際上證明了PH \subseteq P^（參見：PP），而上述結果是這個結果的一個自然推論。） 戶田定理的証明主要包含以下兩部分：.
查看 PP和戶田定理
新營糖廠
新營糖廠是一座位於臺灣臺南新營的製糖工廠，為台灣糖業公司昔日三大總廠之一，過去曾為日治時期臺灣四大製糖會社之一鹽水港製糖本社所在地。目前台糖設其油品事業部於此，秤量所附近亦設有鐵道文化園區。.
查看 PP和新營糖廠