B是一个问题的集合或者是一个复杂度类，使用的定义如下：formula_7当语言L是复杂度类B里面的完备问题时，如果这个完备定义内所使用的归约过程是在A复杂度里面，则A=A。例如，因为SAT在多项式归约里面是NP-完全，P=P。然而，要是A =DLOGTIME，因为SAT在DLOGTIME里面并不一定是NP-完全，那么A并不一定等于A。很显然的，NP ⊆ P，但是NP，P，NP和P要相等则仅在最佳状况才有可能。一般相信这些复杂度类不相等，并且导出了多项式谱系这个定义。利用预言机，研究像是针对某种