Eulerian Graphs Flashcards
Definition: Eulerian Trail
A trail which visits every edge of a graph exactly once
Definition: Eulerian Circuit
A circuit which traverses all the edges of a graph ( begins and ends at the same place)
Definition: Eulerian Graph
A graph which contains a Eulerian circuit
Property: Eulerian Graph
A connected multigraph is a Eulerian if and only if the degree of each vertex in G is even
Property: Eulerian Trail
A connected multigraph possesses an Eulerian Trail if and only if the graph possesses exactly two odd vertices ( Where the trail begins at the one odd vertex and ends at the other)
Algorithm: Fleury’s Algorithm
Fleury’s algorithm outputs an Eulerian trail (If the graph isn’t Eulerian) or circuit (If the graph is Eulerian) given a connected multigraph with at most two odd vertices
Property: Directed Eulerian Circuit
A strongly connected multigraph is Eulerian if and only if the indegree and outdegree of each vertex is equal
Property: Directed Eulerian Trail
A strongly connected multigraph D possesses a Eulerian Trail if and only if D has two distinct vertices u and v such that:
id(u) = od(u) + 1 and id(v) = od(v) + 1
and the id(w) = od(w) for all other vertices of D where the trail begins at u and ends at v
Definition: Tour
A closed walk that traverses each edge at least once in a connected weighted graph
Definition: Optimal Tour
An optimal tour is a tour of minimal weight
Definition: Chinese Postman Problem
Find an optimal tour in G for a connected weighted graph G.