TheoremComplete

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.

TheoremEuler's Theorem for Connected Graphs

Let GG be a connected graph. Then:

  1. GG has an Eulerian circuit if and only if every vertex has even degree
  2. GG 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.

Proof

Part 1 - Eulerian Circuit:

(\Rightarrow) Necessity: Suppose an Eulerian circuit exists. Consider any vertex vv. Each time the circuit passes through vv, 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 vv equals deg(v)/2\deg(v)/2. Thus deg(v)\deg(v) must be even.

(\Leftarrow) Sufficiency: Assume all vertices have even degree. We construct an Eulerian circuit by algorithm:

Start at any vertex v0v_0 and follow edges arbitrarily, never repeating an edge, until stuck. Call this walk WW.

Claim: When stuck, we must be back at v0v_0.

Proof: If stuck at vertex uv0u \neq v_0, we entered uu the same number of times we left it, plus one final entry. This means we used an odd number of edges at uu. But deg(u)\deg(u) is even, so unused edges remain—contradiction.

If WW uses all edges, we're done. Otherwise, since GG is connected, some vertex vv on WW has an unused incident edge. Starting from vv, construct another walk WW' 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:

(\Rightarrow) If an Eulerian path exists from uu to vv with uvu \neq v, then uu and vv 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 u=vu = v, this is an Eulerian circuit, so all degrees are even.

(\Leftarrow) If exactly two vertices u,vu,v have odd degree, add edge {u,v}\{u,v\} to create graph GG'. Now all degrees in GG' are even, so GG' has an Eulerian circuit by Part 1. Remove edge {u,v}\{u,v\} from this circuit to obtain an Eulerian path in GG from uu to vv.

ExampleKönigsberg Bridges

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.

Remark

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.