Dowód omer Reingold, że daje algorytm USTCON (W U ndirected wykres ze szczególnym wierzchołki s i t są one Con podłączeń z sieciami?) Za pomocą tylko logspace. Podstawową ideą jest zbudowanie wykresu ekspandera z oryginalnego wykresu, a następnie przejście do wykresu ekspandera. Wykres ekspandera jest tworzony przez wielokrotne kwadratowe obliczenie oryginalnego wykresu logarytmicznie. Na wykresie ekspandera średnica jest tylko logarytmiczna, więc wystarczy przeszukać głębokość logarytmiczną w DFS.
Rozszerzenie wyniku do oznaczałoby istnienie algorytmu przestrzeni logicznej dla DSTCON - taki sam, ale dla D skorygowanych wykresów. (Czasami tylko STCON.) Moje pytanie, może nieco miękkie, czy są główne przeszkody w rozszerzeniu na to dowodu Reingolda?
Wydaje się nieco, że powinien istnieć rodzaj „ukierunkowanego ekspandera”. Podobny rodzaj konstrukcji, w którym dodajesz krawędzie odpowiadające ścieżkom o średniej długości, a następnie niektóre odpowiadające długim; a następnie możesz przemierzać wykres z głębokością logarytmiczną, przesuwając się po krótkich ścieżkach, aby dostać się do długiej; potem z powrotem do krótkich ścieżek na końcu.
Czy ta koncepcja ma poważną wadę? Czy może nie ma dobrych konstrukcji takich ekspanderów? Czy może wymaga to więcej pamięci niż wersja bezkierunkowa?
Niestety nie mogę znaleźć wiele na kierowanych grafach ekspanderów. W rzeczywistości zasadniczo wszystko, co mogłem znaleźć, to /math/2628930/how-can-one-construct-a-directed-expander-graph-w -varying-degree-distribution (na które nie ma odpowiedzi) i https://repository.upenn.edu/cgi/viewcontent.cgi?article=1202&context=cis_papers . Czy jest inny termin, pod którym powinienem szukać?
źródło
Odpowiedzi:
źródło