← Home Β· Euler paths & circuits, four ways
Euler paths & circuits
Same idea, four ways to study it. Tap a style and find the one that clicks for you. πŸ“Ί Prefer to watch? Videos are on the lesson page.
〰️ The whole topic is one question: how many vertices have an odd degree? 0 β†’ Euler circuit Β· 2 β†’ Euler path Β· anything else β†’ neither.

What it is

Can you trace every edge of a graph exactly once without lifting your pen? If you can, you've found an Euler path. If you also finish back where you started, it's an Euler circuit. The whole topic is decided by counting how many vertices have an odd degree.

The one rule (count the odd-degree vertices)

Odd-degree verticesResultWhere it starts & ends
0Euler circuitsame vertex (a loop)
2Euler pathat the two odd vertices
4, 6, 8 …Neithercan't be done in one trip

You can never have exactly 1, 3 or 5 odd vertices. The handshaking lemma makes the number of odd-degree vertices always even.

Bonus: Euler's formula for planar graphs

v βˆ’ e + f = 2

A planar graph can be drawn with no crossing edges. v = vertices, e = edges, f = faces (regions, including the big outer one). Rearrange for whichever is missing: f = 2 βˆ’ v + e.

Worked example

A road network has 6 intersections with degrees 4, 2, 4, 3, 3, 2. Can a maintenance vehicle drive every road exactly once?

  1. Mark the odd ones: 4, 2, 4, 3, 3, 2 β†’ the two 3's are odd.
  2. Count odd-degree vertices: 2.
  3. Apply the rule: 2 odd β†’ Euler path. Yes, but it starts and ends at different points, it must begin at one of the two degree-3 intersections.

Watch out

β€’ Count odd vertices, not even ones, that's the whole decision.
β€’ For a 2-odd Euler path, you must start (or end) at an odd-degree vertex.
β€’ "Circuit" means back to the start, "path" means finish somewhere else.
β€’ Faces in Euler's formula include the outer region, it's easy to forget.

Circuit vs path, side by side

0 odd β†’ circuit all degree 2 (even) 2 odd β†’ path red = odd, start here

Left: a square, every vertex degree 2, so 0 odd, an Euler circuit. Right: a triangle with a tail, the two red vertices are odd (degree 3 and degree 1), so it's an Euler path that must start or end at a red one.

Euler's formula: count the regions

inside (1) outside (2)

A square: 4 vertices, 4 edges, and 2 faces (the inside and the outer region). Check: v βˆ’ e + f = 4 βˆ’ 4 + 2 = 2 βœ“.

Warm up first

Don't read yet, just have a go in your head:

0 odd-degree vertices means…?
An Euler circuit, you can trace every edge and finish where you started.
Could a graph have exactly 3 odd-degree vertices?
No. The number of odd-degree vertices is always even (0, 2, 4 …), thanks to the handshaking lemma.
2 odd-degree vertices, where must you start?
At one of the two odd-degree vertices (and you'll finish at the other).

Faded example: degrees 4, 2, 4, 3, 3, 2

Rung 1 Β· watch one done fully

Odd ones: 3 and 3. Count of odd = 2. So β†’ Euler path, start at a degree-3 vertex.

Rung 2 Β· you fill the gaps

Degrees 4, 2, 4, 3, 3, 2 β†’ number of odd vertices = ? β†’ result is ?

Check my gaps
2 odd, so an Euler path.
Rung 3 Β· all you

A graph has degrees 2, 4, 2, 4. Is it an Euler circuit, path, or neither? Check below.

Check my answer
All four are even, so 0 odd-degree vertices β†’ Euler circuit. You can trace every edge and return to the start.

Exam-style stretch: Euler's formula

A planar network has 9 vertices and 13 edges. How many faces (regions) does it create?

Show the working
v βˆ’ e + f = 2 β†’ 9 βˆ’ 13 + f = 2 β†’ f = 2 βˆ’ 9 + 13 = 6 faces (including the outer region).

Say it back

In one sentence, out loud: what do you count to decide if a graph has an Euler circuit, a path, or neither?

⚑ Euler paths & circuits, one look

Euler pathtrace every edge once (start β‰  end)
Euler circuittrace every edge once and return to start
0 odd vertices→ Euler circuit
2 odd vertices→ Euler path (start at an odd one)
4, 6, … oddβ†’ neither (1, 3, 5 are impossible)
Planar formulav βˆ’ e + f = 2  (f counts the outer region too)
Exampledegrees 4,2,4,3,3,2 β†’ 2 odd β†’ Euler path
Trapcount odd not even Β· path must start at an odd vertex