NP
多項式時間検証可能という側面から NP を考えると、対話証明とみなすこともできる。AMは(P を BPP に拡張したように) NP から確率的な挙動を許すようにしたクラスである。PCP定理(英語版)は、 NP = PCP ( O ( log  n ) , O ( 1 ) ) {\displaystyle {\textsf {NP}}={\textsf {PCP}}(O(\log n),O(1))} を示している。