チューリング還元
Logarithmic-space Turing reduction