<s>[INST]Kaynakları üretmek için hiyerarşi teoremleri tarafından kısıtlanır?[/INST]Bu şekilde tanımlanan karmaşıklık sınıfları için, hesaplama süresindeki gereksinimlerin gevşetilmesinin gerçekten de daha büyük bir sorun kümesini tanımladığını kanıtlamak istenir. Özellikle, DTIME (n) DTIME'de (n2) bulunsa da, dahil edilmenin sıkı olup olmadığını bilmek ilginçtir. Zaman ve mekan gereksinimleri için, bu tür soruların cevabı sırasıyla zaman ve mekan hiyerarşi teoremleri tarafından verilmektedir. Bunlara hiyerarşi teoremleri denir, çünkü ilgili kaynakları kısıtlayarak tanımlanan sınıflarda uygun bir hiyerarşi yaratırlar. Böylece, biri diğerine düzgün şekilde dahil edilecek şekilde karmaşıklık sınıfı çiftleri vardır. Bu gibi uygun kümelerden çıktıktan sonra, çözülebilecek sorunların sayısını artırmak için ne kadar ek zamana veya alana ihtiyaç duyulduğuna dair nicel açıklamalar yapmaya devam edebiliriz.</s>