The University of Sydney MATH2969/2069. Graph Theory Tutorial 2 (Week 9) 2008

Similar documents
The University of Sydney MATH 2009

Chapter 3: Paths and Cycles

MAS 341: GRAPH THEORY 2016 EXAM SOLUTIONS

Fundamental Properties of Graphs

Assignment 4 Solutions of graph problems

MT365 Examination 2007 Part 1. Q1 (a) (b) (c) A

MAS341 Graph Theory Lecture Notes

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.

MAT 145: PROBLEM SET 4

Definition For vertices u, v V (G), the distance from u to v, denoted d(u, v), in G is the length of a shortest u, v-path. 1

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

1 Some Solution of Homework

Math 170- Graph Theory Notes

Topic 10 Part 2 [474 marks]

Elements of Graph Theory

Graph Theory Questions from Past Papers

INTRODUCTION TO GRAPH THEORY. 1. Definitions

Subdivisions of Graphs: A Generalization of Paths and Cycles

Number Theory and Graph Theory

CHAPTER 2. Graphs. 1. Introduction to Graphs and Graph Isomorphism

WUCT121. Discrete Mathematics. Graphs

Varying Applications (examples)

Degree of nonsimple graphs. Chemistry questions. Degree Sequences. Pigeon party.

Chapter 11: Graphs and Trees. March 23, 2008

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

8.2 Paths and Cycles

Basics of Graph Theory

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

Modules. 6 Hamilton Graphs (4-8 lectures) Introduction Necessary conditions and sufficient conditions Exercises...

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

14 More Graphs: Euler Tours and Hamilton Cycles

MATH 363 Final Wednesday, April 28. Final exam. You may use lemmas and theorems that were proven in class and on assignments unless stated otherwise.

GRAPHS, GRAPH MODELS, GRAPH TERMINOLOGY, AND SPECIAL TYPES OF GRAPHS

An Introduction to Graph Theory

MC 302 GRAPH THEORY 10/1/13 Solutions to HW #2 50 points + 6 XC points

Discrete mathematics

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

Introduction III. Graphs. Motivations I. Introduction IV

Problem Set 2 Solutions

Math.3336: Discrete Mathematics. Chapter 10 Graph Theory

Math 776 Graph Theory Lecture Note 1 Basic concepts

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

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

ASSIGNMENT 4 SOLUTIONS

Graph Theory CS/Math231 Discrete Mathematics Spring2015

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

0.0.1 Network Analysis

2 hours THE UNIVERSITY OF MANCHESTER. 23 May :45 11:45

Key Graph Theory Theorems

11.2 Eulerian Trails

Proposition 1. The edges of an even graph can be split (partitioned) into cycles, no two of which have an edge in common.

Answers to specimen paper questions. Most of the answers below go into rather more detail than is really needed. Please let me know of any mistakes.

Lecture 5: Graphs. Rajat Mittal. IIT Kanpur

Artificial Intelligence

5 Graphs

3 Euler Tours, Hamilton Cycles, and Their Applications

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

Combinatorics Summary Sheet for Exam 1 Material 2019

GRAPH THEORY: AN INTRODUCTION

Graph Theory. Chapter 4.

Assignment # 4 Selected Solutions

Introduction to Graphs

Graph Theory lecture notes

Discrete mathematics II. - Graphs

MATH20902: Discrete Maths, Solutions to Problem Set 1. These solutions, as well as the corresponding problems, are available at

Grade 7/8 Math Circles Graph Theory - Solutions October 13/14, 2015

Graph Theory Day Four

Combinatorics: The Fine Art of Counting

11.4 Bipartite Multigraphs

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

Module 1. Preliminaries. Contents

Intermediate Math Circles Wednesday, February 8, 2017 Graph Theory I

MAS341 Graph Theory 2015 exam solutions

Module 2: NETWORKS AND DECISION MATHEMATICS

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

Further Mathematics 2016 Module 2: NETWORKS AND DECISION MATHEMATICS Chapter 9 Undirected Graphs and Networks

Chapter 2 Graphs. 2.1 Definition of Graphs

IMO Training 2008: Graph Theory

Algorithms. Graphs. Algorithms

Senior Math Circles November 25, 2009 Graph Theory II

TWO CONTRIBUTIONS OF EULER

Number Theory and Graph Theory

Part II. Graph Theory. Year

