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.
Pernyataan seperti apa yang dibuat dalam upaya menetapkan persyaratan waktu dan ruang yang dibutuhkan untuk meningkatkan jumlah masalah yang paling banyak dipecahkan?
pernyataan kuantitatif
pernyataan kuantitatif
Pernyataan NNO
seperti PPO
apa PRI
yang PRR
dibuat VBP
dalam PPO
upaya NNO
menetapkan VBT
persyaratan NNO
waktu NNO
dan CCN
ruang NNO
yang PRR
dibutuhkan VBP
untuk PPO
meningkatkan VBT
jumlah NNO
masalah NNO
yang PRR
paling ADV
banyak KUA
dipecahkan VBP
? PUN