Les théorèmes de la hiérarchie sont des outils fondamentaux. Un bon nombre d'entre eux ont été rassemblés dans une question précédente (voir Quelles hiérarchies et / ou théorèmes de hiérarchie connaissez-vous? ). Certaines séparations de classes de complexité découlent directement des théorèmes de hiérarchie. Exemples de séparations bien connues: , , , .
Cependant, toutes les séparations ne découlent pas d'un théorème de hiérarchie. Un exemple très simple est . Même si nous ne savons pas si l'un d'eux contient l'autre, ils sont toujours différents, car est fermé par rapport aux transformations polynomiales, tandis que ne l'est pas.E
Quelles sont les séparations de classes de complexité plus profondes, inconditionnelles et non relativisées pour les classes uniformes qui ne découlent pas directement d'un théorème de hiérarchie?