Week 9: Planar and non-planar graphs. 1st and 3rd of November, 2017

Network Topology and Graph

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Graphs (MTAT , 6 EAP) Lectures: Mon 14-16, hall 404 Exercises: Wed 14-16, hall 402

Graph Theory Mini-course

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

DO NOT RE-DISTRIBUTE THIS SOLUTION FILE

Graphs and networks Mixed exercise

Dieter Jungnickel (2008), Graphs, Networks and Algorithms, 3rd edition, which is available online via SpringerLink.

Lecture 3: Recap. Administrivia. Graph theory: Historical Motivation. COMP9020 Lecture 4 Session 2, 2017 Graphs and Trees

Grades 7 & 8, Math Circles 31 October/1/2 November, Graph Theory

Definition 1.1. A matching M in a graph G is called maximal if there is no matching M in G so that M M.

Algorithms: Graphs. Amotz Bar-Noy. Spring 2012 CUNY. Amotz Bar-Noy (CUNY) Graphs Spring / 95

Discrete mathematics , Fall Instructor: prof. János Pach

Graph Theory. Part of Texas Counties.

Chapter 9. Graph Theory

Two Characterizations of Hypercubes

Transcription:

The University of Sydney MATH99/09 Graph Theory Tutorial (Week 9) 00. Show that the graph on the left is Hamiltonian, but that the other two are not. To show that the graph is Hamiltonian, simply find a Hamiltonian cycle. (That is, a cycle which passes through every vertex exactly once.) Unfortunately, finding such a cycle may be tricky, even with so few vertices and edges. It may help to note that exactly two of the edges incident to the central vertex must be used (else this central vertex would not be used exactly once, contrary to requirement). Try assuming that, with the labelling shown, [k, h] and [k, i] are used, and [k, f], [k, g], [k, j] are not. Then, since f, g, j are to be used, edges [e, f], [f, b], [a, g], [g, c], [a, j], [j, d] must all be used. (See diagram above right.) With this start, it is not hard to complete a Hamiltonian cycle. An example is shown in the second diagram: e j d e j i a f k h a f k b g c b g d i h c The vertices of the second graph can be coloured, each black or white, in such a way that each edge joins a black vertex to a white vertex (eg., as shown in the diagram). Any path using all vertices would then have to alternate between black and white vertices, eg.: v = black, v = white, v = black, v = white,..., v = black ( blacks and whites), but this last vertex could not be adjacent with the first to complete the cycle, both having the same colour. Hence no Hamiltonian cycle exists.

In the third graph, there is an outer pentagon ( sided figure) of vertices, an innermost pentagon of vertices, and an in-between decagon (0 sided figure) of 0 vertices. On the decagon, of the vertices are of degree, which means that in any Hamiltonian cycle all 0 edges of this decagon must be used. (For a path to go through a vertex of degree, both incident edges must be used.) Since each vertex must be used only once, this means that none of the edges directed radially outwards from the centre of the graph as drawn can be used. That is, none of the edges connecting the outer pentagon, the decagon, and the inner pentagon can be used. So we cannot get from either pentagon to the decagon. Hence no Hamiltonian cycle can exist.. Is it possible for a simple connected graph containing a bridge to be Hamiltonian? A bridge is an edge whose removal would disconnect the graph. Clearly, any Hamiltonian cycle in a graph with a bridge would have to include the bridge. But a bridge is not part of any cycle (since if it were, its removal would not disconnect the graph). So any graph with a bridge is not Hamiltonian.. What is wrong with the following argument? Suppose G is a simple graph with degree sequence (,,,,,, ). Let u and v be two non-adjacent vertices with degree, so that deg(u)+ deg(v) =. Since the number of vertices is, it follows by Ore s Theorem that G is not Hamiltonian. This is an incorrect use of Ore s Theorem, which states that if G is a simple graph with n vertices and deg(u)+ deg(v) n for each pair of nonadjacent vertices u and v, then G is Hamiltonian. The theorem cannot be used to prove that a graph is not Hamiltonian. Indeed, a graph with degree sequence (,,,,,, ) is as shown, and it is easy to see that it is Hamiltonian.. A club has seven members and meets for lunch each month. If the members sit at a round table and decide to sit so that each member has different neighbours at each lunch, determine how many months this arrangement could last, and give possible seating arrangements for these months. A seating arrangement for one month is given by a Hamiltonian cycle in the complete graph whose vertices are the seven members (K ). To keep the desired arrangement going as long as possible, we need as many disjoint (i.e., edgedisjoint) Hamiltonian cycles as possible.

