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:

  1. If is connected, then is a cut vertex iff is disconnected.
  2. is a cut vertex of a graph iff there are two vertices and such that lies in every path between and .
  3. 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

  1. Note that we actually used 2-vertex connectivity here. 2-edge connectivity is not gonna cut it.