PolyL
在計算複雜度理論內，PolyL 是一個決定性問題的複雜度類， 可以使用決定型圖靈機使用被某個輸入大小的多對數函數 (polylogarithmic) 函數所限制的空間。換句話說，polyL = DSPACE ((log n) O (1))，這裡的 O (1) 代表一個常數。
相對於已知包含在 P 內的 L，我們尚且不知道是否 polyL 是包含於 P 內，或者反過來。(PolyL 已知包含於 QP，或說，類多項式時間 (Quasi-polynomial time) 之內)。 話說回來，我們知道 polyL ≠ P，因為 (舉例來說) polyL 並沒有在多對一對數空間歸約之下的完備問題。 但是 P 則有這類問題。PolyL 沒有對數空間之下的完備問題是因為空間譜系理論 (space hierarchy theory) 保證了 DSPACE ((log n) 1) ⊊ DSPACE ((log n) 2) ⊊ DSPACE ((log n) 3)… 等等。如果 polyL 有完備問題，則這問題必然落在某個 DSPACE ((log n) k) 內 (k 為某個常數)。這會令 PolyL，也就是包含 DSPACE ((log n) k+1) 以上所有空間複雜度內的問題，全部可以歸約為 DSPACE ((log n) k)，而違背了空間譜系理論。