( Each Hamiltonian cycle uses edges, out of all ) = = edges in K. Hence there are at most / = disjoint Hamiltonian cycles. To show that there are actually, we need only find them: Corresponding seatings round the table:. (i) How many edges does the complete bipartite graph, K m,n, have? (ii) How many complete bipartite graphs have k vertices? (iii) What is the maximum number of edges in a simple bipartite graph with k vertices? (i) The vertex set of K m,n consists of two disjoint sets, A and B, say, such that: A contains m vertices and B contains n vertices; each vertex in A is adjacent to each vertex in B; no two vertices in A, or in B, are adjacent. Hence, the degree of each vertex in A is n, and the degree of each vertex in B is m. Therefore, the sum of the degrees is m n, and there are m n edges. (ii) If K m,n has k vertices, then m + n = k, and n = k m. So the question is, how many complete bipartite graphs are there of the type K m,k m? The possible values for m are,,..., k. But K m,k m is, of course, isomorphic to (that is, is the same as) K k m,m. If k is an even number, the values of m which will produce non-isomorphic (that is, different) graphs are,,..., k/. So there are k/ complete bipartite graphs with k vertices namely, K,k, K,k,..., K k/,k/. If k is odd, the values of m which produce non-isomorphic graphs are,,..., (k )/, and so there are (k )/ graphs namely, K,k, K,k,..., K (k )/,(k+)/. (iii) Clearly, the maximum number of edges occurs when the graph is complete. So we are looking for the value of m for which K m,k m has the most edges. By part (i) the number of edges in K m,k m is m(k m). This function of m (whose graph is an upside down parabola), has a maximum value at m = k/, at which m(k m) = k /. That is, the maximum number of edges in a bipartite graph with k vertices is k /.

(This maximum is only achieved if k is even. If k is odd, the maximum number of edges is k k+ = k.). (i) How many vertices does the k-cube graph, Q k, have? (ii) What is the degree of each vertex in Q k? (iii) How many edges does Q k have? (i) In Q k vertices correspond to the sequences (a, a,..., a k ), where each a i = 0 or. So the number of vertices is equal to the number of such sequences. Since the sequence is of length k, and there are two choices for each place in the sequence, there are k sequences, and hence k vertices. (ii) An edge joins vertices if the sequences corresponding to the vertices differ in exactly one place. Consider the sequence corresponding to any particular vertex. Since it is of length k, there are k sequences which differ from it in exactly one place. So the degree of any vertex is k. (iii) From parts (i) and (ii) the sum of the degrees is k k. Therefore the number of edges is k k = k k.. In the following graph, find all shortest paths from A to Z. 0 A 0 0 Z While a short path, from A to Z, maybe even the shortest, may be found by inspection, the following algorithm guarantees that we really do find the shortest. Start by giving A the permanent label [0]. Label each vertex adjacent to A with a temporary label equal to the distance from A to the vertex. Find the smallest temporary label (in this case ()) and make it permanent. If the vertex which has just been made permanent is V, look at all vertices adjacent to V. If an adjacent vertex has no temporary label, give it one equal to the permanent label on V plus the distance from V. If an adjacent vertex is already labelled permanently, leave it alone. If an adjacent vertex is already labelled temporarily, and the label is bigger than the permanent label on V plus the distance from V, reduce the temporary label so that it equals the permanent label on V plus the distance from V. Otherwise leave it alone.

Having labelled all vertices adjacent to the vertex labelled [] we have the following diagram (where round brackets have been used for temporary labels, and square brackets for permanent labels) : [0] A 0 [] (0) () () 0 0 () Z Now find the next smallest temporary label (in this case ()), and repeat the process described above. The following diagram results after making the label () permanent, and labelling all adjacent vertices. (Note that the temporary label () has been reduced to ().) [0] A 0 [] (0) () [] 0 0 () (9) () Repeat the process until all vertices have permanent labels, resulting in the following diagram: Z [0] A 0 [] [9] [] [] 0 0 [0] [] [] [] [] Z The label on each vertex is now the shortest distance from A to that vertex, and, tracing back from Z, we can find all shortest paths from A to Z.

