チューリング還元
チューリング還元（チューリングかんげん、）は、計算量理論における還元の一種である。アラン・チューリングの名がつけられた還元であり、問題 "A" が問題 "B" にチューリング還元されるとは、"B" が容易に解けると仮定したときに "A" が容易に解けることを意味する（Rogers 1967、Soare 1987）。より厳密に言えば、"B" を神託として備えた神託機械によって"A"が計算可能であることである。チューリング還元は決定問題にも関数問題にも適用できる。