PolyL是一个决定性问题的复杂度类， 可以使用决定型图灵机使用被某个输入大小的多对数函数(polylogarithmic)函数所限制的空间。换句话说，polyL = DSPACE((log "n"))，这里的 O(1)代表一个常数。相对于已知包含在P内的L，我们尚且不知道是否polyL是包含于P内，或者反过来。(PolyL已知包含于QP，或说，类多项式时间(Quasi-polynomial time)之内)。 话说回来，我们知道polyL ≠ P，因为(举例来说) polyL并没有在多对一对数空间归约