ormula_6的预言带的格子。
与预言机相关的复杂度类.我们以A这个符号，代表一个复杂度类里面的决定性问题可以使用包含在A类别里面的演算法，加上带有针对L语言之预言的预言机。举例来说，P这个复杂度类，里面的问题以一个带有布尔可满足性问题预言的预言机，以多项式时间可以解决。A这种表示法也可以引申成令B是一个问题的集合或者是一个复杂度类，使用的定义如下：formula_7当语言L是复杂度类B里面的完备问题时，如果这个完备定义内所使用的归约过程是在A复杂度里面，则A=A。例如，因为