Mock Exam. Juanjo Rué Discrete Mathematics II, Winter Deadline: 14th January 2014 (Tuesday) by 10:00, at the end of the lecture.

Similar documents
Part II. Graph Theory. Year

Characterizations of graph classes by forbidden configurations

Topics on Computing and Mathematical Sciences I Graph Theory (13) Summary and Review

MATH 350 GRAPH THEORY & COMBINATORICS. Contents

Abstract. A graph G is perfect if for every induced subgraph H of G, the chromatic number of H is equal to the size of the largest clique of H.

How many colors are needed to color a map?

Vertex coloring, chromatic number

Vertex coloring, chromatic number

Graphs and Discrete Structures

Small Survey on Perfect Graphs

The following is a summary, hand-waving certain things which actually should be proven.

List of Theorems. Mat 416, Introduction to Graph Theory. Theorem 1 The numbers R(p, q) exist and for p, q 2,

Theorem 3.1 (Berge) A matching M in G is maximum if and only if there is no M- augmenting path.

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

The Structure of Bull-Free Perfect Graphs

How many colors are needed to color a map?

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

Chapter 6 GRAPH COLORING

Colouring graphs with no odd holes

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2

Math 776 Graph Theory Lecture Note 1 Basic concepts

Discrete Mathematics I So Practice Sheet Solutions 1

Problem Set 3. MATH 776, Fall 2009, Mohr. November 30, 2009

Discrete Wiskunde II. Lecture 6: Planar Graphs

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

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) We will be interested in s.t. ( )~1. To gain some intuition note ( )

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) 2 ( ) ( )

Network flows and Menger s theorem

Planarity: dual graphs

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring

Assignment 4 Solutions of graph problems

CS 2336 Discrete Mathematics

Extremal Graph Theory. Ajit A. Diwan Department of Computer Science and Engineering, I. I. T. Bombay.

November 14, Planar Graphs. William T. Trotter.

Assignment 1 Introduction to Graph Theory CO342

Jordan Curves. A curve is a subset of IR 2 of the form

GRAPH THEORY and APPLICATIONS. Factorization Domination Indepence Clique

INTRODUCTION TO GRAPH THEORY. 1. Definitions

VIZING S THEOREM AND EDGE-CHROMATIC GRAPH THEORY. Contents

Math 575 Exam 3. (t). What is the chromatic number of G?

A taste of perfect graphs (continued)

EDGE MAXIMAL GRAPHS CONTAINING NO SPECIFIC WHEELS. Jordan Journal of Mathematics and Statistics (JJMS) 8(2), 2015, pp I.

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

Topics on Computing and Mathematical Sciences I Graph Theory (3) Trees and Matchings I

Bipartite Roots of Graphs

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

Introduction to Graph Theory

Weak Dynamic Coloring of Planar Graphs

Treewidth and graph minors

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

1 Matching in Non-Bipartite Graphs

MAT 145: PROBLEM SET 6

Module 7. Independent sets, coverings. and matchings. Contents

The strong chromatic number of a graph

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

arxiv: v2 [math.co] 25 May 2016

CMSC Honors Discrete Mathematics

Planar graphs. Chapter 8

Face Width and Graph Embeddings of face-width 2 and 3

Matching Theory. Figure 1: Is this graph bipartite?

Week 8: The fundamentals of graph theory; Planar Graphs 25 and 27 October, 2017

Week 10: Colouring graphs, and Euler s paths. 14 and 16 November, 2018

2. Lecture notes on non-bipartite matching

Chapter 8 Independence

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

Kuratowski Notes , Fall 2005, Prof. Peter Shor Revised Fall 2007

Discrete mathematics II. - Graphs

Hamiltonian cycles in bipartite quadrangulations on the torus

Discrete mathematics

On Cyclically Orientable Graphs

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings.

Lecture 6: Graph Properties

Jordan Curves. A curve is a subset of IR 2 of the form

List Coloring Graphs

Topics in Combinatorics. Dorottya Sziráki Gergő Nemes

Graph Theory. Connectivity, Coloring, Matching. Arjun Suresh 1. 1 GATE Overflow

WUCT121. Discrete Mathematics. Graphs

Advanced Combinatorial Optimization September 17, Lecture 3. Sketch some results regarding ear-decompositions and factor-critical graphs.

HOMEWORK 4 SOLUTIONS. Solution: The Petersen graph contains a cycle of odd length as a subgraph. Hence,

