In einfacher Form:
Kann ein endlicher Zwei-Wege-Automat Vertex-Graphen erkennen, die ein Dreieck mit -Zuständen enthalten?
Einzelheiten
Von Interesse sind hier Vertex-Graphen, die unter Verwendung einer Folge von Kanten codiert sind, wobei jede Kante ein Paar von unterschiedlichen Ecken von .
Angenommen, ist eine Folge von endlichen Zweiwege-Automaten (deterministisch oder nicht deterministisch), so dass k -Clique auf v -Vertex-Eingabegraphen erkennt und s ( v ) -Zustände aufweist. Eine allgemeine Form der Frage lautet dann: Ist s ( v ) = Ω ( v k ) ?
Wenn und für unendlich viele , dann ist NL NL NP. Weniger ehrgeizig setze ich daher fest, dass fest ist und der Fall der erste nichttriviale Fall ist.
Hintergrund
Ein Zwei-Wege-Automat (2FA) ist eine Turing-Maschine, die keinen Arbeitsbereich, nur eine feste Anzahl von internen Zuständen hat, sondern ihren schreibgeschützten Eingabekopf hin und her bewegen kann. Im Gegensatz dazu bewegt der übliche endliche Automat (1FA) seinen schreibgeschützten Eingabekopf nur in eine Richtung. Endliche Automaten können deterministisch (DFA) oder nicht deterministisch (NFA) sein sowie einen Einweg- oder Zweiwegzugriff auf ihre Eingabe haben.
Eine Grapheneigenschaft ist eine Teilmenge von Graphen. Lassen Sie Q v bezeichnen die v -eckiges Graphen mit Eigenschaft Q . Für jede Grapheneigenschaft Q kann die Sprache Q v von einem 1DFA mit höchstens 2 v ( v - 1 ) / 2 Zuständen erkannt werden , indem für jeden möglichen Graphen ein Zustand verwendet und gemäß Q bezeichnet wird und Übergänge zwischen Zuständen markiert werden durch Kanten. Q v ist daher eine reguläre Sprache für jede Eigenschaft Q. Nach dem Myhill-Nerode-Theorem gibt es dann ein einzigartiges bis zum Isomorphismus kleinstes 1DFA, das erkennt . Wenn dies 2 s ( v ) Zustände hat, ergeben Standard-Blowup-Grenzen, dass ein 2FA, der Q v erkennt, mindestens s ( v ) Ω ( 1 ) Zustände hat. Dieser Ansatz über Standard-Blowup-Grenzen ergibt also höchstens eine quadratische in- v- Untergrenze für die Anzahl der Zustände in einer 2FA für ein Q v (selbst wenn Q hart oder unentscheidbar ist).
-Clique ist die Grapheneigenschaft eines vollständigen -Vertex-Teilgraphen. Das Erkennen von k- Clique v kann durch eine 1NFA erfolgen, die zunächst nicht deterministisch eine von ( v Verschiedene potenziellek-Klassen, nach denen gesucht werden soll, und dann wird die Eingabe einmal gescannt, wobei nach jeder der erforderlichen Kanten gesucht wird, um die Clique zu bestätigen, und diese Kanten werden unter Verwendung von2k(k-1)/2Zuständen für jede von verfolgt die verschiedenen potenziellen Cliquen. Eine solche 1NFA hat ( vgibt an, dass1≤cv≤e ist. Wennkfest ist, sind diesΘ(vk)Zustände. Wenn Sie den bidirektionalen Zugriff auf die Eingabe zulassen, können Sie möglicherweise eine Verbesserung dieser unidirektionalen Grenze erzielen. Die Frage lautet dannk=3 ob ein 2FA besser kann als diese 1FA Obergrenze.
Nachtrag (16.04.2017): Siehe auch eine verwandte Frage zur deterministischen Zeit und eine schöne Antwort zu den bekanntesten Algorithmen . Meine Frage konzentriert sich auf den ungleichmäßigen nichtdeterministischen Raum. In diesem Zusammenhang ist die Reduktion auf Matrixmultiplikation, die von den zeiteffizienten Algorithmen verwendet wird, schlechter als der Brute-Force-Ansatz.