Turing reduction
多項式時間チューリング還元（Cook 還元）と 多項式時間多対一還元（Karp 還元）では、前者の方が道具としては「強い」。したがって、ある問題がある問題に「還元可能である」という主張は、後者の還元の意味で言ったときの方が強い。