Connectivity
We concern ourselves with only simple graphs here.
Definition 1.
A graph is -vertex connected if it has at least vertices and it remains connected after removing any vertices.
is -edge connected if it remains connected after removing any edges.
The vertex connectivity of is the maximum such that is -vertex connected. Ditto for edge connectivity.
For example -vertex connected graphs have at least vertices, and the graph remains connected after deleting any vertex. “Connectivity” by itself refers to vertex connectivity.
Note that -vertex connectivity implies -edge connectivity.
Definition 2.
A vertex is called a cut vertex if has more connected components than . A cut edge/bridge is similarly defined.
Some simple results:
- If is connected, then is a cut vertex iff is disconnected.
- is a cut vertex of a graph iff there are two vertices and such that lies in every path between and .
- If is a bridge and , then is a cut-vertex.
Theorem 3.
A graph with vertices is 2-vertex connected iff every pair of vertices are part of a cycle.
The fact that 2-vertex connectivity implies 2-edge connectivity is freely used in the following proof.
Proof of
When has internally disjoint paths between any two vertices, deletion of one vertex cannot separate form .Proof of
Let be any pair of vertices. We will induct on . If , and must be in a cycle since cannot be a cut-edge. Next, let . Let be a path between and . By the inductive hypothesis, and must lie in a cycle. Let and be the two disjoint paths connecting and .Since is 2-connected, deleting the vertex1 should not disconnect it. Thus, there exists a path such that . Let be the path between and .
If does not share any vertices with and , we are done, since and are disjoint paths connecting and . Else, WLOG, let be the first among and to share a vertex with . Let be the path from to which follows from to , then from to . Then, and are disjoint paths connecting and .
Blocks
Definition 4.
A block of a graph is a maximal connected subgraph of that has no cut vertex. If itself is connected and has no cut vertex, then is a block.
Blocks are edge-disjoint. Every edge must be part of a block. Two blocks may share at most one vertex. When two blocks of share a vertex, it must be a cut-vertex of .
An equivalence relation on edges which partitions a graph into blocks: if and are contained in a common cycle.
Ear decomposition
Definition 5.
An ear of a graph is a path in in which every vertex except for the first and last has degree two.
When we add an ear to a graph, we take two vertices and of and create an ear by adding new edges and vertices to form a path.
Definition 6.
An ear decomposition of is a decomposition such that is a cycle and for is an ear of .
Theorem 7.
A graph is 2-connected iff it has an ear decomposition. Furthermore, every cycle in a 2-connected graph is the initial cycle in some ear decomposition.
Proof of
Since cycles are 2-connected, it suffices to show that adding an ear preserves 2-connectedness. This should be clear.Proof of
Given a 2-connected graph , we build an ear decomposition of form a cycle in . Let . Let be a subgraph obtained by successively adding ears. If , then we can choose an edge of and an edge . Because is 2-connected, and lie on a common cycle . Let be the path in that contains and exactly two vertices of , one at each end op . Now, can be added to to obtain a larger subgraph in which is an ear. The process ends only by absorbing all of .
Footnotes
-
Note that we actually used 2-vertex connectivity here. 2-edge connectivity is not gonna cut it. ↩