The Six Color Theorem

Technische Universität München Zentrum Mathematik

Tangencies between disjoint regions in the plane

Rigidity, connectivity and graph decompositions

Diskrete Mathematik und Optimierung

Simultaneous Diagonal Flips in Plane Triangulations

CPS 102: Discrete Mathematics. Quiz 3 Date: Wednesday November 30, Instructor: Bruce Maggs NAME: Prob # Score. Total 60

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

Graph Theory Questions from Past Papers

Spanning trees and orientations of graphs

1 Matchings with Tutte s Theorem

Acyclic Colorings of Graph Subdivisions

Planarity. 1 Introduction. 2 Topological Results

A note on Brooks theorem for triangle-free graphs

Every planar graph is 4-colourable and 5-choosable a joint proof

LAMC Advanced Circle October 9, Oleg Gleizer. Warm-up

MAS 341: GRAPH THEORY 2016 EXAM SOLUTIONS

On the Rainbow Neighbourhood Number of Set-Graphs

1. Chapter 1, # 1: Prove that for all sets A, B, C, the formula

Matching Algorithms. Proof. If a bipartite graph has a perfect matching, then it is easy to see that the right hand side is a necessary condition.

Math 776 Homework. Austin Mohr. June 15, Theorem 1.1. The following assertions are equivalent for a graph T : (i) T is a tree;

Transcription:

Mock Exam Juanjo Rué Discrete Mathematics II, Winter 2013-2014 Deadline: 14th January 2014 (Tuesday) by 10:00, at the end of the lecture. Problem 1 (2 points): 1. State the definition of perfect graph (0.5 points). A graph G is said to be perfect if every induced subgraph H of G satisfies that χ(h) = ω(h). Grading: 0.5 points for the correct definition. 0.1 point will be substracted if subgraph is stated instead of induced subgraph. In any case, it is not necessary to state what χ and ω are. 2. Prove that the complement of a bipartite graph is perfect (1.5 points). Let G be a bipartite graph, and we denote by G its complement. Observe that every induced subgraph of G is also the complement of a bipartite graph. So, proving perfectness of the complement of a bipartite graph G is equivalent to proving that for every bipartite graph G, χ(g) = ω(g). So, fix a bipartite graph G and consider its complement G. Color it using χ(g) colors, and consider each color class. We claim that each color class has at most two vertices: recall that each color class is an independent set (namely, there cannot be edges between vertices painted with the same color). If a color class have more than 3 vertices, then G will have a triangle. And this is not possible because G is a bipartite graph. In other words, we have shown that χ(g) is equal to V (G) minus the maximum size of a matching in G: the number of color classes for a coloring of G is minimized when the number of color classes with two elements is maximal, and each pair of vertices in each color class define then a matching in G. Now, applying König s Theorem for the maximum size of a perfect matching in bipartite graphs, we have that: χ(g) = V (G) maximum size of a matching in G = V (G) minimum size of a vertex cover in G Finally, observe that a minimum vertex cover in G defines a complete subgraph in G with maximum cardinality, hence the last value is exactly equal to ω(g), as we wanted to prove. Grading: Additive with respect to all the ingredients of the proof: 0.4 points are given if it is stated (0.3) and explained (0.1) that we can restrict to show that χ(g) = ω(g) for every bipartite graph G. 0.3 points are given if it is stated (0.1) and explained (0.2) that color classes in a coloring of G must have at most 2 vertices. 0.5 points are given if it is stated the relation with matchings in graphs (0.3), and if König s Theorem is applied (0.2). 0.3 points are given if it is stated the relation between minimal vertex covers in G and cliques in G (0.2), and of course if the proof is complete (0.1), by concluding what we wanted to prove. It is not necessary to state König s Theorem, what a vertex cover is, what a clique is,... Additionally, the grade will be positive if Berge s Weak Perfect Graph conjecture (now theorem) is used to reduce the problem to bipartite graphs.

