Euler Theorem - Characterization
Euler's theorem provides a complete characterization of graphs admitting Eulerian circuits and paths through simple degree conditions. This elegant result demonstrates how local vertex properties determine global traversal possibilities.
Let be a connected graph. Then:
- has an Eulerian circuit if and only if every vertex has even degree
- has an Eulerian path if and only if exactly 0 or 2 vertices have odd degree
When exactly 2 vertices have odd degree, the Eulerian path must start at one odd-degree vertex and end at the other.
Part 1 - Eulerian Circuit:
() Necessity: Suppose an Eulerian circuit exists. Consider any vertex . Each time the circuit passes through , it enters via one edge and leaves via another edge (except at the start/end where it both starts and ends). Since the circuit uses each edge exactly once, the number of times it visits equals . Thus must be even.
() Sufficiency: Assume all vertices have even degree. We construct an Eulerian circuit by algorithm:
Start at any vertex and follow edges arbitrarily, never repeating an edge, until stuck. Call this walk .
Claim: When stuck, we must be back at .
Proof: If stuck at vertex , we entered the same number of times we left it, plus one final entry. This means we used an odd number of edges at . But is even, so unused edges remain—contradiction.
If uses all edges, we're done. Otherwise, since is connected, some vertex on has an unused incident edge. Starting from , construct another walk using only unused edges (which form a graph with all even degrees at remaining vertices). Continue recursively merging walks until all edges are used.
Part 2 - Eulerian Path:
() If an Eulerian path exists from to with , then and have odd degree (starting and ending use odd numbers of edges at these vertices), while all other vertices have even degree (enter and leave equal numbers of times).
If , this is an Eulerian circuit, so all degrees are even.
() If exactly two vertices have odd degree, add edge to create graph . Now all degrees in are even, so has an Eulerian circuit by Part 1. Remove edge from this circuit to obtain an Eulerian path in from to .
The Seven Bridges of Königsberg problem asks whether one can walk across each of the seven bridges exactly once. The graph has four vertices (landmasses) with degrees 3, 3, 3, and 5—all odd.
By Euler's theorem, since more than two vertices have odd degree, no Eulerian path exists. This impossibility result was proved by Euler in 1736, founding graph theory.
For directed graphs, similar results hold: a strongly connected digraph has an Eulerian circuit if and only if every vertex has equal in-degree and out-degree. This applies to de Bruijn graphs used in DNA sequencing and genome assembly.