P这个复杂度类，里面的问题以一个带有布尔可满足性问题预言的预言机，以多项式时间可以解决。A这种表示法也可以引申成令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要相等