Untuk kelas kerumitan yang didefinisikan dengan cara ini, diinginkan untuk membuktikan bahwa melonggarkan persyaratan pada (katakanlah) waktu komputasi memang mendefinisikan serangkaian masalah yang lebih besar. Secara khusus, meskipun DTIME (n) terkandung dalam DTIME (n2), akan menarik untuk mengetahui apakah inklusi tersebut ketat. Untuk persyaratan waktu dan ruang, jawaban atas pertanyaan tersebut diberikan oleh teorema waktu dan ruang masing-masing. Mereka disebut teorema hierarki karena mereka menginduksi hierarki yang tepat pada kelas yang didefinisikan dengan membatasi sumber daya masing-masing. Dengan demikian ada pasangan kelas kompleksitas sedemikian rupa sehingga yang satu benar dimasukkan ke yang lain. Setelah menyimpulkan set inklusi yang tepat, kita dapat melanjutkan untuk membuat pernyataan kuantitatif tentang berapa banyak lagi waktu atau ruang tambahan yang dibutuhkan untuk meningkatkan jumlah masalah yang dapat dipecahkan.
Teorema apa yang bertanggung jawab untuk menentukan pertanyaan waktu dan kebutuhan ruang?
teorema hierarki waktu dan ruang
teorema waktu dan ruang
Teorema NNO
apa PRI
yang PRR
bertanggung VBI
jawab VBT
untuk PPO
menentukan VBT
pertanyaan NNO
waktu NNO
dan CCN
kebutuhan NNO
ruang NNO
? PUN