Characterization of Graphs with Eulerian Circuits

Similar documents
Fundamental Properties of Graphs

Discrete Mathematics for CS Spring 2008 David Wagner Note 13. An Introduction to Graphs

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 8

Discrete Mathematics and Probability Theory Fall 2013 Vazirani Note 7

11.2 Eulerian Trails

Chapter 3: Paths and Cycles

Introduction to Graphs

An Introduction to Graph Theory

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

Basic Combinatorics. Math 40210, Section 01 Fall Homework 4 Solutions

Notes slides from before lecture. CSE 21, Winter 2017, Section A00. Lecture 9 Notes. Class URL:

Graph Algorithms. Tours in Graphs. Graph Algorithms

Crossing bridges. Crossing bridges Great Ideas in Theoretical Computer Science. Lecture 12: Graphs I: The Basics. Königsberg (Prussia)

Math 443/543 Graph Theory Notes 2: Transportation problems

Chapter 8 Topics in Graph Theory

8.2 Paths and Cycles

Lecture 4: Walks, Trails, Paths and Connectivity

Eulerian tours. Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck. April 20, 2016

1 Digraphs. Definition 1

14 More Graphs: Euler Tours and Hamilton Cycles

Graph Theory

Eulerian Tours and Fleury s Algorithm

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

INTRODUCTION TO GRAPH THEORY. 1. Definitions

Ma/CS 6a Class 8: Eulerian Cycles

Chapter 11: Graphs and Trees. March 23, 2008

Intermediate Math Circles Wednesday, February 22, 2017 Graph Theory III

Number Theory and Graph Theory

13. (a) G,G. A circuit of length 1 is a loop. 14. (a) E,E. (c) A,B,C,A. 16. (a) BF, FG

Characterizing Graphs (3) Characterizing Graphs (1) Characterizing Graphs (2) Characterizing Graphs (4)

Ma/CS 6b Class 4: Matchings in General Graphs

How can we lay cable at minimum cost to make every telephone reachable from every other? What is the fastest route between two given cities?

CHAPTER 10 GRAPHS AND TREES. Alessandro Artale UniBZ - artale/z

Eulerian Tours and Fleury s Algorithm

Varying Applications (examples)

Discrete Wiskunde II. Lecture 6: Planar Graphs

Sections 5.2, 5.3. & 5.4

14.2 Euler Paths and Circuits filled in.notebook November 18, Euler Paths and Euler Circuits

Eulerian Cycle (2A) Young Won Lim 4/26/18

Discrete mathematics

Junior Circle Meeting 3 Circuits and Paths. April 18, 2010

Sarah Will Math 490 December 2, 2009

Launch problem: Lining streets

CS70 - Lecture 6. Graphs: Coloring; Special Graphs. 1. Review of L5 2. Planar Five Color Theorem 3. Special Graphs:

Worksheet 28: Wednesday November 18 Euler and Topology

Discrete Mathematics and Probability Theory Spring 2015 Vazirani Note 5

Network Topology and Graph

Math 778S Spectral Graph Theory Handout #2: Basic graph theory

Graph Theory CS/Math231 Discrete Mathematics Spring2015

Travel Every Edge 3. Example (Travel Every Edge 3) In the graphs above, can you find a circuit that hits every edge without repeating any edges?

Eulerian Paths and Cycles

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics. An Introduction to Graph Theory

Chapter 2. Splitting Operation and n-connected Matroids. 2.1 Introduction

Planarity: dual graphs

Graph Theory Mini-course

AQR UNIT 7. Circuits, Paths, and Graph Structures. Packet #

3 Euler Tours, Hamilton Cycles, and Their Applications

Brief History. Graph Theory. What is a graph? Types of graphs Directed graph: a graph that has edges with specific directions

BIL694-Lecture 1: Introduction to Graphs

EULERIAN GRAPHS AND ITS APPLICATIONS

MAT 145: PROBLEM SET 4

Math 776 Graph Theory Lecture Note 1 Basic concepts

Circuits and Paths. April 13, 2014

Graph Theory S 1 I 2 I 1 S 2 I 1 I 2

Introduction III. Graphs. Motivations I. Introduction IV

Section Graphs, Paths, and Circuits. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

1. a graph G = (V (G), E(G)) consists of a set V (G) of vertices, and a set E(G) of edges (edges are pairs of elements of V (G))

On Universal Cycles of Labeled Graphs

WUCT121. Discrete Mathematics. Graphs

Mathematics and Statistics, Part A: Graph Theory Problem Sheet 1, lectures 1-4

Graph Theory. Part of Texas Counties.

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

Assignments are handed in on Tuesdays in even weeks. Deadlines are:

CSE 21 Spring 2016 Homework 5. Instructions

Adjacent: Two distinct vertices u, v are adjacent if there is an edge with ends u, v. In this case we let uv denote such an edge.

CLAW-FREE 3-CONNECTED P 11 -FREE GRAPHS ARE HAMILTONIAN

K 4 C 5. Figure 4.5: Some well known family of graphs

Dynamically Random Graphs

2. CONNECTIVITY Connectivity

Topics in Combinatorial Optimization February 5, Lecture 2

Excursions in Modern Mathematics Sixth Edition. Chapter 5 Euler Circuits. The Circuit Comes to Town. Peter Tannenbaum

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Week 11: Eulerian and Hamiltonian graphs; Trees. 15 and 17 November, 2017

Graph Traversals. CSC 1300 Discrete Structures Villanova University. Villanova CSC Dr Papalaskari 1

Decompositions of infinite graphs: Part II Circuit decompositions

Introduction to Graphs