Since 0 <, =, <, <, backtrack from Z to the vertex labelled []. Now 0 =, 0 <, <, and so backtrack from [] to [0]. Continuing in this way, we find two shortest paths, of length, from A to Z (because from [9] we can equally well backtrack to [] or to []): [0] A 0 [] [9] [] [] 0 0 [0] [] [] [] [] Z [0] A 0 [] [9] [] [] 0 0 [0] [] [] [] [] Z. Find a solution to the Chinese Postman Problem in this graph, given that every edge has equal weight. The problem is to find the shortest closed walk which uses every edge at least once. The graph is not Eulerian and so some edges will have to be duplicated in order to find a closed walk using each edge at least once. Since there are vertices of odd degree in the graph at least edges will have to be duplicated, and since the vertices are adjacent to one another in pairs, it is easy to see that a solution results if we add the dotted edges as shown below. a b c d e f g h i j k l m n o p

Any Euler trail in this graph is a solution. One such trail is abcghlkjiefgkonjfbcdhlponmiea. 9. (i) Prove that a graph in which the degree of each vertex is at least two contains a cycle. (ii) Prove that a tree with at least vertices has at least vertices of degree. (i) The result is trivial if the graph has loops or multiple edges, so suppose the graph is simple. Construct a walk v v v... in the graph by choosing any vertex as v, any vertex adjacent to v as v, any vertex adjacent to v other than v as v, and so on. That is, at each vertex v i, choose v i+ v i. The existence of such a vertex is guaranteed by the fact that the degree of each vertex is at least. Since the graph has only finitely many vertices, at some stage a vertex will be repeated. Then there is a cycle between the two occurrences of the repeated vertex. (ii) Note that part (i) is equivalent to: A graph with no cycles (and at least one edge) has at least one vertex with degree. Since a tree is defined as a connected graph without cycles, it follows that a tree has at least one vertex of degree. Now construct a path as follows: Find a vertex of degree, and move to its adjacent vertex. If that vertex has degree, then we have found vertices of degree. Otherwise, its degree is at least, and we can choose another edge along which to move to a third vertex. Keep doing this, going along previously unused edges as long as possible. Since there are no cycles, we will never get back to an already visited vertex, and since there are only finitely many vertices, we cannot keep getting new vertices forever. Therefore, we must eventually reach a new vertex from which we are unable to continue, i.e., a vertex not previously visited, and with no unused edge incident to it. That is, we have found a second vertex of degree. Here is an alternative proof: Suppose there are n > vertices, and p of them have degree. Hence the other n p vertices have degree >, i.e., (since the tree is connected, with at least two vertices, so no vertex has degree 0). Now recall that a tree with n vertices has n edges. By the Handshaking lemma, (number of edges) = (n ) = (total degree) which gives p. p + (n p) = n p, 0 Prove, directly from the definition of a tree as a connected graph without cycles, that the additon of one edge to a tree creates exactly one cycle.

Firstly, since a tree has no cycles it cannot have multiple edges or loops, and so there is at most one edge between any pair of vertices. If an edge is added to a pair of adjacent vertices, then exactly one cycle is formed, consisting of the the one existing edge and the added edge. Now suppose that an edge is added to a pair of non-adjacent vertices, v i and v j. Since a tree is connected there is a path from v i to v j, and so adding the edge v i v j forms the cycle v i...v j v i. More than one cycle could be formed only if there were at least two paths from v i to v j. But if there were more than one path between v i and v j in the tree, then there would be a cycle. Hence, there is exactly one path between any pair of vertices, and exactly one cycle created by adding an edge.. How many edges are there in a forest with v vertices and k components? Suppose the number of vertices in the ith component of the forest is v i. Each component of a forest is a tree, and so the number of edges in the ith component is v i. The total number of edges is therefore k (v i ) = i= k k v i = v k. i= i=. Let T be a tree with p vertices of degree and q other vertices. Show that the sum of the degrees of the vertices of degree greater than is p + (q ). The number of vertices is p + q, and so the number of edges is e = p + q. Hence, by the Handshaking Lemma, Total degree = v i deg(v i ) and so = p + deg(v i ) deg(v i ) > = e = (p + q ), deg(v i ) = (p + q ) p = p + (q ). deg(v i ) >. Show that if a tree has two vertices of degree, then it must have at least vertices of degree. Let v be the number of vertices, and p the number of vertices of degree. If two vertices have degree, there are (v p ) vertices with degree other than

