Graph theory · Definition

Connected graph

discrete mathematicsgraphs

Before you start you need to know

It tells graphs made of one piece apart from those that split into isolated pieces, and lets us talk about «parts» of a graph.

Definition

A graph \(G=(V,E)\) is connected if any two vertices \(u,v\in V\) are joined by a path.

\[\forall\,u,v\in V\ \ \exists\ \text{path from } u \text{ to } v\]

If a graph is not connected, it decomposes uniquely into connected components: the largest possible connected subgraphs. Two vertices lie in the same component exactly when there is a path between them, and this relation splits the vertices into disjoint classes. A graph is connected when it has a single component; the one-vertex graph is connected.

Counting edges gives a useful bound. A connected graph with \(n\) vertices has at least \(n-1\) edges, because each edge joins at most two components. At the other extreme, a disconnected graph with \(n\) vertices has at most \(\binom{n-1}{2}\) edges (a complete graph on \(n-1\) vertices plus an isolated one); more edges than that force the graph to be connected.

Removing an edge that lies on a cycle does not break connectedness, since the rest of the cycle provides a detour. An edge whose removal does disconnect the graph is called a bridge. A common mistake is to think connected means «having all possible edges»: that is a complete graph, a very special case. Connectedness is the property behind trees, Eulerian tours and distances.

Think about it

Is the graph on 3 vertices with no edges connected?

No: it has 3 components, each a single vertex, and there is no path between distinct vertices.

Exercises 10

References

  • Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th edition, McGraw-Hill, 2019. §10.4
  • Susanna S. Epp, Discrete Mathematics with Applications, 5th edition, Cengage, 2019. §10.2
  • Ralph P. Grimaldi, Discrete and Combinatorial Mathematics: An Applied Introduction, 5th edition, Pearson, 2003. §11.2