Separator-Based Sparsification II: Edge and Vertex Connectivity

@article{Eppstein1998SeparatorBasedSI,
  title={Separator-Based Sparsification II: Edge and Vertex Connectivity},
  author={David Eppstein and Zvi Galil and Giuseppe F. Italiano and Thomas H. Spencer},
  journal={SIAM J. Comput.},
  year={1998},
  volume={28},
  pages={341-381}
}
We consider the problem of maintaining a dynamic planar graph subject to edge insertions and edge deletions that preserve planarity but that can change the embedding. We describe algorithms and data structures for maintaining information about 2- and 3-vertex-connectivity, and 3- and 4-edge-connectivity in a planar graph in O(n1/2) amortized time per insertion, deletion, or connectivity query. All of the data structures handle insertions that keep the graph planar without regard to any… 

Figures from this paper

Optimal Offline Dynamic 2, 3-Edge/Vertex Connectivity
TLDR
This work gives offline algorithms for processing a sequence of 2- and 3-edge and vertex connectivity queries in a fully-dynamic undirected graph using a divide and conquer scheme that transforms a graph into smaller equivalents that preserve connectivity information.
Decremental SPQR-trees for planar graphs
We present a decremental data structure for maintaining the SPQR-tree of a planar graph subject to edge contractions and deletions. The update time, amortized over Ω( n ) operations, is O (log 2 n ).
Decremental SPQR-trees for Planar Graphs
We present a decremental data structure for maintaining the SPQR-tree of a planar graph subject to edge contractions and deletions. The update time, amortized over Omega(n) operations, is O(log^2 n).
Dynamically Switching Vertices in Planar Graphs
TLDR
Efficient algorithms that maintain information about connectivity on planar graphs in O( log3 n) amortized time per query, insert, delete, switch-on, and switch-off operation over sequences of at least Ω(n) operations, where n is the number of vertices of the graph.
Dynamically Switching Vertices in Planar Graphs (Extended Abstract)
TLDR
Efficient algorithms that maintain information about connectivity on planar graphs in O(log3n) amortized time per query, insert, delete, switch-on and switch-off operation over sequences of at least Ω(n) operations, where n is the number of vertices of the graph.
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs
TLDR
These results imply the first polynomial kernels for Steiner Tree and Steiner Forest on planar and bounded-genus graphs by explaining the structure of the solution space within a brick of the so-called mortar graph -- the central notion of this framework.
Fully dynamic planarity testing with applications
TLDR
The first algorithm for this problem with sub-linear running time is affirmatively answered, and it affirmatively answers a question posed in Epstein et al.
Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers
TLDR
A technique is developed that, given any problem that admits a certain notion of vertex sparsifiers, gives data structures that maintain approximate solutions in sub-linear update and query time and illustrates the applicability of this paradigm to the following problems.
Fully Dynamic Algorithm for Recognition and Modular Decomposition of Permutation Graphs
TLDR
This paper considers the problem of maintaining a compact representation (O(n) space) of permutation graphs under vertex and edge modifications (insertion or deletion) and obtains a fully dynamic algorithm for the recognition ofpermutation graphs.
Combinatorial algorithms for graphs and partially ordered sets
TLDR
It is proved that Thorup’s labeling scheme can be generalized to a setting where only a subset of the vertices are labeled, and it is shown that for almost all graphs and sets of interesting vertices, no planar reachability substitute exists, not of any size.
...
...

References

SHOWING 1-10 OF 43 REFERENCES
Separator based sparsification for dynamic planar graph algorithms
TLDR
A fully dynamic planarity testing algorithm is given that maintains a graph subject to edge insertions and deletions, and allows queries that test whether the graph is currently planar, or whether a potential new edge would violate planarity, in amortized time O(nl 12) per update or query.
Data Structures for Two-Edge Connectivity in Planar Graphs
Separator Based Sparsification. I. Planary Testing and Minimum Spanning Trees
TLDR
A fully dynamic planarity testing algorithm is given that maintains a graph subject to edge insertions and deletions and that allows queries that test whether the graph is currently planar, or whether a potential new edge would violate planarity, inO(n1/2) amortized time per update or query.
Maintaining the 3-Edge-Connected Components of a Graph On-Line
TLDR
This paper shows how to answer the question of whether or not two vertices belong to the same 3-edge-connected component of a connected graph that is undergoing only edge insertions.
A Dynamic Data Structure for Planar Graph Embedding (Extended Abstract)
TLDR
A dynamic data structure that allows for incrementally constructing a planar embedding of aPlanar graph with n vertices and m edges that finds applications in circuit layout, graphics, motion planning, and computer-aided design.
Maintenance of Triconnected Components of Graphs (Extended Abstract)
In this paper, optimal algorithms and data structures are presented to maintain the triconnected components of a general graph, under insertions of edges in the graph. At any moment, the data
A matroid approach to finding edge connectivity and packing arborescences
  • H. Gabow
  • Computer Science, Mathematics
    STOC '91
  • 1991
TLDR
An algorithm that finds k edge-disjoint arborescences on a directed graph in time O(kmn + k3n2)2 is presented, based on two theorems of Edmonds that link these two problems and show how they can be solved.
Improved Sparsification
TLDR
An improved sparsification technique is described that avoids the logarithmic overhead and keeps track of the following properties: minimum spanning forest, best swap, connectivity, 2-edge-connectivity, and bipartiteness.
Ambivalent Data Structures for Dynamic 2-Edge-Connectivity and k Smallest Spanning Trees
TLDR
Ambivalent data structures are presented for several problems on undirected graphs and used in finding the k smallest spanning trees of a weighted undirecting graph in O(m log beta (m,n)+min(k/sup 3/2/, km/sup 1/2/)) time, where m and n are understood to be the current number of edges and vertices, respectively.
...
...