Omer Reingolds Beweis , dass einen Algorithmus für USTCON gibt (In einem U ndirected Graph mit speziellen Ecken s und t sind sie Con GESCHLOSSENE?) Nur logspace verwenden. Die Grundidee besteht darin, ein Expander-Diagramm aus dem ursprünglichen Diagramm zu erstellen und anschließend das Expander-Diagramm zu verwenden. Das Expander-Diagramm wird erstellt, indem das ursprüngliche Diagramm viele Male logarithmisch quadriert wird. In der Expander-Grafik ist der Durchmesser nur logarithmisch, sodass eine DFS-Suche der logarithmischen Tiefe ausreicht.
Eine Erweiterung des Ergebnisses auf würde die Existenz eines Logspace-Algorithmus für DSTCON implizieren - der gleiche, aber für D irektierte Graphen. (Manchmal nur STCON.) Meine Frage, vielleicht etwas leise, ist, was sind die Haupthindernisse, um den Beweis von Reingold dahingehend zu erweitern?
Es fühlt sich leicht an, als sollte es eine Art "gerichteten Expander" -Diagramm geben. Eine ähnliche Art von Konstruktion, bei der Sie Kanten hinzufügen, die Pfaden mittlerer Länge entsprechen, und dann Kanten, die langen Pfaden entsprechen. und dann können Sie den Graphen mit logarithmischer Tiefe durchlaufen, indem Sie sich über kurze Pfade bewegen, um zu einem langen zu gelangen; dann zurück zu kurzen Wegen am Ende.
Gibt es einen großen Fehler in diesem Konzept? Oder gibt es keine guten Konstruktionen für solche Expander? Oder benötigt es irgendwie mehr Speicher als die ungerichtete Version?
Auf gerichteten Expandergraphen finde ich leider überhaupt nicht viel. Eigentlich konnte ich nur /math/2628930/how-can-one-construct-a-directed-expander-graph-with-varying-degree-distribution finden (was nicht beantwortet wird) und https://repository.upenn.edu/cgi/viewcontent.cgi?article=1202&context=cis_papers . Gibt es einen anderen Begriff, unter dem ich suchen sollte?