Những gì không có trong PSPACE?
Các định lý phân cấp thời gian và không gian tạo thành cơ sở cho hầu hết các kết quả phân tách của các lớp độ phức tạp.Ví dụ, định lý phân cấp thời gian cho chúng ta biết rằng P được chứa chặt chẽ trong EXPTIME, và định lý phân cấp không gian cho chúng ta biết rằng L được chứa chặt chẽ trong PSPACE.