Trifft es zu, dass es Probleme in dem Polynom Hierarchie auflösbar in Zeit (durch eine alternierende Turingmaschine in einem bestimmten Ebene der Polynom Hierarchie) , die nicht auflösbar ist in in irgendeine Ebene der Polynom-Hierarchie? Mit anderen Worten - gibt es einen Zeithierarchiesatz für die Polynomhierarchie wie für P und NP? Wenn ja, wäre eine Referenz großartig.O ( n k - 1 )
Die Schwierigkeit, auf die ich gestoßen bin, besteht darin, dass die simulierende Maschine, wenn sie Maschinen aus allen Hierarchieebenen simuliert, sich nicht in einer bestimmten Hierarchieebene befindet. Was führt zu einer verwandten Frage: Zu welcher kleinsten Klasse gehört eine solche Simulationsmaschine? Hat es einen Sinn, eine Klasse mit Alternationen (oder / O (\ log \ log n) ) zu definieren?O ( log n ) O ( log log n )