Turing reduction
算術還元性は、チューリング還元性と超算術還元性の中間の概念である。