Untuk kelas-kelas kompleksitas yang didefinisikan dengan cara ini, sangat diinginkan untuk membuktikan bahwa menenangkan persyaratan pada waktu komputasi (say) memang mendefinisikan seperangkat masalah yang lebih besar. Khususnya, meskipun DTIMEUREN) terdapat di DTIMEDWIN2), akan menarik untuk mengetahui apakah inklusinya ketat. Untuk kebutuhan waktu dan ruang angkasa, jawaban atas pertanyaan - pertanyaan demikian diberikan oleh teorema waktu dan ruang angkasa masing - masing. Mereka disebut teorema hierarki karena mereka menginduksi hirarki yang tepat pada kelas didefinisikan dengan membatasi sumber daya masing-masing. Oleh karena itu, ada beberapa jenis kelas yang rumit sehingga yang satu benar - benar termasuk dalam golongan yang lain. Setelah menyimpulkan inklusi yang tepat seperti itu, kita dapat melanjutkan untuk membuat pernyataan kuantitatif tentang berapa banyak waktu atau ruang tambahan yang dibutuhkan untuk meningkatkan jumlah masalah yang dapat dipecahkan.
Pernyataan macam apa yang tidak dibuat untuk menetapkan persyaratan waktu dan ruang angkasa yang dibutuhkan guna meningkatkan jumlah problem yang paling banyak diselesaikan?
pernyataan kuantitatif