Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte Trennungen: , P ≠ E X P , N P ≠ N E X P , P S P A C E ≠ E X P S P A C E.
Es folgt jedoch nicht jede Trennung aus einem Hierarchiesatz. Ein sehr einfaches Beispiel ist . Auch wenn wir nicht wissen, ob einer von ihnen den anderen enthält, sind sie immer noch unterschiedlich, da N P in Bezug auf Polynomtransformationen geschlossen ist, während E dies nicht ist.
Welches sind tiefere, bedingungslose, nicht relativierte Komplexitätsklassentrennungen für einheitliche Klassen, die sich nicht direkt aus einem Hierarchiesatz ergeben?