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 )
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 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 )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.