9 or. In particular, each of these (v p ) vertices has degree at least. degrees p + + (v p ) = v p +. But degrees = number of edges = (v ). Therefore v v p +, or p.. Show that, for each value of n, the graph associated with the alcohol molecule C n H n+ OH is a tree. (Carbon, Hydrogen, Oxygen have valencies,, respectively.) Since a molecule is a collection of atoms connected by chemical bonds, the associated graph is connected. It consists of n vertices of degree each labelled C, n+ vertices of degree each labelled H, and vertex of degree labelled O. Hence the number of vertices is v = n + (n + ) + = n +, and, using the Handshaking Lemma, the number of edges is e = ( n+(n+)+ ) = n+. Since e = v, and the graph is connected, it must be a tree.. (i) Find the number of molecules with formula C H, and draw them. (ii) How many non-isomorphic trees are there with vertices? (iii) Comment on the relationship between your answers to parts (i) and (ii). (i) As in the previous question, the graph associated with any such molecule is connected, the number of vertices is, and the number of edges is + =. So the graph is a tree, and therefore must be simple. (So, for example, there can be no double bonds like C == C.) Moreover, each C must be adjacent to at least one other C, else we would have a component of the graph of the form H H C H H disconnected from the rest of the graph (since each H has valency only ). Hence the Cs and the edges between them must form a connected subgraph a subtree in fact.

0 The carbon atoms could be connected up with single bonds in three essentially different (non-isomorphic) ways: C C C C C C C C C C C C C C C In each case there is an essentially unique way to add the Hs, giving the following isomers of C H (where C =, H = ): (ii) There are non-isomorphic trees on vertices: (iii) The trees in part (ii) are precisely those formed by the carbon atoms in part (i).. Repeat question for C H, and trees with vertices. (i) There are isomers of C H, given by the following arrangements of the carbon atoms: Adding the Hs in the obvious way gives the molecules. (ii) There are non-isomorphic trees on vertices the shown in part (i), and the following: (iii) In this case, the carbon atoms can be arranged in a way which corresponds to only of the non-isomorphic trees on vertices. (In the sixth tree, one vertex has degree, and carbon has valency.)

. Find the Prüfer sequence corresponding to each of the following labelled trees: 9 0 We find the lowest labelled leaf (vertex of degree ), delete that leaf and its incident edge, and write down the label of the vertex to which the just deleted leaf was adjacent. Continue until just two vertices are left. Lowest leaf: Remove, write Lowest leaf: Remove, write Lowest leaf: Remove, write Lowest leaf: Remove, write Two left: Stop. Answer: (,,,) Similarly, with the second graph: remove and write ; remove and write ; remove and write ; remove and write ; stop. The sequence is (,,,). For the third graph the sequence is (,,,,,,,,,, ).. Find the labelled trees corresponding to these Prüfer sequences: (i) (,,,, ) (ii) (,,,, ) (iii) (,,,,, ) (i) In order to find the tree corresponding to a particular Prüfer sequence (a, a,..., a n ) (where each a i is one of,,...,n), we augment the sequence to (a, a,..., a n, n), and form a new sequence (b, b,..., b n, b n ), term by term, such that each b i is the smallest positive integer not equal to any of b, b,..., b i, a i, a i+,..., a n, n. The labelled graph whose edges are [a, b ], [a, b ],..., [a n, b n ], [b n, n] is then the labelled tree with Prüfer sequence (a, a,..., a n ). From (,,,,), ( terms, so n = ) we augment to (,,,,,) then

form (,,,,,), as follows: the least positive integer not equal to any of,,,,, is ; the least positive integer not equal to any of,,,, or is ; the least positive integer not equal to any of,,, or, is ; the least positive integer not equal to any of,, or,, is ; the least positive integer not equal to any of, or,,, is ; the least positive integer not equal to any of or,,,, is. Hence the edges are [,], [,], [,], [,], [,], [,]: (ii) Similarly, from (,,,,), again n =, so we augment to (,,,,,) then form (,,,,,): edges [,], [,], [,], [,], [,], [,]. (iii) With (,,,,,) ( terms), n =, so we augmentto (,,,,,,) then form (,,,,,,):edges [,], [,], [,], [,], [,], [,], [,].