戸田の定理ウィキペディア フリーな encyclopedia 戸田の定理(とだのていり、英: Toda's theorem)とは、1991年に戸田誠之助が証明した計算量理論における定理である[1]。戸田はこの功績により1998年のゲーデル賞を受賞している。