Der Satz der Zeithierarchie ist Gegenstand meines Diplomprojekts. Vielleicht möchten Sie die Kommentare zu meiner Frage Untere Schranken und Klassentrennung anzeigen .
Wenn ich auf diese Frage zurückblicke und sehe, wie sie sich auf das bezieht, was Sie fragen, habe ich eine Idee, die möglicherweise zeigt, dass der für den Beweis des Theorems erforderliche Mehrfachband-zu-Einzelband-Simulationsaufwand nicht verbessert werden kann. Daher ist ein anderer Ansatz erforderlich, um dieses Ergebnis zu verbessern.
BEARBEITEN: Dieser Beweis ist falsch, siehe die Kommentare unten für den genauen Grund. Ich bearbeite gerade die Antwort, um das zu reflektieren.
Sei die Sprache .{ 0 k 1 k | k ≥ 0 }A{0k1k|k≥0}
Auf einem einzelnen Bandgerät gibt es einen -Algorithmus (Details zu diesem Algorithmus finden Sie in Kapitel 7.1.2 des Sipser-Buches "Einführung in die Berechnungstheorie". In derselben Referenz finden Sie weitere Informationen dass eine Sprache genau dann in o (n \ log n) ist, wenn sie regulär ist. Kaveh stellt in der oben verlinkten Frage auch die Originalarbeiten für diese Behauptung zur Verfügung.O(nlogn)
In den Kommentaren meiner Frage zeigt Ryan Williams einen -Algorithmus für dasselbe Problem unter Verwendung eines 2-Band-TM.O(n)
Es sei nun angenommen, dass es eine Technik zum Simulieren eines Multitapes TM in ein einzelnes Band TM gibt, das eine Laufzeit von , wobei die Laufzeit des simulierten TM ist . Wenn wir es auf den von Ryan veranschaulichten Computer anwenden, erhalten wir ein einzelnes Band TM, das in . Daher ist regulär, was ein Widerspruch ist. Wir schließen daraus, dass ein Overhead von das Beste ist, was wir tun können, wenn wir Multi-Tape-Maschinen mit Single-Tape-Maschinen simulieren.T ( n ) o ( n log n ) A log T ( n )o(T(n)logT(n))T(n)o(nlogn)AlogT(n)
Mir ist klar, dass dies eine starke Aussage ist, daher könnte ich mich in meiner Interpretation irren.
Selbst wenn es eine Technik gibt, mit der dieses Ergebnis verbessert werden kann, ist es meiner Meinung nach nicht möglich, das Ergebnis für oder . Meine Intuition ergibt sich aus der folgenden Tatsache:S P A C ENTIMESPACE
Es gibt ein sehr bekanntes Ergebnis , das angibt . Unter der Annahme, dass glaube ich, dieses Ergebnis zu verbessert wird , ist für jedes So eine sehr kleine nicht deterministische Klasse viel mächtiger als jede deterministische . Angesichts der Stärke einer nicht deterministischen Ressourcenzeit würde ich erwarten, dass eine größere Menge deterministischer Zeit benötigt wird, um eine TM leistungsfähiger zu machen, um die Stärke des Nichtdeterminismus zu kompensieren.P ≤ N P D TDTIME(n)≠NTIME(n)P≠NPkDTIME(nk)≠NTIME(n)k