Problem 2 (2 points): 1. State Turán s Theorem (0.25 points) and Erdős-Stone Theorem (0.25 points). Turán Theorem: ex(n, K r+1 ) = E(T r,n ) = ( 1 1 r 2 + o(n2 ) = ( ) ( 1 1 n r 2) + o(n 2 ), where T r,n is the Turan graph on n vertices and r parts. Erdös-Stone Theorem: ex(k s, r+1...,s ) = ex(n, K r+1)+o(n 2 ) = ( ) 1 1 n 2 r 2 +o(n2 ) = ( ) ( 1 1 n r 2) + o(n 2 ). Grading: In each case, several versions are valid (n 2 /2, ( ) n 2 2,... ). 0.1 points are subtracted in each case for minor errors. 2. State Erdős-Simonovits Corollary (0.5 points) and prove it by using Turán s Theorem and Erdős-Stone Theorem (1 point). (Note: You do NOT have to prove neither Turán s Theorem nor Erdős-Stone Theorem). ( 1 1 χ(h) 1 ( 1 1 χ(h) 1 ) n 2 Erdős-Simonovits Corollary: For any graph H, ex(n, H) = ) n 2 2 + o(n2 ). Proof: we observe the following: ) (n 2) + o(n 2 ) = If G and G are graphs such that G is a subgraph of G, then ex(n, G) ex(n, G ): when excluding G we are also excluding G. If G and G are graphs such that χ(g) < χ(g ), and G has n vertices, then E(G) ex(n, G ): G cannot be a subgraph of G, so the number of edges needed in order to have a copy of G (when having n vertices) must be greater than E(G). We apply these observations in our case. For the graph H, write r = χ(h). Firstly, H is a subgraph of K s,...,s r for s large enough (for instance, one can take s = V (H) ), hence ex(n, H) ex(n, K s,...,s). r Secondly, H is not a subgraph of the Turan graph T r 1,m for all choices of m, hence E(T r 1,n ) ex(n, H). Finally, taking these two inequalities and applying Turan Theorem + Erdős-Stone Theorem we get the result as claimed. Grading: 0.5 points for the correct statement. Minor errors will substract 0.2 points. It is not necessary to say explicitly that χ(h) is the chromatic number of H. For the proof: additive with respect to the steps needed: Upper bound: 0.2 points for the observation (0.1 if stated and 0.1 if justified), 0.2 points for the application in our context. Lower bound: 0.3 points for the observation (0.1 if stated and 0.2 if justified), 0.1 points for the application in our context. 0.2 point for the sandwidth argument.

Problem 3 (2 points): Prove that if the graph G has a Hamiltonian cycle (namely, a connected 2-factor), then G has a 4-flow. We shall prove that if G has a Hamiltonian cycle, then G has a Z/4Z-flow: by Tutte s Theorem, the existence of Z/4Z-flow is equivalent to the existence of 4-flow in a graph. Hence, let G be a graph and let C be a Hamiltonian cycle on it. Then, G can be constructed from C by adding additional edges linking vertices on C (C is a cycle, and the edges of G which do not belong to C are chords of this cycle). We call these additional edges e 1, e 2,..., e r. We construct a Z/4Z on G in the following way: We start orienting C in one of the two possible directions, and we put a value of 1 over each edge. This trivially defines a 4-flow on C. Once done this, we observe that for every edge which is not in C there are two cycles containing this edge and the rest of the edges are just edges of C. We recursively construct now a flow on the graph on the following way: we take e 1 and we choose one of this two cycles we have mentioned before. Orient it and put a value of 2 over each edge. In particular, e 1 that does not lay on C will have be carrying a flow of 2 units, and the flow over the edges of C is either 1 or 3. Observe that Kirchhoff s law is satisfied over each vertex (specially note that this is true in the endvertices of e 1 ), hence we are defining a new flow on this subgraph of G. Assume that we have applied this procedure using edges e 1,..., e s 1, and we include now the edge e s. Then it is obvious that the flow over each edge on C is either 1 or 3, because we are working with values in Z/4Z. This final argument shows that at the end we have constructed a flow (it satisfies Kirchhoff s law in each vertex) with all values belonging to {1, 2, 3} in Z/4Z. Finally, but Tutte s Theorem for flows the same result is true changing Z/4Z by Z. Grading: Additive with respect to all the ingredients of the proof: 0.6 points are given if it is stated that we will show the result for Z/4Z instead of 4 (0.4) by means of Tutte s Theorem for flows (0.2). 0.2 points are given if it is stated that a graph if hamiltonian if it can be defined as a cycle containing all the vertices, and a set of chords linking pairs of vertices. 0.2 points are given if it is stated that we put a unit of flow on the hamilton cycle (conveniently oriented). 0.8 points are given if it is observed that each chord belongs to two cycles (0.2), and it is exploited this idea to construct a new flow (sending 2 units of flow) on the subgraph (0.3). 0.3 are finally given if it is justified that doing this we get a flow (Kirchhoff s law) (0.1), which is non-zero (0.1) and with values in {1, 2, 3} (0.2 or 0.1 if it is stated the non-zero). 0.2 points are given if it is said that this last procedure can be done for all chords. Pictures explaining how the cycle is, how the chords are, how is the orientation,... will substitute words and will be positively graded using the previous criteria.

