乘法的确难于平方。此归约称为多一归约。上题的多一归约关系为：
定义.给予两个自然数N的子集A与B，以及一个函数集合F，型态为由N至N，并拥有复合封闭性。我们称在F下，A可归约成B若：我们写做：设S为P(N)（即自然数集的幂集）的子集，另设≤的归约关系，则S称做封闭于≤之下若：一N的子集A，称对S困难（hard），若：一N的子集A，若A对S困难且A包含于S集合之内，则称A对S完备（complete）。
复杂性类的判别.
详