für einen Ressourcentyp die Aussage, daß eine geringe Erhöhung der Ressourcen die Menge der lösbaren Probleme echt vergrößert.

Der deterministische Zeithierarchiesatz für Turing-Maschinen besagt unter schwachen Annahmen an die Funktionen T₁ und T₂, daß, falls \begin{eqnarray}{T}_{1}\mathrm{log}{T}_{1}=o({T}_{2})\end{eqnarray} ist, in der Zeit T₂ mehr Probleme lösbar sind als in der Zeit T₁.

Es wird vermutet, daß Hierarchiesätze für die Komplexitätsklassen der polynomiellen Hierarchie sowie für die Sprachklassen AC^k, ACC^k, non-uniform-NC^k und TC^k (und wachsendes k) gelten.