户田定理是理论计算机科学的复杂度理论的重要结果,它指出在多项式谱系和计数问题之间的内在联系。根据户田定理,多项式谱系内的所有问题均可以在多项式时间内归约为求解多项式个(实际上可以规约为1个)“求令给定布尔表达式为真的可能赋值的数量”(#SAT)问题(参见:布尔可满足性问题)。户田定理的证明由户田诚之助(英语:SeinosukeToda)在1991年给出,并在1998年为证明者赢得了当年的哥德尔奖。(在1991年的该篇论文中,户田诚之助实际上证明了(参见:PP),而上述结果是这个结果的一个自然推论。