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.
For a graph with at least 3 vertices, the following are equivalent:
- is 2-connected
- has no cut vertices
- Every pair of vertices lies on a common cycle
- For any vertex and any edge , there exists a path from one endpoint of to the other that passes through
(1) (2): If is a cut vertex, removing disconnects , contradicting 2-connectivity.
(2) (3): Let be distinct vertices. Since has no cut vertices, is connected, so there exists a path from to any neighbor of not using . Similarly, is connected, giving a path from to not using . Combining these paths creates a cycle through and .
(3) (4): Let and be given. By (3), and lie on a cycle . If , we use the portion of from to through . If , we again use (3) to find a cycle through and , then route from through to reach via paths avoiding the edge .
(4) (1): Suppose is not 2-connected. Then , so there exists a cut vertex . Let and be vertices in different components of . But then (4) implies we can connect to via a path through that avoids some edge , contradicting that separates and .
For any graph , we have: where is vertex connectivity, is edge connectivity, and is minimum degree.
Second inequality: Let be a vertex with . Removing all edges incident to disconnects (isolating ), so .
First inequality: Let be a minimum edge cut with , separating into components and . If there exists a vertex incident to all edges in , then is a cut vertex and .
Otherwise, construct a vertex cut as follows: for each edge in from to , include its endpoint in if it has other neighbors in , or its endpoint in otherwise. This creates a vertex cut of size at most , giving .
For the complete bipartite graph , we have (the degree of vertices in the smaller part), (removing two edges disconnects it), and (removing two vertices can disconnect). Here equality holds throughout.
However, for a "bow-tie" graph (two triangles sharing a single vertex), (for non-central vertices), showing all inequalities can be strict.
Menger's theorem provides a deeper connection: the minimum size of a vertex cut separating and equals the maximum number of vertex-disjoint paths between them. This max-flow min-cut duality underlies many connectivity results and algorithms.