Untergrenze für die Überprüfung der Grafikkonnektivität im Stream

Ich möchte den Status der unteren Untergrenze für die Lösung des Konnektivitätsproblems im Stream in Durchgängen überprüfen . Das wurde in der Literatur angegeben, scheint aber für ein etwas anderes Problem zu sein. Habe ich etwas verpasst? Details unten. Ω ( n / p $p$$\Omega(n/p)$

Bei einem Graphen von Eckpunkten in einem Strom (Kanten werden einzeln in einer Streaming-Weise dargestellt) möchten wir prüfen, ob verbunden ist. Was ist der minimale Speicherplatz, den ein Algorithmus benötigt, um dieses Problem zu lösen, wenn er den Stream für Durchgänge lesen darf ?n G $G$$n$$G$$p$

Feigenbaum et al . zeigten -Raum für Ein-Durchlauf-Algorithmen für eine Klasse von Problemen, die dieses Problem einschließen (siehe Abschnitt 5.1), und gaben an, dass die Untergrenze des -Raums für die Konnektivität von Henzinger et al. . Die einzige Untergrenze für das Problem "Konnektivität" ist jedoch das Problem " - Konnektivität": Bei gegebenen Eckpunkten und möchten wir prüfen, ob und in derselben verbundenen Komponente liegen (Satz 6). Der Beweis dafür kann nicht für das Konnektivitätsproblem verwendet werden, da möglicherweise viele Scheitelpunkte auf keine Kante fallen.Ω ( n / p $\Omega(n)$$\Omega(n/p)$t s t s $s$$t$$s$$t$$s$$t$

Meine Frage ist also, ob für die von mir angegebene spezifische Version der Konnektivität eine Untergrenze für den Pass-Stream bekannt ist.$p$

Hier ist eine Reduzierung von Disjointness, die funktionieren könnte:

Bei gegebenen Eingangs- Bit-Vektoren und wollen Alice und Bob Kantenmengen und für einen Graphen so dass verbunden ist, wenn es keinen Index gibt, so dass .x y E 1 E 2 G G x i = y i = $n$$x$$y$$E_1$$E_2$$G$$G$$x_i = y_i = 1$

Für den Graphen wird der Scheitelpunkt . Für addiert Alice die Kante zu wenn ; In ähnlicher Weise addiert Bob die Kante zu wenn . Zusätzlich fügt Alice alle Kanten des Formulars für .0 $G$ i < n ( ( i - 1 , 0 ) , ( i , 0 ) ) E 1 x i = 0 ( ( i - 1 , 1 ) , ( i , 1 ) ) E 2 y i = 0 ( ( i ${0,1,\ldots,n} \times {0,1}$$i < n$$((i-1,0),(i,0))$$E_1$$x_i = 0$$((i-1,1),(i,1))$$E_2$$y_i = 0$$((i,0),(i,1))$$i\in {0,\ldots,n}$

Ich denke, dieser Graph hat eine verbundene Komponente, wenn mit , was passiert, wenn für jedes entweder oder 0 ist; Das heißt, die beiden Eingänge sind disjunkt.( n , 0 ) i ∈ 1 , 2 , … , n x i y $(0,0)$$(n,0)$$i\in{1,2,\ldots,n}$$x_i$$y_i$

Eine bessere Untergrenze, wenn$p=1$ n log n - n ( log log n + 3 / 2 ) log = log 2 3 / 2 1 n log log e - log e ≈ 0.91 ist, ist Bits, wobei . (Der Term kann für groß genug beliebig nahe an , und asymptotisch ist er .)$n \log n - n (\log \log n + 3/2)$$\log = \log_2$$3/2$$1$$n$$\log\log e - \log e \approx 0.91$

Man kann auch eine einfache Reduktion aus einem Graph-Konnektivitäts-Kommunikationsspiel anwenden , um eine weniger explizite -Untergrenze zu erhalten. Da sich der implizite konstante Faktor jedoch auf die Anzahl der Blöcke bezieht, die durch Szemerédis Regularity Lemma garantiert werden , scheint er so klein zu sein, dass er für Anwendungen unbrauchbar ist.$\Omega(n \log n)$

Eine genauere Untergrenze für den Pass-Fall ist also . Ich bin nicht davon überzeugt, dass dies die wahre Untergrenze ist, da das Erreichen einer solchen Grenze unwahrscheinlich erscheint - die wahre Abhängigkeit von scheint schwächer zu sein als ein umgekehrtes Verhältnis. Die Grenze sollte jedoch mindestens , wodurch verbessert wird .$p$pΩ($\frac{1}{p}(n\log n - n(\log\log n + 3/2))$$p$Ω(n/p$\Omega(\frac{1}{p}n\log n)$$\Omega(n/p)$