チューリング還元
クラス A のアルゴリズムにクラス B の問題を解くオラクルを組み合わせることで解ける決定問題の複雑性クラスを AB と表記する。例えば、決定性チューリングマシンにNPクラスのオラクルが付属したもので多項式時間で解ける問題のクラスは、PNP で表される。このクラスの問題は、NPクラスに多項式時間チューリング還元で還元可能である。