ProofComplete

Connectivity and Cut Vertices

Understanding when a graph can be disconnected by removing vertices or edges is central to network reliability and structural analysis. We prove key results about connectivity and characterize graphs without cut vertices.

TheoremEquivalent Characterizations of 2-Connectivity

For a graph GG with at least 3 vertices, the following are equivalent:

  1. GG is 2-connected
  2. GG has no cut vertices
  3. Every pair of vertices lies on a common cycle
  4. For any vertex vv and any edge ee, there exists a path from one endpoint of ee to the other that passes through vv
Proof

(1) \Rightarrow (2): If vv is a cut vertex, removing vv disconnects GG, contradicting 2-connectivity.

(2) \Rightarrow (3): Let u,vu, v be distinct vertices. Since GG has no cut vertices, GuG - u is connected, so there exists a path PP from vv to any neighbor ww of uu not using uu. Similarly, GvG - v is connected, giving a path QQ from uu to ww not using vv. Combining these paths creates a cycle through uu and vv.

(3) \Rightarrow (4): Let e={x,y}e = \{x,y\} and vv be given. By (3), xx and yy lie on a cycle CC. If vCv \in C, we use the portion of CC from xx to yy through vv. If vCv \notin C, we again use (3) to find a cycle through vv and xx, then route from xx through vv to reach yy via paths avoiding the edge ee.

(4) \Rightarrow (1): Suppose GG is not 2-connected. Then κ(G)=1\kappa(G) = 1, so there exists a cut vertex ww. Let uu and vv be vertices in different components of GwG - w. But then (4) implies we can connect uu to vv via a path through ww that avoids some edge e={w,u}e = \{w, u\}, contradicting that ww separates uu and vv.

TheoremWhitney's Theorem on Connectivity

For any graph GG, we have: κ(G)λ(G)δ(G)\kappa(G) \leq \lambda(G) \leq \delta(G) where κ(G)\kappa(G) is vertex connectivity, λ(G)\lambda(G) is edge connectivity, and δ(G)\delta(G) is minimum degree.

Proof

Second inequality: Let vv be a vertex with deg(v)=δ(G)\deg(v) = \delta(G). Removing all δ(G)\delta(G) edges incident to vv disconnects GG (isolating vv), so λ(G)δ(G)\lambda(G) \leq \delta(G).

First inequality: Let SS be a minimum edge cut with S=λ(G)|S| = \lambda(G), separating GG into components AA and BB. If there exists a vertex ww incident to all edges in SS, then ww is a cut vertex and κ(G)=1λ(G)\kappa(G) = 1 \leq \lambda(G).

Otherwise, construct a vertex cut as follows: for each edge in SS from AA to BB, include its endpoint in AA if it has other neighbors in AA, or its endpoint in BB otherwise. This creates a vertex cut of size at most S|S|, giving κ(G)λ(G)\kappa(G) \leq \lambda(G).

ExampleStrict Inequalities

For the complete bipartite graph K2,3K_{2,3}, we have δ(K2,3)=2\delta(K_{2,3}) = 2 (the degree of vertices in the smaller part), λ(K2,3)=2\lambda(K_{2,3}) = 2 (removing two edges disconnects it), and κ(K2,3)=2\kappa(K_{2,3}) = 2 (removing two vertices can disconnect). Here equality holds throughout.

However, for a "bow-tie" graph (two triangles sharing a single vertex), κ(G)=1<λ(G)=2<δ(G)=2\kappa(G) = 1 < \lambda(G) = 2 < \delta(G) = 2 (for non-central vertices), showing all inequalities can be strict.

Remark

Menger's theorem provides a deeper connection: the minimum size of a vertex cut separating uu and vv equals the maximum number of vertex-disjoint paths between them. This max-flow min-cut duality underlies many connectivity results and algorithms.