Teorema hierarki waktu dan ruang membentuk dasar bagi sebagian besar hasil pemisahan kelas kompleksitas. Misalnya, teorema hierarki waktu memberi tahu kita bahwa P benar-benar terkandung dalam EXPTIME, dan teorema hierarki ruang memberi tahu kita bahwa L benar-benar terkandung dalam PSPACE.
Dalam variabel apa L dibatasi menurut teorema hierarki ruang?
PSPACE
PSPACE
Dalam PPO
variabel NNO
apa PRI
L NNP
dibatasi VBP
menurut PPO
teorema NNO
hierarki NNO
ruang NNO
? PUN