4. (a) Draw the Petersen graph. (b) Use Kuratowski s teorem to prove that the Petersen graph is non-planar.

CS6702 GRAPH THEORY AND APPLICATIONS 2 MARKS QUESTIONS AND ANSWERS

Instant Insanity Instructor s Guide Make-it and Take-it Kit for AMTNYS 2006

The Bridges of Konigsberg Problem Can you walk around the town crossing each bridge only once?

Salvador Sanabria History of Mathematics. Königsberg Bridge Problem

0.0.1 Network Analysis

v V Question: How many edges are there in a graph with 10 vertices each of degree 6?

Number Theory and Graph Theory

Chapter 14 Section 3 - Slide 1

Finding Strongly Connected Components

Graphs. Pseudograph: multiple edges and loops allowed

Key Graph Theory Theorems

Basics of Graph Theory

CSCI 1820 Notes. Scribes: tl40. February 26 - March 02, Estimating size of graphs used to build the assembly.

Transcription:

Eulerian Circuits 3. 73 Characterization of Graphs with Eulerian Circuits There is a simple way to determine if a graph has an Eulerian circuit. Theorems 3.. and 3..2: Let G be a pseudograph that is connected except possibly for isolated vertices. Then, G has an Eulerian circuit the degree of every vertex is even. The Königsberg bridge pseudograph has four vertices of odd degree, and therefore does not have an Eulerian circuit. ( ) Euler, 736: Given an Eulerian circuit C, each time a vertex appears in the circuit, there must be an in edge and an out edge, so the total degree of each vertex must be even. ( ) Hierholzer, 873: This is harder; we need the following lemma.

Eulerian Circuits 3. 74 Proof of Lemma 3..3 Lemma 3..3: If the degree of every vertex in a pseudograph is even, then every non-isolated vertex lies in some circuit in G. Proof: Start a trail at any non-isolated vertex A in G. Whenever the trail arrives at some other vertex B, there must be an odd number of edges incident to B not yet traversed by the trail. So there is some edge to follow out of B; take it. The trail must eventually return to A, giving us a circuit.

Eulerian Circuits 3. 75 Proof of Theorem 3..2 Each vertex in G has even degree = G has an Eulerian circuit Find the longest circuit C in G. If C uses every edge, we are done. If not, we ll show a contradiction to the maximality of C. Remove all edges of C from G and any isolated vertices to form H. H is a pseudograph where each vertex is of even degree. Since G is connected, C and H must share a vertex A. Write C as C = e Ae 2. Find a circuit D in H through A. Write D as D = f Af 2. No edges of D repeat nor are they in C Define a new circuit C = e Af 2 f Ae 2. C is a longer circuit in G than C, contradicting its maximality.

Eulerian Circuits 3. 76 Other related theorems Theorem 3..6: Let G be a connected pseudograph. Then, G has an Eulerian trail G has exactly two vertices of odd degree. Proof: Let x and y be the two vertices of odd degree. Add edge xy to G ; G + xy is a pseudograph with each vertex of even degree. By Theorem 3..2, there exists an Eulerian circuit in G + xy. Remove xy from the circuit and you have an Eulerian trail in G. Remark: When drawing a picture without lifting your pencil, start and end at the vertices of odd degree! Theorem 3..5: A pseudograph G has a decomposition into cycles if and only if every vertex has even degree.

Application: de Bruijn sequences 77 Application: de Bruijn sequences Consider the following example of a de Bruijn sequence: Each of the sixteen binary sequences of length 4 are present (where we allow cycling): This is the most compact way to represent these sixteen sequences.

Application: de Bruijn sequences 78 Sequence definitions Definition: An alphabet is a set A = {a,..., a k }. Definition: A sequence or word from A is a succession S = s s 2 s 3 s l, where each s i A; l is the length of S. Definition: A sequence is called a binary sequence when A = {, }. Definition: A de Bruijn sequence of order n on the alphabet A is a sequence of length k n such that every word of length n is a consecutive subsequence of S. (and called binary if A = {, }) Theorem: A de Bruijn sequence of any order n on any alphabet A always exists. Proof: Use the theory of Eulerian circuits on certain graphs:

Application: de Bruijn sequences 79 de Bruijn graphs Definition: The de Bruijn graph of order n on A = {a, a 2,..., a k } is a directed pseudograph that has as its vertices words of A of length n. Each vertex has k out-edges corresponding to the k letters of the alphabet A. Following edge a i adds letter a i to the end of the sequence and removes the first letter from the sequence: b b 2 b n a i b2 b n a i Examples: The binary de Bruijn graph of order 3 The de Bruijn graph of order 2 on the alphabet A = {a, b, c}. b b a c a c a b b a c c

Application: de Bruijn sequences 8 Proof that a de Bruijn sequence always exists The de Bruijn graph G of order n on alphabet A is connected and each vertex has as many edges entering as leaving the vertex. This implies that G has an Eulerian circuit C (of length k n ). Follow C and record in order the sequence S of labels of edges visited. Claim: S is a de Bruijn sequence of order n on A. We know that S is of length k n. We must now verify that every sequence of length n appears as a consecutive subsequence in S. By construction, the sequence of the n labels of edges visited before arriving at a vertex is exactly the name of the vertex. The word formed by this name followed by the label of an outgoing edge is a word of A of length n and is different for every edge of C. This implies that every sequence appears as a consecutive subseq. of S.

Application: de Bruijn sequences 8 Example: The binary de Bruijn graph of order 4 Find an Eulerian circuit in this graph. 2 Write down the corresponding sequence. 3 Verify that it is a de Bruijn sequence. (use chart, p.77) 4 Convince yourself that the name of a vertex is the same as the sequence formed by the three previous edges.