Boolean satisfiability problem
AB は、クラス A のアルゴリズムに「言語」B のオラクルを付加することで解ける問題のクラスをも意味している。例えば、PSAT は、チューリングマシンに充足可能性問題のオラクルを付与することで多項式時間で解ける問題のクラスである。言語 B がクラス C について完全であるとき、AB=AC が成り立つ。特に SAT はNP完全問題なので、PSAT=PNP となる。