600 likes | 619 Views
Learn about Euler circuit problems, basic graph terminology, and the optimization of routes. Understand the concepts of vertices, edges, and degrees in graphs, and explore Euler paths and circuits in connected and disconnected graphs.
E N D
Excursions in Modern MathematicsSixth Edition Peter Tannenbaum
Chapter 5Euler Circuits The Circuit Comes to Town
Euler CircuitsOutline/learning Objectives • To identify and model Euler circuit and Euler path problems. • To understand the meaning of basic graph terminology.
Euler CircuitsClosing Task • Given a graph, I will identify the defining characteristics of a graph and identify any paths.
Euler Circuits 5.1 Euler Circuit Problems
Euler Circuits What is a routing problem? • Existence question Is an actual route possible? • Optimization question Of all the possible routes, which one is the optimal route?
Euler Circuits We will answer both the existence and optimization questions for a special class of routing problems known as Euler circuit problems. The common thread is what we call the exhaustion requirement.
Euler Circuits • Most applications of Euler Circuits are to optimizing routes. • Start and finish at same location covering each path only once. • Start and finish at different locations, some paths must be crossed in both directions. • Start and finish at different locations, each route only crossed once.
Euler Circuits • Why is optimizing routes so important? What are you optimizing?
Euler Circuits The name of the game is to trace each drawing without lifting the pencil or retracing any of the lines. These kinds of tracings are called unicursal tracings.
Euler Circuits When we end in the same place we started, we call it a closed unicursal tracing; when we start and end in different places, we call it an open unicursal tracing. .
Euler Circuits 5.2 Graphs
Euler Circuits • Vertices- dots • Edges- lines The edges do not have to be straight lines. But they have to connect two vertices. • Loop- an edge connecting a vertex back with itself A graph is a picture consisting of:
Euler Circuits Graphs A graph is a structure that defines pairwise relationships within a set to objects. The objects are the vertices, and the pairwise relationships are the edges: X is related to Y if and only if XY is an edge.
Euler Circuits • Name the vertices. • {A, B, C, D, E, F} • Name the edges. • {AB,AD, BC, BE, ED, CD} • F is an isolated vertex • CD has multiple edges.
Euler Circuits • Adjacent vertices. • Edge joins them. • Degree of vertex • # of edges • Odd vertex • Odd # of edges • Even vertex • Even # of edges.
Euler Circuits This is considered a single graph, even though it consists of two separate, disconnected pieces. Such graphs are called disconnected graph, and the individual pieces are called the components of the graph..
Euler Circuits A Graph with No Edges? Yes, its possible. Without edges, every vertex of the graph is an isolated vertex.
Euler Circuits Adjacent vertices. Are the following adjacent? B and E C and D E and E
Euler Circuits Adjacent edges. Two edges are adjacent if they share a common vertex.
Euler Circuits Degree of a vertex. The degree of a vertex is the number of edges at that vertex. When there is a loop at the vertex, the loop contributes twice.
Euler Circuits Odd and even vertices. An odd vertex is a vertex of odd degree; an even vertex is a vertex of even degree. The graph has two even vertices (D and E) and six odd vertices (all the others).
Euler Circuits Odd and even vertices. An odd vertex is a vertex of odd degree; an even vertex is a vertex of even degree. • Name the degree of each vertex and state whether it is odd or even.
Euler Circuits The deg(A) = 3 odd deg(B) = 5 odd deg(C) = 3 odd deg(D) = 2 even deg(E) = 4 even deg (F) = 3 odd deg (G) = 1 odd deg (H) = 1 odd
Euler Circuits Paths. A path is a sequence of vertices with the property that each vertex in the sequence is adjacent to the next one. The key requirement in a path is that an edge can be part of a path only once.
Euler Circuits Paths (continued). The number of edges in the path is called the length of the path. A, B, E, D. This is a path from vertex A to D, consisting of the edges AB, BE, and ED. The length of this path is 3.
Euler Circuits Circuits. A circuit has the same definition as a path, but has the additional requirement that the trip starts and ends at the same vertex.
Euler Circuits Connected graphs. A graph is connected, if given any two vertices, there is a path joining them. A graph that is not connected is said to be disconnected. A disconnected graph is made up of separate components.
Euler Circuits Bridges. Sometimes in a connected graph there is an edge such that if we were to erase it, the graph would become disconnected—such an edge is called a bridge. BF, FG, and FH are bridges.
Euler Circuits Euler paths. An Euler path is a path that passes through every edge of a graph once and only once. The graph shown in (a) does not have an Euler path; the graph in (b) has several Euler paths. One of them is L,A,R,D,A,R,D,L,A.
Euler Circuits Euler circuits. An Euler circuit is a circuit that passes through every edge of a graph. One of them is L,A,R,D,A,R,D,L,A,L. Note that if a graph has an Euler circuit it cannot have an Euler path, and vice versa.
Euler Circuits 5.4 Graph Models
Euler Circuits The notion of using a mathematical concept to describe and solve a real-life problem is called modeling. Below is an example of how we can use graphs to model a problem.
Euler Circuits The only thing that truly matters to the solution of this problem is the relationship between land masses (islands and banks) and bridges. Which land masses are connected to each other and by how many bridges?
Euler Circuits This information is captured by the red edges in (b). We end up with the graph model shown in (c). The four vertices of the graph represent each of the four land masses; the edges represent the seven bridges.
Euler Circuits 5.5 Euler’s Theorems
Euler Circuits Euler’s Circuit Theorem • If a graph is connected, and every vertex is even, then it has an Euler circuit (at least one, usually more). • If a graph has any odd vertices, then it does not have an Euler circuit.
Euler Circuits The graph in (a ) cannot have an Euler circuit because it is disconnected. The graph in (b) has odd vertices (C is one of them, there are others). The graph in (c) is connected and all the vertices are even. The graph does have Euler circuits.
Euler Circuits Euler’s Path Theorem • If a graph is connected, and has exactly two odd vertices, then it has an Euler path (at least one, usually more). Any such path must start at one of the odd vertices and end at the other one. • If a graph has more than two odd vertices, then it cannot have an Euler path.
Euler Circuits Euler’s Sum of Degrees Theorem • The sum of the degrees of all the vertices of a graph equals twice the number of edges (and therefore is an even number). • A graph always has an even number of odd vertices.
Euler Circuits 5.6 Fleury’s Algorithm
Euler Circuits Fleury’s Algorithm for Finding an Euler Circuit (Path) • Preliminaries. Make sure that the graph is connected and either (1) has no odd vertices (circuit), or (2) has two odd vertices (path).
Euler Circuits Fleury’s Algorithm for Finding an Euler Circuit (Path) • Start. Choose a starting vertex. [ In case (1) this can be any vertex; in case (2) it must be one of the two odd vertices.]
Euler Circuits Fleury’s Algorithm for Finding an Euler Circuit (Path) • Intermediate steps. At each step, if you have a choice, don’t choose a bridge of the yet-to-be-traveled part of the graph. However, if you have only one choice, take it.
Euler Circuits Fleury’s Algorithm for Finding an Euler Circuit (Path) • Intermediate steps. At each step, if you have a choice, don’t choose a bridge of the yet-to-be-traveled part of the graph. However, if you have only one choice, take it.
Euler Circuits Fleury’s Algorithm for Finding an Euler Circuit (Path) • End. When you can’t travel any more, the circuit (path) is complete. [In case (1) you will be back at the starting vertex; in case (2) you will end at the other odd vertex.]
Euler Circuits 5.7 Eulerizing Graphs