Turing reduction
Cook還元とも言う
還元可能性の還元の方法の一つ
α\alphaαがβ\betaβにチューリング還元可能であるとき、α≤Tβ\alpha\le_T\betaα≤Tβと表記する
定義