チューリング還元
Polynomial-time Turing reduction