P内的L，我们尚且不知道是否polyL是包含于P内，或者反过来。(PolyL已知包含于QP，或说，类多项式时间(Quasi-polynomial time)之内)。 话说回来，我们知道polyL ≠ P，因为(举例来说) polyL并没有在多对一对数空间归约之下的完备问题。 但是P则有这类问题。PolyL没有对数空间之下的完备问题是因为空间谱系理论(space hierarchy theory)保证了DSPACE((log "n")) ⊊ DSPACE((log "n")) ⊊ DSPACE((log "n