戸田誠之助

戸田誠之助（とだ せいのすいのすけ、1959年1月15日生まれ）は、東京の日本大学に勤務する計算機科学者である。^{[ 1 ]}戸田は、小林浩次郎の指導の下、1992年に東京工業大学で博士号を取得した。 ^{[ 2 ]}彼は、計算複雑性理論における戸田の定理を証明した功績により、1998年のゲーデル賞を受賞した。戸田の定理とは、多項式階層のすべての問題は、計数問題への多項式時間チューリング還元を持つというものである。^{[ 3 ]}