Problem 4 (2 points): Prove that the Petersen graph is not planar. It is sufficient to draw the Petersen graph on show that has either K 3,3 or K 5 as a minor. Then, applying Wagner s Theorem (namely, if a graph has either K 3,3 or K 5 as a minor then it is not planar), we get the result as claimed. Grading: additive with respect to the steps on the proof: 0.5 points are given for a correct picture (or definition) of the Petersen graph. 0.5 point are given if it is stated that either K 3, 3 or K 5 is a minor. 0.5 point are given if it is shown (by pictures is valid) that either K 3,3 or K 5 is a minor. 0.5 points are given if Wagner s Theorem is cited in order to complete the proof. It is not necessary to prove Wagner s Theorem at this point. Solutions using Euler s formula are also possible.

Problem 5 (2 points): faces have length 3. Let M be a planar map defined from a simple graph G, where all Prove that the corresponding dual map M has not bridges (0.25 points). Having bridges in the dual map is equivalent to having loops in the initial map (we saw this in the lectures). As we are starting from a map whose skeleton is a simple graph, we conclude the claim. Grading: show the relation with loops (0.15) and remark that we are starting from something that is simple (0.1). Prove that the corresponding dual map M has a 2-factor (0.5 points). Using the previous point we have obtained that the graph related to the map M is cubic and bridgeless. Hence, Petersen s theorem for cubic bridgeless graphs states that such a graph have a perfect matching (namely, a 1-factor). Consider then the edges that are not in the 1-factor. We claim that these edges define a 2-factor: that is true because each vertex in the defined subgraph have degree 2 (3-1, because we are not considering one of the edges incident with each vertex). Grading: state that the corresponding graph is cubic and bridgeless (0.1). State that by Petersen s Theorem (0.1) we have a 1-factor. State that the complementary defines a 2-factor (0.2), and justify that all vertices have degree 2 (0.1). It is not necessary to prove Petersen s theorem. Show that the vertices of the initial map M can be coloured using 2 colours (NOT a proper colouring) in such a way that every face is incident with vertices of both colours (1.25 points). We exhibit a coloring of the vertices which satisfies this property. In order to do so, we use the 2-factor decomposition of the graph, and its embedding. So, we consider M and this 2-factor. We observe the following: 1. the cycles split the plane (or the sphere) in different 2-dimensional regions, and each cycle split the plane into two connected components (Jordan s curve theorem). 2. We can color the regions in which the plane is splitted using two colors, in such a way that two regions that are incident they do not have the same color. To do this, just apply induction on the number of cycles: for one cycle it is obvious that we can do this (again, Jordan s curve Theorem states that we have two connected components). So, assuming that the result is true when having s 1 cycles, let us see what happen when having s cycles. Observe that at least one of these cycles has the following property: one of the two connected regions it defines does not contain any cycle (otherwise we won t be able to have a finite number of cycles). Delete this cycle and get a configuration with s 1 cycles. Color the regions by induction, and finally add again the cycle we have deleted. But now (again, by the Jordan s curve theorem) we are creating a new region (recall that this special cycle has a component without cycles), and we can simply color it in the color not used in the other region incident with this cycle we have been considering. 3. Each 2-dimensional region corresponds to a set of vertices in M: each region defined by the cycles contains some faces of M, and by duality we have the statement. Hence, using these three points, we have defined a coloring of the vertices (associating the color of the region to each vertex). Finally, this coloring satisfies the property we wanted to show because the faces of M are the vertices of M. All these vertices belong to some

cycle in the 2-factor, and hence each vertex in M is incident with two colors (again, by Jordan s curve Theorem). Grading: 1 point is given for saying a coloring satisfying these properties, and 0.25 are given if it is justified correctly. To get 1 point, 0.25 points are given if it is stated that we have a cycle structure splitting the plane. 0.25 points are given if it is stated that the regions can be properly colored using 2 colors, and 0.25 are given if this claim is proven (by induction or other means). 0.25 points are given if finally it is said that this coloring induces a coloring on the set of vertices of the map M. (Note: you can solve each part independently).