运作的电脑在多项式个数之内的处理器下完成的化约，，基于一个未被证明的假设 NC ≠ P，则我们可知所有的P-完全问题在NC之外，因此无法被有效率的平行处理化。如果我们使用比较弱的 log-space 化约，前面的说法维持为真，但是多了一个P-完全问题会在L之外的推论， 基于另一个较弱的，尚未被证明的假设L ≠ P。这里需要注意到根据后者定义出的P-完全 会是一个比前者小一点的集合。
动机.找到一个有效率平行处理P-完全问题的方法会导出NC = P的结论(另一个虽没有证明，但是一般认