<s>[INST]Sınırlar gevşetilirse daha büyük bir sorun kümesi yaratacak karmaşıklık sınıfında bir ölçüm örneği nedir?[/INST]Bu şekilde tanımlanan karmaşıklık sınıfları için, hesaplama süresi konusundaki gereksinimlerin gevşetilmesinin gerçekten de daha büyük bir sorun kümesi tanımladığını kanıtlamak istenmektedir. Ö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 sağlarlar. 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>