Teori waktu dan ruang angkasa membentuk dasar untuk hasil yang paling terpisah dari kelas-kelas kompleksitas. Sebagai contoh, teorema waktu memberitahu kita bahwa P benar-benar terkandung dalam EXPTIME, dan teorema ruang angkasa memberitahu kita bahwa L benar-benar terkandung dalam PSPACE.
Teorema ruang dan waktu yang lalu membentuk dasar apa?
untuk hasil yang paling terpisah dari kelas-kelas kompleksitas.