# Characteristics of Eulerian Graph

## Contents

## Theorem

A finite (undirected) graph is Eulerian if and only if it is connected and each vertex is even.

Note that the definition of graph here includes:

but does not include directed graph.

## Proof of Necessary Condition

Suppose that $G$ is Eulerian.

Then $G$ contains an Eulerian circuit, that is, a circuit that uses each vertex and passes through each edge exactly once.

Since a circuit must be connected, $G$ is connected.

Beginning at a vertex $v$, follow the Eulerian circuit through the graph.

As the circuit passes through each vertex, it uses two edges: one going to the vertex and another leaving.

Each edge is used exactly once, so each of the vertices must be even.

Since the circuit must also end at $v$, it follows that $v$ is also even.

$\blacksquare$

## Proof of Sufficient Condition

### Proof 1

Suppose that an (undirected) graph $G$ is connected and its vertices all have even degree.

If there is more than one vertex in $G$, then each vertex must have degree greater than $0$.

Begin at a vertex $v$.

From Graph with Even Vertices Partitions into Cycles, we know that $v$ will be on at least one cycle.

Since $G$ is connected, there must be an edge $\left\{{v, v_1}\right\}$ for some vertex $v_1 \ne v$.

Since $v_1$ has even degree greater than $0$, there is an edge $\left\{{v_1, v_2}\right\}$ where $v_2 \ne v_1$.

These two edges make a trail from $v$ to $v_2$.

Continue this trail, leaving each vertex on an edge that was not previously used, until returning to $v$.

This is always possible, because $v$ is on a cycle.

Call the circuit formed by this process $C_1$.

If $C_1$ covers all the edges of $G$, then the proof is complete.

Otherwise, remove all the edges that contribute to $C_1$ from $G$, leaving the graph $G_0$.

The remaining vertices are still even, and since $G$ is connected there is some vertex $u$ in both $G_0$ and $C_1$.

Repeat the same process as before, beginning at $u$.

The new circuit, $C_2$, can be added to $C_1$ by starting at $v$, moving along $C_1$ to $u$, travelling around $C_2$ back to $u$ and then along the remainder of $C_1$ back to $v$.

Repeat this process, adding each new circuit found to create a larger circuit.

Since $G$ is finite, this process must end at some point, and the resulting circuit will be an Eulerian circuit.

$\blacksquare$

### Proof 2

Suppose that an (undirected) graph $G$ is connected and its vertices all have even degree.

From Graph with Even Vertices Partitions into Cycles, we can split $G$ into a number of cycles $\mathbb S = C_1, C_2, \ldots, C_k$.

Start at any vertex $v$ on cycle $C_1$ and traverse its edges until we encounter a vertex of another cycle of $\mathbb S$, $C_2$ say.

The edges of $C_2$ are then traversed, and then the traversal of $C_1$ is resumed when it is returned to.

As $C_1$ is traversed, the journey is interrupted so as to traverse any other cycles of $\mathbb S$ in the same way that $C_2$ is traversed.

Eventually the beginning of $C_1$ is reached, which is vertex $v$.

Thus there exists a circuit which includes $C_1$ and at least one other cycle (unless $C_1$ is the only cycle), as $G$ is connected.

If this circuit contains all the cycles $C_1, C_2, \ldots, C_k$, the required Eulerian circuit has been found.

If not, then the circuit just generated is traversed.

Because $G$ is connected, other cycles in $\mathbb S$ will be encountered.

These, again, are traversed as they are encountered.

This process is continued till all the cycles have been included in the circuit.

At this stage, the required Eulerian circuit has been found.

Hence $G$ is Eulerian.

$\blacksquare$

## Also see

## Sources

- 1977: Gary Chartrand:
*Introductory Graph Theory*... (previous) ... (next): $\S 3.1$: The Königsberg Bridge Problem: An Introduction to Eulerian Graphs: Theorem $3.2$ - 1992: George F. Simmons:
*Calculus Gems*... (previous) ... (next): Chapter $\text {A}.21$: Euler ($\text {1707}$ – $\text {1783}$) - 2014: Christopher Clapham and James Nicholson:
*The Concise Oxford Dictionary of Mathematics*(5th ed.) ... (previous) ... (next): Entry:**Eulerian graph**