题的实例上；图灵归约计算一问题的解，并假设其他问题容易解决。多一归约强于图灵归约。较弱的归约在分割问题的种类上效率较高，但它们的威力较弱，使本类归约较难设计。然而，为了使归约有用，它们必须易于使用。例如实际研究中常常要将难以得解的NP完备问题，例如SAT问题，归约成显而易懂的问题，像借由效率为指数时间并在有解时输出整数零的机器，决定一数是否为零。但这并没有多少用处，因为我们可以执行如同解决旧问题一样难的归约以解决新问题。因此，依照复杂度类别使用适当归约符号的学问兴起。在钻研复杂度类NP与更难的类别时