<?xml version="1.0" encoding="UTF-8"?>

<record version="14" id="1043">
 <title>Euler path</title>
 <name>EulerPath</name>
 <created>2001-11-28 14:56:31</created>
 <modified>2007-01-20 16:42:33</modified>
 <type>Definition</type>
 <creator id="3771" name="CWoo"/>
 <author id="409" name="mps"/>
 <author id="78" name="slider142"/>
 <classification>
	<category scheme="msc" code="05C38"/>
 </classification>
 <defines>
	<concept>Euler cycle</concept>
 </defines>
 <related>
	<object name="EulerCircuit"/>
	<object name="Graph"/>
 </related>
 <keywords>
	<term>Euler path</term>
	<term>Euler circuit</term>
 </keywords>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}</preamble>
 <content>An \emph{Euler path} in a graph is a path which traverses each edge of the graph exactly once.  An Euler path which is a cycle is called an \emph{Euler cycle}.  For loopless graphs without isolated vertices, the existence of an Euler path implies the connectedness of the graph, since traversing every edge of such a graph requires visiting each vertex at least once.

If a connected graph has an Euler path, one can be constructed by applying Fleury's algorithm.  A connected graph has an Euler path if it has exactly zero or two vertices of odd degree.  If every vertex has even degree, the graph has an Euler cycle.

\begin{center}
\includegraphics[width=1in,height=1in]{ecircuit}
\end{center}

This graph has an Euler cycle.  All of its vertices are of even degree.

\begin{center}
\includegraphics[width=1in,height=1in]{epath}
\end{center}

This graph has an Euler path which is not a cycle. It has exactly two vertices of odd degree.
</content>
</record>
