Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 3 / 17F / a / Solution

A graph is eulerian graph if it has a closed trail containing every edge exactly once. For a graph with at least three vertices, the Euler circuit criterion says that it is Eulerian exactly when it is connected and every vertex has even degree.

Necessity is immediate: each visit of a closed trail to a vertex uses one entering and one leaving edge, so the incident edges occur in pairs; the trail also joins every vertex incident with an edge. Conversely, start at any vertex and extend an edge-simple trail until no unused incident edge remains. Even degrees force this maximal trail to end where it began. If edges remain, connectedness supplies a vertex of this circuit incident with an unused edge. Construct another closed trail from there and splice it into the first. Repeating consumes every edge and gives an Euler circuit.

The line graph $L(G)$ has vertex set $E(G)$, with two vertices adjacent when the corresponding edges of $G$ share an endpoint. If $G$ is connected and $r$-regular, then $L(G)$ is connected, and the vertex corresponding to an edge $uv$ has degreeEvery degree is even, so the Euler circuit criterion makes $L(G)$ Eulerian.

Solved by gpt-5.6-sol high.