The Degree Rule
Searching for an Eulerian trail can take a long time and, if none exists, it never finishes. Counting the odd-degree vertices takes seconds and settles the question completely, which is the difference between a search and a theorem.
A journey passes through a vertex without stopping. How many of that vertex's edges does it use on that pass? Now: what does that force about the degree of any vertex that is not the start or the finish?
For a connected graph, count the vertices of odd degree. Zero means an Eulerian circuit exists, starting anywhere. Exactly two means an Eulerian trail exists, running from one odd vertex to the other. Any other count means neither.
$$0 \to \text{circuit}, \qquad 2 \to \text{trail}, \qquad \text{more} \to \text{neither}$$
There is no case for one odd vertex, because Lesson 2 proved the number of odd vertices is always even. So the only counts that can occur are $0$, $2$, $4$, $6$ and so on, and only the first two are any use.
Know
- that a connected graph has an Eulerian circuit exactly when every vertex has even degree
- that a connected graph has an Eulerian trail but no circuit exactly when exactly two vertices have odd degree
- that a connected graph with four or more odd vertices has neither
Understand
- why a vertex that is passed through uses its edges in pairs, forcing an even degree
- why the two odd vertices, when there are two, must be the start and the finish
- why the rule cannot be applied to a disconnected graph however favourable its degrees are
Can Do
- decide from the degrees alone whether a connected graph has an Eulerian circuit, an Eulerian trail or neither
- state where such a journey must start and finish
- determine how many edges must be added to make a graph have an Eulerian trail or circuit
Take a vertex that a journey passes through without starting or finishing there. Each pass arrives along one edge and departs along another, so each pass uses exactly two of that vertex's edges.
An Eulerian journey uses every edge exactly once, so all of that vertex's edges are used, and they are used two at a time. Therefore the degree is a multiple of $2$, which is to say even.
The exceptions are the start and the finish. At the start the journey departs without having arrived, leaving one edge unpaired. At the finish it arrives without departing, again leaving one unpaired. Each of those makes the degree odd.
For a circuit the start and finish are the same vertex, and its unpaired departure and unpaired arrival pair up with each other, so even that vertex has even degree.
The argument above shows what must be true if an Eulerian journey exists. The remarkable part is that the converse also holds.
For a connected graph:
Every vertex even $\iff$ an Eulerian circuit exists.
Exactly two vertices odd $\iff$ an Eulerian trail exists but no circuit, and it runs between the two odd vertices.
Four or more odd $\iff$ neither exists.
The forward direction was proved above; the reverse direction is a genuine theorem and is harder, since it must construct a journey rather than merely analyse one. Euler stated it in 1736 and a full proof of the converse came later.
Both directions matter in practice. The forward direction lets you rule a journey out; the reverse lets you promise one exists before you have found it.
The procedure is three steps and takes under a minute.
Check the graph is connected. Explore from any vertex. If edges remain in another component, stop: no Eulerian journey exists whatever the degrees are.
Find every degree and add them. The total must be $2e$. If it is odd, recount.
Count the odd degrees. Zero gives a circuit, two give a trail, more give neither.
Notice what the procedure never does: it never tries to find a route. The answer comes from counting, not searching, and it is right whether the graph has six edges or six thousand.
A count of one odd vertex would mean an arithmetic error, since Lesson 2 showed the number of odd vertices is always even. Treat it as a signal to recount rather than as a result.
The rule says more than whether a journey exists; it says where.
With zero odd vertices, an Eulerian circuit exists and may start at any vertex you like, finishing at the same one. There is complete freedom.
With exactly two odd vertices, an Eulerian trail exists and must start at one of them and finish at the other. There is no freedom at all: starting anywhere else fails.
That second case is often the useful part of the answer. A question asking where a plough must begin its round is answered by finding the odd vertices, not by trying routes.
The reason is the pairing argument. The two odd vertices each have one unpaired edge, and only a start or a finish can leave an edge unpaired, so those two roles are forced onto exactly those two vertices.
When a graph has too many odd vertices, the natural next question is what would fix it.
Adding an edge between two odd vertices makes both of them even, reducing the odd count by $2$. So a graph with $2k$ odd vertices needs at least $k - 1$ added edges to bring the count down to $2$, and $k$ added edges to bring it to $0$.
In practice you often cannot add edges, because you cannot build a new road just to make the round tidy. The alternative is to repeat an existing edge, walking one street twice, which has the same effect on the degrees and costs only the extra distance.
That is the route inspection problem: cover every edge with the least possible repetition. The degree rule is what turns it from a search into a calculation, because it identifies exactly which vertices need pairing up.
Choosing which repeats to make, so that the extra distance is smallest, needs edge weights and is beyond this area. Knowing how many repeats are needed does not.
Watch Me Solve It · 3 examples
-
1Find the degrees and check the sum$\deg(A) = 3, \ \deg(B) = 2, \ \deg(C) = 3, \ \deg(D) = 2, \ \deg(E) = 2$$3 + 2 + 3 + 2 + 2 = 12 = 2 \times 6$The sum matches twice the edge count, so the degrees are right.
-
2Count the odd verticesOnly $A$ and $C$ are odd, which is exactly two. So an Eulerian trail exists, running from $A$ to $C$, and there is no Eulerian circuit.
-
3Produce the trail$A \to B \to C \to D \to E \to A \to C$Uses $AB$, $BC$, $CD$, $DE$, $EA$, $AC$, which is all six edges once each. It starts at $A$ and finishes at $C$, the two odd vertices, as the rule requires.
-
4Confirm the lengthSix edges used and seven vertices listed, matching $e = 6$.
-
1Check the degree sum$3 + 3 + 3 + 3 + 4 + 4 = 20 = 2 \times 10$So the graph has $10$ edges and the degree list is consistent.
-
2Count the odd verticesFour vertices have degree $3$, which is odd. Four odd vertices is more than two, so the graph has neither an Eulerian trail nor an Eulerian circuit.
-
3Work out the repair for a trailAdding an edge between two odd vertices makes both even, cutting the odd count by $2$. Going from four odd to two odd needs one added edge.
-
4Work out the repair for a circuitGoing from four odd to zero odd needs two added edges, pairing up all four odd vertices. Either repair works, and which is wanted depends on whether the round must return to its start.
-
1Find the degrees$\deg(P) = 3, \ \deg(Q) = 3, \ \deg(R) = 3, \ \deg(S) = 3, \ \deg(T) = 2$Check: $3 + 3 + 3 + 3 + 2 = 14 = 2 \times 7$, matching the seven sections.
-
2Count the odd vertices$P$, $Q$, $R$ and $S$ are all odd, giving four. More than two, so no Eulerian trail exists and the round is impossible as stated.
-
3Say what would make it possibleRepeating one section joining two odd intersections, say $PQ$, makes both $P$ and $Q$ even, leaving $R$ and $S$ odd. A trail then exists, running from $R$ to $S$.
-
4Answer the practical questionThe sweeper cannot cover every section exactly once. Repeating one section allows a round starting at $R$ and finishing at $S$, covering eight sections in total to clear seven.
Brain Trainer · 5 problems
Five items. Assume every graph is connected unless the item says otherwise.
-
1 All degrees in a connected graph are even. What exists?
Zero odd vertices is the circuit case.An Eulerian circuit -
2 A connected graph has exactly two odd vertices, $X$ and $Y$. Where must an Eulerian trail start and finish?
The odd vertices are forced to be the endpoints.At $X$ and $Y$ -
3 A connected graph has six vertices of odd degree. What exists?
More than two odd vertices rules both out.Neither -
4 A student counts three odd vertices. What has gone wrong?
The number of odd vertices is always even.A miscount -
5 A graph has all even degrees but is in two pieces, each with edges. Does an Eulerian circuit exist?
The rule requires connectedness.No
Multiple Choice · 5 questions
A connected graph has an Eulerian circuit exactly when:
A connected graph has degrees $2$, $2$, $3$, $3$, $4$. It has:
A connected graph has odd vertices only at $M$ and $N$. An Eulerian trail on it:
A graph has every vertex of even degree, but it consists of two separate triangles. It has:
A connected graph has six vertices of odd degree. The least number of extra edges needed to give it an Eulerian circuit is:
Short Answer · 3 questions
Count the odd vertices
For a connected graph: zero gives an Eulerian circuit, exactly two give an Eulerian trail, four or more give neither. One is impossible.
The pairing argument is the reason
A vertex passed through uses its edges two at a time, so its degree is even. Only a start or a finish leaves an edge unpaired, and there are at most two of those.
The odd vertices are the endpoints
With two odd vertices the trail must start at one and finish at the other. With none, a circuit may start anywhere.
Connectedness is a precondition
Even degrees guarantee nothing across two components. Check the graph is in one piece before reading anything from the degrees.
Your Badges
0 of 6Mark lesson as complete
Tick when you've finished Learn, Practice and the Stretch. Earns +95 XP and +25 coins.