都可归约成某问题P，则可称P是完备（complete）的，且P自己也会处于此类别中。故问题P代表此类别，因其任一解都可经由归约解决此类别中的所有问题。
归约种类与应用.依上例所述，在计算复杂度中，主要有两大类的归约：多一归约与图灵归约。多一归约将一问题的所有实例对应到另一问题的实例上；图灵归约计算一问题的解，并假设其他问题容易解决。多一归约强于图灵归约。较弱的归约在分割问题的种类上效率较高，但它们的威力较弱，使本类归约较难设计。然而，为了使归约有用，它们必须易于使用。例如实际研