Fast and Simple Connectivity in Graph Timelines

From MaRDI portal




Abstract: In this paper we study the problem of answering connectivity queries about a emph{graph timeline}. A graph timeline is a sequence of undirected graphs G1,ldots,Gt on a common set of vertices of size n such that each graph is obtained from the previous one by an addition or a deletion of a single edge. We present data structures, which preprocess the timeline and can answer the following queries: - forall(u,v,a,b) -- does the path uov exist in each of Ga,ldots,Gb? - exists(u,v,a,b) -- does the path uov exist in any of Ga,ldots,Gb? - forall2(u,v,a,b) -- do there exist two edge-disjoint paths connecting u and v in each of Ga,ldots,Gb We show data structures that can answer forall and forall2 queries in O(logn) time after preprocessing in O(m+tlogn) time. Here by m we denote the number of edges that remain unchanged in each graph of the timeline. For the case of exists queries, we show how to extend an existing data structure to obtain a preprocessing/query trade-off of langleO(m+min(nt,t2alpha)),O(talpha)angle and show a matching conditional lower bound.











This page was built for publication: Fast and Simple Connectivity in Graph Timelines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449843)