9.1. Vertex colouring. 9. Graph colouring. Vertex colouring.

Size: px
Start display at page:

Download "9.1. Vertex colouring. 9. Graph colouring. Vertex colouring."

Transcription

1 Vertex colouring. 9. Graph colouring k-vertex-critical graphs Approximation algorithms Upper bounds for the vertex chromatic number Brooks Theorem and Hajós Conjecture Chromatic Polynomials Colouring of planar graphs Edge colouring. Vizing Theorem Edge chromatic minimal graphs Total colouring The Timetabling Problem Graph Theory Vertex colouring Problem : We wish to arrange the talks in a congress in such a way that no participant will be forced to miss a talk he would like to hear. Assuming a good supply of lecture rooms enabling us to hold as many parallel talks as we like, how long will the program have to last? The graph-theoretical model: : Let G be such a graph whose vertices are the talks and in which two talks are joined iff there is a particip- ant wishing to attend both. What is the minimal value of k for which V(G) can be partitioned into k classes, say V 1,V 2,,V k, such that no edge joins two vertices of the same class? Graph Theory 7 2 G In a given colouring c of a graph G,, a set consisting of all vertices assigned the same colour is referred to as a colour class: V k = {v V(G) c(v) ) = k}. k We remark that we shall use real colours (red, blue,,.) only if there are few colours, otherwise the natural numbers will be our colours. Thus k-colouring of the vertices of G is a function c: V(G) {1,2, 1,2,,k}. We denote the minimal number of classes by (G) and call as the (vertex) chromatic number of G. If G is a graph for which (G) = k then G is k-chromatic. A possible colouring of a graph G with 3 colours. Graph Theory 7 3 Graph Theory 7 4 1

2 An alternative definition: the chromatic number is the minimum number of independent subsets into which V(G) can be partitioned. Each independent set is then a colour class in the (G) G)-colouring of G so defined. G: For some graphs, the chromatic number is quiet easy to determine: (C 2k ) = 2. (C 2k+1 ) = 3. (K n ) = n. (K n1, n 2,, n ) = k. k (G) 3. C 5 G and (C 5 ) = 3, it follows that (G) 3. So, (G) =3. Graph Theory 7 5 Graph Theory 7 6 Some easy statement: If a graph G does not have an odd cycle then (G) 2. If a graph G has an odd cycle then (G) 3. (G) ) = k iff G is k-partite but G is not l-partite for l < k. k If K k G then (G) k. If G does not contain h+1 independent edges then (G) G / h. Unfortunatelly,, for k 4 we do not have a similar characterization of graphs with chromatic number at least k, though there are some complicated characterization. Can we make a good characterization for k-chromatic graphs? The 1-chromatic graphs are the empty graphs. The 2-chromatic graphs are the nonempty bipartite graphs. No value of k > 2 is such an applicable characterization known. The chromatic number of a disconnected graph is the maximum of the chromatic numbers of its components. The chromatic number of a connected graph with cut-vertices is the maximum of the chromatic numbers of its blocks. So, we will concern with determining the chromatic number of non- separable graphs; (i.e. graphs which do not have cut-vertices). Graph Theory 7 7 Graph Theory 7 8 2

3 Vertex-critical Graphs A graph G is k-(vertex) critical if (G) ) = k and (G v) ) = k 1 for all v V(G). (We also say that G is critically k-chromatic.) Every k-chromatic graph has a k-critical subgraph. if k = 2 then the only 2-critical 2-chromatic graph is K 2, and the odd cycles are the only 3-critical 3-chromatic graphs. For k 4 the k-critical graphs have not been characterized, although it is quite difficult, in general, to determine whether a given k- chromatic graph is k-critical or not. Graph Theory 7 9 The Grötzsch graph a 4-critical graph. Graph Theory 7 10 Theorem 9.1.: If G is k-critical then (G) k 1. By contrary: let us suppose that G is k-critical and (G) < k 1 and let v be a vertex of degree in G. Since G is k-critical, G v is (k( 1)-colourable. Let V 1, V 2,,V k-1 be the colour-classes classes of a (k 1)-colouring( of G v. By definition, v is adjacent in G to < k 1 vertices, therefore there exists at least one j, 1 j k 1,, such that for any vertex of V j is not adjacent to v in G. If we colour v by the jth colour then we get a (k( 1)-colouring for G. This is a contradiction since G is k-critical. Corollary 9.2.:.: Every k-chromatic graph has at least k vertices of degree at least k 1. Let G be a k-chromatic graph,, and let H be a k-critical subgraph of G. By Theorem 9.1, each vertex of H has degree at least k 1 in H,, and hence also in G. Since H,, being k-chromatic, has at least k vertices. Can we say something generally about the k-colourable graphs? Graph Theory 7 11 Graph Theory

4 H: G: Corollary 9.3.:.: For any graph G, (G) Let us suppose that the statement is not true. Then there exists a graph G with chromatic number By Theorem 9.2 then there exists at least + 2 vertices with vertex- degree + 1. This is impossible. G is a 3-chromatic graph. H is 3-critical subgraph of G. For a complete graph K n, (K n ) = If G is an odd cycle, then (C n ) = 2 and (C n ) = 3 = Graph Theory 7 13 Graph Theory 7 14 Let S be a vertex cut of a connected graph G,, and let the components of G S have vertex sets V 1, V 2,..., V t. The subgraphs G i = G[V i S] are called the S components of G. We say that colourings of G 1, G 2,...,G, t agree on S if, for every v S, the same colour is assigned to v in each of the colourings. u v G u u u Graph Theory 7 15 v v v A grah G and its {u,v{ u,v}-components Graph Theory

5 Theorem 9.4. In a k critical graph, no vertex cut is a clique. We prove by contradiction: suppose that G is a k critical graph, and suppose that G has a vertex cut S that is a clique. Denote the S- componenents of G by G 1, G 2,..., G t. Since G is k-critical, each G i is (k( 1)-colourable. Because S is a clique, the vertices in S must receive distinct colours in any (k( 1)-colouring of G i. Then there are (k( 1)-colourings of G 1, G 2,..., G t which agree on S. But these colourings together form a (k( 1)-coloring of G,, which is a contradiction. Theorem 9.5. Every k critical graph is a block. If v is cut-vertex, then {v}{ } is a vertex cut which is also a (trivially) clique. Then it follows from Theorem 9.4 that no critical graph has a cut vertex; equivalently, every k-critical graph is a block. An {u,v{ u,v}-component G i of G is of type 1 if every (k( 1)-colouring of G i assigns the same colour to u and v,, and of type 2 if every (k( 1)- colouring of G i assigns different colours to u and v. Consequence: If a k-critical graph has a 2 vertex cut {u,v{ u,v}, then u and v cannot be adjacent. Graph Theory 7 17 Graph Theory 7 18 Theorem 9.6. (Dirac( Dirac,, 1953): Let G be a k-critical graph with a 2- vertex cut {u,v{ u,v}. Then (1) G = G 1 G 2, where G i is a {u,v{ u,v}-component of type i (i i = 1,2), and (2) both G i + uv and G 2 uv are k-critical k (where G 2 uv denote the graph obtained from G 2 by identifying u and v). Graph Theory 7 19 Graph Theory

6 (1) Since G is critical, each {u,v{ u,v}-component of G is (k( 1)-colourable. Now there cannot exist (k( 1)-colourings of these {u,v{ u,v}-components all of which agree on {u,v{ u,v}, since such colourings would together yield a (k( 1)-colouring of G. Therefore there are two {u,v{ u,v}-components G 1 and G 2 such that no (k 1)-colouring of G 1 agrees with any (k( 1)-colouring of G 2. So, one, say G 1, must be of type 1 and the other, G 2, of type 2. Since G 1 and G 2 are of different types, the subgraph G 1 G 2 of G is not (k( 1)-colourable. Therefore, because G is critical, we must have G = G 1 G 2. (2) Set H 1 = G 1 + uv.. Since G 1 is type 1, H 1 is k-chromatic. We shall prove that H 1 is critical by showing that, for every edge e of H 1, H 1 e is (k( 1)-colourable. This is so if e = uv,, since H 1 e = G 1. Let e be some other edge of H 1. In any (k( 1)-colouring of G e,, the vertices u and v must receive different colours, since G 2 is a subgraph of G e. The restriction of such a colouring to the vertices of G 1 is a (k( 1)- colouring of H 1 e. Thus G 1 + uv is k-critical. An analogous argument shows that G 2 uv is k-critical. Graph Theory 7 21 Graph Theory 7 22 Theorem 9.7.: Let G be a critical graph with 2-vertex cut {u,v{ u,v}. Then d(u) ) + d(v) 3k 5. Let G 1 be the {u,v{ u,v}-component of type 1 and G 2 the {u,v{ u,v}-component of type 2. Set H 1 = G 1 + uv and H 2 = G 2 uv. By Theorem 9.1and Theorem 9.6 we get d (u) + d H1 H (v) 1 2k 2 and d (w) H2 k 1 where w is the new vertex obtained by identifying u and v. From the construction of G 1 and G 2 it follows that d (u) + d G1 G (v) 1 2k 4 which yields the desired result. and d (u) + d G2 G (v) 2 k 1 Graph Theory The Greedy Algorithm Order the vertices of the given graph G in any order. Colour x 1 by the colour 1, Colour x 2 by 1 if x 1 x 2 E(G) and by 2 otherwise. We colour each vertex the by the smallest colour it can have at the stage. The problem: this colouring may and usually does use many more colours than necessary. However,, it is also true that for every graph the vertices can be ordered in such a way that the greedy algorithm uses as few colours as possible. Graph Theory

7 x 1 x 3 x 5 x 7 x 1 x 8 x 5 x 6 x 2 x 4 x 6 x 8 x 7 x 2 x 3 x 4 In the order x 1,x 2,,x 8 the greedy algorithm needs four colours. Graph Theory 7 25 In the order x 1,x 2,,x 8 the greedy algorithm needs two colours. Graph Theory 7 26 What kind of other colouring algorithms can we give? Algorithm 1. (G)=max{ (G 1 ), (G 2 ), (G 3 )} = 4 The colouring of a graph reduces to the problem of colouring certain subgraphs of it. The process can be used if the graph is disconnected or has a cutvertex or, slightly more generally,, contains a complete subgraph whose vertex set disconnects the graph. Then we may colour each part separately since, at worst by a change of notation,, we can fit these colourings together to produce a colouring of the original graph, as shown in the next example. Graph Theory 7 27 (G 1 )=3 (G 2 )=3 (G 3 )=4 The vertex set of the thick triangle disconnect G Graph Theory

8 Algorithm 2 (Reduction( Algorithm). Let a and b two non-adjacent vertices of G.. Let G' be obtained from G by joining a to b,, and let G'' be obtained from G by identifying a and b. (See the next slide!) a a ab Assertion 1.: The colourings of G in which a and b get distinct colours are in 1-1 correspondence with the colourings of G'.. Indeed c: V(G) {1,2, 1,2,,k} } is a colouring of G with c(a) c(b) iff c is a colouring of G'. G b G' b G'' Assertion 2.: The colourings of G in which a and b get the same colour are in 1-1 correspondence with the colourings of G'' ''.. Indeed c: V(G) {1,2, 1,2,,k} } is a colouring of G with c(a) ) = c(b) iff c is a colouring of G'' ''. Graph Theory 7 29 The graphs G, G and G'' Graph Theory 7 30 G 0 G i = 0 yes Let G i = k no Is G i complete? G = G G i+ 1 i i A k-colouring of G i can be lifted to a k- colouring of G. (G) is the minimum order of a complete graph in which a sequence G 0,G 1, can terminate. G i=i+1 Graph Theory 7 31 Colouring a 3-colourable graph Graph Theory

9 Beside these simple statements however,, it is not easy to see that there are triangle-free graphs of large chromatic number. It is difficault to give a characterization of such graphs which have large chromatic number. G We shall concentrate on finding efficient ways of colouring a graph. How should one try to colour the vertices of a graph with colours 1,2,,n using as few colours as possible? Colouring a 3-colourable graph Graph Theory 7 33 Graph Theory 7 34 It is not to hard to improve the efficiency of the greedy algorithm: If we already know a subgraph H 0 which can be coloured with few colours, (H 0 ), then we may start our sequence with the vertices of H 0, colour H 0 in an efficient way and apply only then the algorithm to colour the remaining vertices. Theorem 9.8.: Let H 0 be a spanned subgraph of G and suppose every subgraph H satisfying H 0 H G, G V(H 0 ) V(H), contains a vertex x V(H) V(H 0 ) with d H (x) k. Then (G) max {k+1, (H 0 ) } Upper Bounds for the Chromatic Number. It is trivial. The only thing we need to do is to give the vertices in the appropriate order. Graph Theory 7 35 Theorem 9.9.: Let k = max H (H), where the maximum is taken over all spanned subgraphs of G.. Then (G) k+1. Let x n a vertex with d(x n ) k, and let H n-1 = G {x n } By assumption H n-1 has a vertex of degree at most k. Let x n-1 be one of them and put H n-2 = H n-1 {x n-1 }= G {x n,x n-1 }. Continuing in this way we enumerate all vertices. The sequence x 1,x 2,,x n is such that each x j is joined to at most k vertices preceding it. Hence the greedy algorithm will never need colour k+2 to colour a vertex. Graph Theory

10 G: x 9 x 7 x 8 x 4 x 6 (G) k + 1 = 3. 3 k = max H (H) = 2 Graph Theory 7 37 x 5 x 1 x 2 x 3 Consequence 9.10.: (G) + 1, where = (G) is the maximum degree of G. This follows immediately from the fact that max Consequence 9.11.: If G is connected and not -regular then clearly max (H) (G) 1,, and so (G). max H G max H G (H) (G). Theorem (Brooks, 1941): Let G be a connected graph with maximal degree. Suppose G is neither a complete graph nor an odd cycle. Then (G). (Lovász( Lovász,, 1973) We may assume that G is connected and -regular. Furthermore,, we may assume that 3,, since a 2-regular 3-chromatic graph is an odd-cycle cycle. Graph Theory 7 38 If G is 3-connected, let x n be any vertex of G and let x 1, x 2 be two non-adjacent vertices in (x n ). If G is not 3-connected, let x n be a vertex for which G x n is separable, has at least two blocks. Since G is 2-connected, each endblock of G x n has a vertex adjacent to x n. Let x 1 and x 2 be such vertices belonging to different endblocks. In either case we have found vertices x 1,x 2 and x n such that G {x 1,x 2 } is connected, x 1 x 2 E(G) but x 1 x n E(G) and x 2 x n E(G). Let x n-1 V V {x 1,x 2,x n } be a neighbour of x n, let x n-2 be a neighbour of x n or x n-1 etc. Then the order x 1,x 2,x 3,,x, n is such that each vertex other than x n is adjacent to at least one vertex following it. Thus the greedy algorithm will use at most colours,, since x 1 and x 2 get the same colour and x n is adjacent to both. Graph Theory 7 39 A block-cutvertex cutvertex tree and endblocks. Graph Theory

11 Although no necessary and sufficient condition for a graph to be k- chromatic is known when k 3,, a plausible necessary condition has been proposed by Hajós (1961): A subdivision of a graph G is a graph that can be obtained from G by a sequence of edge divisions. Hajós' conjecture: If G is k-chromatic, then G contains a subdivision of K k. For k = 1 and k = 2, the validity of Hajós conjecture is obvious. It is also easily verified k = 3, because a 3-chromatic graph necessa- ry contains an odd cycle, and every odd cycle is a subdivision of K 3. The k = 4 case was proved by Dirac in The conjecture has not yet been settled in general, and its resolution is known to be a very difficult problem. Graph Theory 7 41 A subdivision of K 4. Graph Theory 7 42 Theorem 9.13.: If G is 4-chromatic, then G contains a subdividion of K 4. Let G be a 4-chromatic graph. (Note that if some subgraph of G contains a subdivision of K 4, then so does G.) W.l.o.g.. we may assume that G is critical. Then G is a block with 3. If n = 4 then G is K 4, and the theorem is true. We will use induction on n. Assume the theorem is true for all four chromatic graphs with fewer than n vertices, and let n > 4. 4 First, we suppose that G has a vertex cut {u,v}. By Theorem 9.6, G has two {u,v{ u,v}-components G 1 and G 2, where G 1 + uv is 4-critical. Since V(G 1 + uv) < V(G), we can apply the induction hypothesis and deduce that G 1 + uv contains a subdivision of K 4. It follows that, if P is a (u,v( u,v)-path in G 2, then G 1 P contains a subdivision of K 4. Hence, so does G, since G 1 P G. Graph Theory 7 43 Graph Theory

12 Now,, suppose that G is 3-connected. Since length at least four. Let u and v be nonconsecutive vertices on C. 3, G has a cycle C of Since G {u,v}} is connected, there is a path P in G {u,v} connecting two components of C {u,v}. Assume that the two endvertices of P on C are x and y. Similarly, there is a path Q on G {x,y}. If P and Q have no vertex in common,, the C P Q is a subdivision of K 4. Otherwise, let w be the first vertex of P on Q,, and let P' denote (x,( w)- section of P. Then C P' Q is a subdivision of K 4. Hence, in both cases, G contains a subdivision of K 4. G: C: x v u Q P' P w y Graph Theory 7 45 Graph Theory Chromatic Polynomials In the study of colourings, some insight can be gained by considering not only the existence of colourings but the number of such colourings. This approach was developed by Birkhoff (1912)) as a possible means of attacking the four-colour conjecture. Let p k (G)) be the number of distinct colourings of G. p k (G) > 0 iff G is k-colourable. Two colourings are regarded as distinct if some vertex is assigned different colours in the two colourings. In case of colourings we do not speak about isomorphism: first we w label the vertices and two colourings are distinct if any labeled vertex has different colours in the two colourings: For example, a triangle (K( 3 ) has six distinct 3-colourings. Even though there is exactly one vertex of each colour in each colouring, we still regard these six colourings as distinct. If G is empty, then each vertex can be independently assigned any one of the k available colours. Therefore p k (G) = k n. On the other hand, if G is complete, then there are k choices of colour for the first vertex, k 1 for the second, k 2 for the third, and so on. In this case, p k (G) ) = k(k 1)(k 2)...(k n + 1). Graph Theory 7 47 Graph Theory

13 Theorem 9.14.: If G is simple, then p k (G) ) = p k (G e) p k (G e) for any edge of G. Let e = (u,v( u,v).. To each k-colouring of G e that assigns the same colour to u and v,, there corresponds a k-colouring of G e in which the vertex of G e formed by identifying u and v is assigned the common colour of u and v. This correspondence is a bijection. Therefore p k (G e) is precisely the number of k-colourings of G e in which u and v are assigned the same colour. Since each k-colouring of G e that assigns different colours to u and v is a k-colouring of G,, and conversely, p k (G) is the number of k- colourings of G e in which u and v are assigned different colours. So, the statement of the theorem follows. Graph Theory 7 49 Graph Theory 7 50 Consequence : p k (G e) = p k (G ) + p k (G e) Theorem 9.16.: Let G be a graph with n p n 1 i n i G ( k ) = ( 1 ) aik, i = 0 1 vertices, m edges. Then where a 0 =1, a 1 = m and a i > 0 for every i, 0 i n 1. We apply induction on n + m. If n + m =1 then the assertions hold so we pass to the induction step. If m > 0 then we pick two adjacent vertices of G, say a and b.. Let e= (ab). Then V(G e) = n and E(G e) = m 1. Similarly, V( V(G e) = n 1 and E( E(G e) = m 1. So, we can use the induction hypothesis for both of the graphs G e and G e. Therefore p (G e ) = x k where b i > 0 for each i,, and n ( m 1)k n 1 + n 1 i= 2 i n i i ( 1) b k If m = 0, (i.e( i.e.. no edge in G) ) then every map f: V(G) is a colouring of G,, we have p k (G) ) = k n. {1,2, 1,2,,k} where c i > 0 for each i. p ( G e ) = k n 1 k i = 2 n 1 i n i i, ( 1 ) c k Graph Theory 7 51 Graph Theory

14 Hence, by Theorem 9.14 p ( G ) = p ( G e ) p ( G e ) = k = k = k k n n mk mk n 1 n 1 k + + n 1 i = 2 n 1 i = 2 ( 1 ) ( b i ( 1 ) a k i i i + c )k i n i where a i > 0 for each i. p k (G) will be called the chromatic polinomial of G., n i = Theorem 9.14 provides a means of calculating the chromatic polinomial of a graph recursively.it can be used in either of two ways: by repeatedly applying the recursion p k (G) ) = p k (G e) p k (G e), and thereby expressing p k (G) as a linear combination of chromatic polynomials of empty graphs. by repeatedly applying the recursion p k (G e) = p k (G )+ p k (G e) and thereby expressing p k (G) as a linear combination of chromatic polynomials of complete graphs. The first method is more suited to graphs with few edges, whereas the second one can be applied more effectively to graphs with many edges. Graph Theory 7 53 Graph Theory 7 54 = = = + = = = 3 +3 = = = k 4 3k 3 + 3k 2 k Graph Theory 7 55 = k(k 1)(k 2)(k 3)+2k(k 1)(k 2)+k(k 1) Graph Theory

15 The calculation of chromatic polynomials can sometimes be facilitated by the use of a number of formulae relating the chromatic polynomial of G to the chromatic polynomals of various subgraphs of G: if G is a cycle of length n,, then p k (G) ) = (k 1) n + (-1)( n (k 1), if G is a tree then p k (G) = k(k 1) n-1, if G has c components then p k (G) = p k (G 1 )... p k (G c ). Although many properties of chromatic polynomials are known, no one has yet discovered which polynomials are chromatic. Read (1968) conjectured that the sequence of coefficients of any chromatic polynomial must first rise in absolute value and then fall- in other words, that no coefficient may be flanked by two coefficients having greater absolute value. The condition is not sufficient: k 4 3k 3 + 3k 2 is not chromatic polynomial of any graphs. No good algorithm is known for finding the chromatic polynomial of a graph. It would provide an efficient way to determine the chromatic number. Graph Theory 7 57 Graph Theory 7 58 One of the most famous problem in graph theory is the four colour problem: prove that every plane graph is 4-colourable. The weaker assertion is almost immediate consequence of Euler's formula: Theorem 9.17.: Every plane graph is 5-colourable Colouring of Planar Graphs. Let us suppose that the assertion is false,, and let G be 6-colourable plane graph with minimal number of vertices. Then, by the Corollary 7.6, G has a vertex x of degree at most 5. Put H = G x. Then H is 5-colourable, say with colours 1,2,3,4,5. Graph Theory 7 59 Each of these colours must be used to colour at least one neighbour- hood of x, otherwise the missing colour could be used to colour x, and so G would be 5-colourable. So, we may assume that d(x)=5,, and we denote them by x 1,x 2,,x 5, and we colour x i by i, i=1,2,,5. Denote by H(i,j) the subgraph of H spanned by the vertices of colour i and j: H(i,j) ) = max { H' H : v V(H') c(v) ) = i c(v) ) = j} j Suppose first that x 1 and x 3 belong to distinct components of H(1,3). Interchanging the colours 1 and 3 in the component of x 1 we obtain another colouring of H. However,, in this 5-colouring both x 1 and x 3 get colour 3,, so 1 is not used to colour any of the vertices x 1,x 2,,x n. So, x 1 is colourable with the colour 1, which is a contradiction. Graph Theory

16 So, we can suppose that x 1 and x 3 belong to the same component.of H(1,3). Then, there is an x 1 x 3 path P 13 in H whose vertices are coloured 1 and 3. H: G: Similarly,, it is also true that x 2 and x 4 are in the same component and they can be coloured by 2 and 4,, and there exists an x 2 x 4 path P 24 in H. x 5 x 4 x x 3 Is this possible? The cycle x x 1 P 13 x 3 of G separates x 2 from x 4 but P 24 cannot meet this cycle. So, G is not a planar graph, which contradicts our assumption. x 1 x2 = 1 = 2 = 3 = 4 = 5 Graph Theory 7 61 Graph Theory 7 62 Is there any planar graph 3-colorable? Not every planar graph is 3-colourable. The simplest example is the complete graph K 4. Let 0 = max { (G): G is planar}. The consequence of the 5-colour theorem: ? The original form of the four colour problem was posed by: Francis Guthrie in 1852: : show that every olane map can be coloured with four colours. His teacher,, de Morgan, circulated the problem among his colleagues, but the problem was first made popular in 1878 by Caley, who mentioned it before the Royal Society. The firstproofs proofs were given by Kempe (1879( 1879) ) and Tait (1880). Heawood's refutation of Kempe's proof was published in He modified the proof to obtain the five colour problem. Petersen in 1890 proved that Kempe's proof contained false assumptions: He proved that the four colour problem is equivalent to the conjecture that every cubic graph has edge chromatic number three. Graph Theory 7 63 Graph Theory

17 Birkhoff's introduction of the chromatic polynomial at the beginning of the 20. century contributed to the solution. During the 20. century a lot of works were made by various authors giving lower bounds on the order of a possible counterexample. In 1943 Hadwiger made a deep conjecture containing the four colour problem as a special case: : if (G) = k then G is contractible to K k. The problem was at last solved by Appel and Haken in 1976 using fast electronic computer and considering more than 1900 reducible configurations to complete the proof. Graph Theory 7 65 Graph Theory Edge Colouring Problem 2.: Each of n businessmen wishes to hold confidental meetings with some of the others. Assuming that each meeting lasts a day and at each meeting exactly two businessmen are present,, in how many days can the meeting be over? The graph-theoretical model: : Let H be such a graph whose vertices correspond to the n businessmen and two vertices are adjacent iff the two businessmen wish to hold a meeting. What is the minimal value of k for which E(H) can be partitioned into k classes, say E 1,E 2,,E k, such that no two edges from the same class are adjecent? Graph Theory 7 67 Graph Theory

18 A k-edge colouring C of a loopless graph G is an assignment of k colours, 1, 2,..., k, to the edges of G. The colouring C is proper if no two adjacent edges have the same colour. G: A proper k-edge colouring is a k-edge colouring (E( 1, E 2,..., E k ) in which each subset E i is a matching. A graph G is k-edge-colourable if G has a proper k-edge-colouring. Every loopless graph G is E -edge-colourable, if G is k-edge-colourable,, then G is also l-edge-colourable for every k l E. The (edge) chromatic number '(G),, of a loopless graph G,, is the minimum k for which G is k-edge-colourable. G is k-edge-chromatic if '(G) = k. Graph Theory 7 69 A proper 5-edge colouring of a graph G. Graph Theory 7 70 The edge chromatic number of a graph G is at least as large as the maximum degree (G) max x d(x), so '(G) (G). d c e g f b a Since for the example we can not give a proper 3-edge colouring,, so the inequality may be strict. The edge set E(G) of a bipartite graph can be partitioned into (G) classes of independent edges, so '(G) = (G). What about the upper bounds? E 1 = {a,g{ a,g} E 2 = {b,e{ b,e} E 3 = {c,f{ c,f} E 4 = {d}{ A graph which has a proper 4-colouring. Graph Theory 7 71 Graph Theory

19 Theorem 9.18.: '(G) 2(G) 1. Each edge is adjacent to at most 2((G) (G) 1) edges. Apply the result of the Theorem 9.9 we will get the desired statement. Theorem 9.19.: If (G) 3, then '(G) 2(G) 2. The statement of the theorem follows immediately from the Brooks Theorem. Graph Theory 7 73 Theorem (Vizing( Vizing): (G) '(G) (G) + 1. Let = (G) ) and assume that we have used 1,2,,+1 to colour all but one of the edges. We are ready if we can show that this uncoloured edge can also be coloured one of the +1 used coloures. We say that a colour is missing at a vertex z if no edge incident with z gets that colour. If z is incident with d'(z) d(z) edges that have been coloured, then +1 d'(z) colours are missing at z. Since d'(z) > 0 then at each vertex at least one colour is missing. Our aim is to move around the colours and the uncoloured edge in such a way that a colour will be missing at both endvertices of the uncoloured edge, enabling us to complete the colouring. Graph Theory 7 74 G: x y 1 xy 1 is an uncoloured edge. Let s (red) and t 1 (blue) be missing colours at x and y 1 respectivelly. We shall construct a sequence of edges xy 1, xy 2,, and a sequence of colours t 1, t 2, such that t i is missing at y i and xy has colour t i. xy i+1 has Suppose we have constructed xy 1,,xy i and t 1,,t i. There is at most one edge xy of colour t i. If y {y 1,,y i }, we put y i+1 = y and pick a colour t i+1 missing at y i+1 otherwise we stop the sequence. These sequences have to terminate at most (G) terms.. Let xy 1,, xy h and t 1,,t,t h be the complete sequences. What kind of reasons may occur that a sequence terminates? No edge xy has colour t h. Then recolour the edges xy i, i < h, h giving xy i the colour t i. In the colouring we obtain every edge is coloured, except xy h. Since t h occurs neither at x nor at y h, we may complete the colouring by assigning t h to xy h. i+1, Graph Theory 7 75 Graph Theory

20 For some j < h the edge xy j has colour t h. Recolour the edges xy i, i < j, j giving xy i the colour t i. In this colouring the uncoloured edge is xy j. Let H(s,t h ) be the subgraph of G formed by the edges of colour s and t h. Each vertex of H(s,t h ) is incident with at most 2 edges in H(s,t h ) (one of colour s and the other of colour t h ) so the components of H(s,t h ) are paths and cycles. Each of the vertices x, y j and y h has degree at most 1 in H(s,t h ), so they cannot belong to the same component of H(s,t h ). So, at least one of the following two cases has to hold: The vertices x and y j belong to distinct components of H(s,t h ). Interchange the colours s and t h in the component containing y j. Then the colour s is missing at both x and y j, so we may complete the colouring by giving xy j the colour s. The vertices x and y h belong to distinct components of H(s,t h ). Continue the recolouring of the edges incident with x by giving xy i the colour t i for each i < h, thereby making xy h the uncolour- ed edge. So, xy h will this recolouring does not involve edges of colours s and t h, so H(s,t h ) has not been altered. Switch around the colours in the component containing y h. This switch makes sure that the colour s is missing at both x and y h, so we can use s to colour the so far uncoloured edge xy h. Graph Theory 7 77 Graph Theory 7 78 The maximum number of edges joining two vertices in G is called the multiplicity of G,, and it is denoted by (G). Vizig proved a more general theorem: If G is loopless then (G) '(G) (G) + (G). This theorem is best possible in the sense that, for any, there exists a graph G such that '(G) = (G) + (G). It leaves open one interesting question: which simple graphs satisfy '(G) = (G) (G)? A nonempty graph is said to be of class one if '(G) = (G) and of class two if '(G) = (G) + 1. C n (n 3) ) is of class one if n is even and of class two if n is odd. K n is class one if n is even and of class two if n is odd. Every regular graph of odd order is of class two. It is not true that every regular graph of even order is of class s one: the Petersen graph is of class two. There are considerable more class one graphs than class two graphs: Erds and Wilson (1977( 1977) ) proved that the probability that a graph of order n is of class one approches 1 as n approaches infinity. An independent set of edges in a graph G is a set of edges, each two of which are nonadjacent. The edge independent number 1(G) is the maximum cardinality among the independent sets of edges of G. Graph Theory 7 79 Graph Theory

21 Theorem 9.23.: Let G be a graph of size m.. If m > (G) is of class two. Assume that G is of class one. Then '(G) = (G) (G).. Let a '(G)-colouring of G be given. Each edge-colour class of G has at most Therefore m(g) 1(G) (G). A graph G is overfull if m > (G) n/2 1(G) edges. Corollary 9.24.: Every overfull graph is of class two. 1(G) then G A graph G is minimal with respect to edge chromatic number if (G e) ) = (G) 1 for all e E(G). Theorem 9.25.(Vizing, 1965): Let G be a connected graph of class two that is minimal with respect to edge chromatic number. Then every vertex of G is adjacent to at least two vertices of degree (G) (G). In particular, G contains at least three vertices of degree (G) (G). Theorem 9.26.(Vizing, 1965): Let G be a connected graph of class two that is minimal with respect to edge chromatic number. If u and v are adjacent vertices with deg u = k, then v is adjacent to at least (G) k + 1 vertices of degree (G) (G). Graph Theory 7 81 Graph Theory 7 82 What is the situation with planar graphs? It is easy to find planar graphs G of class one for which (G) = d for each d 2 since all star graphs are planar and of class one. There exist planar graphs G of class two with (G) = d for d = 2, 3, 4, 5. It is not known whether there exist planar graphs of class two having maximum degree 6 or 7. Vizing proved that if G is planar and (G) (G) 8, then G must be of class one. (G) = 2 (G) = 3 (G) = 4 (G) = 5 Graph Theory 7 83 Graph Theory 7 Planar graphs of class two

22 There is a colouring that assigns colours to both the vertices and a edges of a graph: a total colouring of a graph G is an assignment of colours to the elements (vertices and edges) of G so that adjacent elements and incident elements of G are coloured differently. A k-total colouring is a total colouring that uses k colours. The minimum k for which a graph G admits k-total colouring is called the total chromatic number of G and denoted by T (G). It is trivial that T (G) (G) ) + 1. Total Colouring Conjecture: for every graph G, T (G) (G) ) + 2. The Timetabling Problem The problem: : In a school,, there are m teachers X 1, X 2,, X m, and n classes Y 1, Y 2,, Y n. Given that teacher X i is required to teach class Y for p ij periods.. Schedule a complete timetable in the minimum possible number of periods. We have, at least, the assumption that in any one period each teacher can teach at most one class,, and each class can be thaght by at most one teacher. The model: : we represent the teaching requirements by a bipartite graph G with bipartition (X,Y), where X = {x 1, x 2,, x m } Y = {y{ 1, y 2,, y n } and vertices are joined by p ij edges. Graph Theory 7 85 Graph Theory 7 86 In this model a teaching schedule for one period corresponds to a matching in the bipartite graph and, conversely,, each matching corresponds to a possible assignement of teachers to classes for one period. Therefore, our problem is to partition the edges of G into as few matching as possible or, equivalently,, to properly colour the edges of G with as few colurs as possible. Since G is bipartite,, we know,, that ' =. Case A.: if no teacher teaches for more than p periods, and if no class is thaught for more than p periods, the teaching requirements can be scheduled in a p-period period timetable. Since we need to solve a matching problem, there is a good algorithm for constructing such a timetable. Case B : if only a limited number of classrooms are available then how many periods are needed to schedule a complete timetable? Suppose that altogether there are l lessons to be given,, and that they have been scheduled in a p-periodperiod timetable. Since this timetable requires an average of l/p lessons to be given in each period,, so at least l/p rooms are occupied in any one period. This is the consequence of the following theorem. Graph Theory 7 87 Graph Theory

23 Lemma 9.27.: Let M and N be disjoint matchings of G with M > N. Then there are disjoint matchings M' and N' of G such that M' = M 1,, N' = N + 1 and M' N' = M N. Consider the graph H = G[M N]. Then each component of H is either an even cycle with edges alternately in M and N, or else a path with edges alternately in M and N. Since M > N,, some path component P of H must start and end with edges of M. Let P = v 0 e 1 v 1 e 2 e 2n+1 v 2n+1, and set M' = (M \ {e 1,e 3,, e 2n+1 }) {e{ 2, e 4,, e 2n } M' = (M \ {e 2,e 4,, e 2n }) {e{ 1, e 3,, e 2n+1 } Then M' and N' are matchings of G that satisfy the conditions of the lemma. Graph Theory 7 89 Theorem 9.28.: If G is bipartite,, and if p,, then there exist p disjoint matchings M 1, M 2,, M p of G such that E(G) = M 1 M 2 M p (*) and for 1 i p [ E(G) / p] M i E(G) / p. (**) First we note that the last inequalities say that any two matchings M i and M j differ in size by at most one. Let G be a bipartite graph. Then the edges of G can be partitioned into matchings M 1,M 2,...,M. Therefore,, for any p,, there exist p disjoint matchings M 1,M2,..., M p (with M i = for i > ) ) such that E ( G ) = M M 1 2 M p Graph Theory 7 90 By repeatedly applying Lemma 9.27 to pairs of these matchings that differ in size by more than one, we eventually obtain p disjoint matchings M 1, M 2,,M, p of G satisfying (*) and (**), as required. Let us consider the following example: : suppose there are four teachers and five classes,, and the teaching requirement matrix is given. One possible 4-period timetable is given on the next page. We can represent this timetable by a decomposition into matchings of the edge set of the bipartite graph G coresponding to P. From the timetable we see that four classes are taught in period 1, and so, four rooms are needed. Graph Theory 7 91 However, E(G) = 11 and so, by Theorem 9.28,, a 4-period time- table can be arranged so that in each period either 2 ( = [11[ / 4] ) or 3 ( = {11{ / 3} ) classes are thaught. Let M 1 be the matching with the red lines and M 4 the matching with the green lines. ( M 4 = 4 and M 1 = 2.) We can now find a 4-period 3-room timetable by considering G[ M 1 M 4 ]. G[ M 1 M 4 ] has two components, each consisting of a path of length three. Both paths start and end with red edges and so, by interchanging the matchings on one of the two paths, we shall reduce the red matching to one of three edges, and the same time increase the green matching to one of three edges. This gives the revised timetable where only three rooms are needed at any time. Graph Theory

24 Suppose now that there are just two rooms available. Theorem 9.28 tells us that there must be a 6-period timetable that satisfies our requierements since {11/6{ 11/6} } = 2.. Such a timetable is given on the next figure X 1 X 2 X 3 X 4 Y 4 Y 3 Y 1 Y 1 Y 2 Y 4 Y 4 Y 3 Y 2 Y 4 Y 5 P = Y 1 Y 2 Y 3 Y 4 Y X 1 X 2 X 3 X 4 X 1 X 1 Y 1 Y 1 Y 2 X 2 X 2 Y 4 Y 4 X 3 X 4 X 3 Y 3 Y 4 Y 4 Y 2 X Y 5 Y 3 In practice, most problems on timetabling are complicated by preassignements (that is, conditions specifying the periods during which certain teachers and classes must meet). Such problem has been studied by Dempster and de Werra. Graph Theory 7 93 Y 1 Y 2 Y 3 Y 4 Y 5 Graph Theory 7 94 X 1 X 2 X 3 X 4 G[ M 1 M 4 ]. Y 1 Y 2 Y 3 Y 4 Y 5 X 1 X 2 X 3 X 4 Y 1 Y 2 Y 3 Y 4 Y 5 X 1 X 2 X 3 X Y 4 Y 2 Y 4 Y 1 Y 3 Y 1 Y 4 Y 5 Y 3 Y 2 Y 4 Graph Theory

Large induced subgraphs with all degrees odd

Large induced subgraphs with all degrees odd Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order

More information

Introduction to Graph Theory

Introduction to Graph Theory Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate

More information

Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

More information

Non-Separable Detachments of Graphs

Non-Separable Detachments of Graphs Egerváry Research Group on Combinatorial Optimization Technical reports TR-2001-12. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

More information

Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average

More information

3. Eulerian and Hamiltonian Graphs

3. Eulerian and Hamiltonian Graphs 3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from

More information

Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

More information

Minimum degree condition forcing complete graph immersion

Minimum degree condition forcing complete graph immersion Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139

More information

A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

More information

8. Matchings and Factors

8. Matchings and Factors 8. Matchings and Factors Consider the formation of an executive council by the parliament committee. Each committee needs to designate one of its members as an official representative to sit on the council,

More information

All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

More information

Connectivity and cuts

Connectivity and cuts Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every

More information

each college c i C has a capacity q i - the maximum number of students it will admit

each college c i C has a capacity q i - the maximum number of students it will admit n colleges in a set C, m applicants in a set A, where m is much larger than n. each college c i C has a capacity q i - the maximum number of students it will admit each college c i has a strict order i

More information

Odd induced subgraphs in graphs of maximum degree three

Odd induced subgraphs in graphs of maximum degree three Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing

More information

An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

More information

Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10

Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs

More information

The chromatic spectrum of mixed hypergraphs

The chromatic spectrum of mixed hypergraphs The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex

More information

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH 31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

More information

Discrete Mathematics Problems

Discrete Mathematics Problems Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................

More information

GRAPH THEORY LECTURE 4: TREES

GRAPH THEORY LECTURE 4: TREES GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection

More information

On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

More information

Midterm Practice Problems

Midterm Practice Problems 6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator

More information

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove

More information

Graph Theory Problems and Solutions

Graph Theory Problems and Solutions raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is

More information

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

More information

Generalized Induced Factor Problems

Generalized Induced Factor Problems Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.

More information

A 2-factor in which each cycle has long length in claw-free graphs

A 2-factor in which each cycle has long length in claw-free graphs A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

More information

On parsimonious edge-colouring of graphs with maximum degree three

On parsimonious edge-colouring of graphs with maximum degree three On parsimonious edge-colouring of graphs with maximum degree three Jean-Luc Fouquet, Jean-Marie Vanherpe To cite this version: Jean-Luc Fouquet, Jean-Marie Vanherpe. On parsimonious edge-colouring of graphs

More information

The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

More information

Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

More information

Planar Graphs. Complement to Chapter 2, The Villas of the Bellevue

Planar Graphs. Complement to Chapter 2, The Villas of the Bellevue Planar Graphs Complement to Chapter 2, The Villas of the Bellevue In the chapter The Villas of the Bellevue, Manori gives Courtel the following definition. Definition A graph is planar if it can be drawn

More information

An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

More information

Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

More information

On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

More information

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

More information

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs

More information

Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

Computer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there - 1 - THREE TREE-PATHS Avram Zehavi Alon Itai Computer Science Department Technion - IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there

More information

Approximation Algorithms

Approximation Algorithms Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NP-Completeness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms

More information

Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1

Outline 2.1 Graph Isomorphism 2.2 Automorphisms and Symmetry 2.3 Subgraphs, part 1 GRAPH THEORY LECTURE STRUCTURE AND REPRESENTATION PART A Abstract. Chapter focuses on the question of when two graphs are to be regarded as the same, on symmetries, and on subgraphs.. discusses the concept

More information

On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

More information

LEARNING OBJECTIVES FOR THIS CHAPTER

LEARNING OBJECTIVES FOR THIS CHAPTER CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

More information

Small Maximal Independent Sets and Faster Exact Graph Coloring

Small Maximal Independent Sets and Faster Exact Graph Coloring Small Maximal Independent Sets and Faster Exact Graph Coloring David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science The Exact Graph Coloring Problem: Given an undirected

More information

Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor Online algorithms for combinatorial problems Ph.D. Thesis by Judit Nagy-György Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai

More information

Product irregularity strength of certain graphs

Product irregularity strength of certain graphs Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

More information

CMPSCI611: Approximating MAX-CUT Lecture 20

CMPSCI611: Approximating MAX-CUT Lecture 20 CMPSCI611: Approximating MAX-CUT Lecture 20 For the next two lectures we ll be seeing examples of approximation algorithms for interesting NP-hard problems. Today we consider MAX-CUT, which we proved to

More information

A threshold for the Maker-Breaker clique game

A threshold for the Maker-Breaker clique game A threshold for the Maker-Breaker clique game Tobias Müller Miloš Stojaković October 7, 01 Abstract We study the Maker-Breaker k-clique game played on the edge set of the random graph G(n, p. In this game,

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

High degree graphs contain large-star factors

High degree graphs contain large-star factors High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

More information

Lecture 17 : Equivalence and Order Relations DRAFT

Lecture 17 : Equivalence and Order Relations DRAFT CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Mathematical Induction

Mathematical Induction Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

More information

INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

More information

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

More information

Definition 11.1. Given a graph G on n vertices, we define the following quantities:

Definition 11.1. Given a graph G on n vertices, we define the following quantities: Lecture 11 The Lovász ϑ Function 11.1 Perfect graphs We begin with some background on perfect graphs. graphs. First, we define some quantities on Definition 11.1. Given a graph G on n vertices, we define

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

M-Degrees of Quadrangle-Free Planar Graphs

M-Degrees of Quadrangle-Free Planar Graphs M-Degrees of Quadrangle-Free Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA E-mail: brdnoleg@math.nsc.ru

More information

1 The Line vs Point Test

1 The Line vs Point Test 6.875 PCP and Hardness of Approximation MIT, Fall 2010 Lecture 5: Low Degree Testing Lecturer: Dana Moshkovitz Scribe: Gregory Minton and Dana Moshkovitz Having seen a probabilistic verifier for linearity

More information

Class One: Degree Sequences

Class One: Degree Sequences Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

More information

The Independence Number in Graphs of Maximum Degree Three

The Independence Number in Graphs of Maximum Degree Three The Independence Number in Graphs of Maximum Degree Three Jochen Harant 1 Michael A. Henning 2 Dieter Rautenbach 1 and Ingo Schiermeyer 3 1 Institut für Mathematik, TU Ilmenau, Postfach 100565, D-98684

More information

Global secure sets of trees and grid-like graphs. Yiu Yu Ho

Global secure sets of trees and grid-like graphs. Yiu Yu Ho Global secure sets of trees and grid-like graphs by Yiu Yu Ho B.S. University of Central Florida, 2006 M.S. University of Central Florida, 2010 A dissertation submitted in partial fulfillment of the requirements

More information

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

More information

Cycle transversals in bounded degree graphs

Cycle transversals in bounded degree graphs Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.

More information

SHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE

SHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE SHOT YLE OVES OF PHS WITH MINIMUM DEEE THEE TOMÁŠ KISE, DNIEL KÁL, END LIDIKÝ, PVEL NEJEDLÝ OET ŠÁML, ND bstract. The Shortest ycle over onjecture of lon and Tarsi asserts that the edges of every bridgeless

More information

Pigeonhole Principle Solutions

Pigeonhole Principle Solutions Pigeonhole Principle Solutions 1. Show that if we take n + 1 numbers from the set {1, 2,..., 2n}, then some pair of numbers will have no factors in common. Solution: Note that consecutive numbers (such

More information

Graph theoretic techniques in the analysis of uniquely localizable sensor networks

Graph theoretic techniques in the analysis of uniquely localizable sensor networks Graph theoretic techniques in the analysis of uniquely localizable sensor networks Bill Jackson 1 and Tibor Jordán 2 ABSTRACT In the network localization problem the goal is to determine the location of

More information

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.

! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm. Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of three

More information

Tree-representation of set families and applications to combinatorial decompositions

Tree-representation of set families and applications to combinatorial decompositions Tree-representation of set families and applications to combinatorial decompositions Binh-Minh Bui-Xuan a, Michel Habib b Michaël Rao c a Department of Informatics, University of Bergen, Norway. buixuan@ii.uib.no

More information

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

More information

5.1 Bipartite Matching

5.1 Bipartite Matching CS787: Advanced Algorithms Lecture 5: Applications of Network Flow In the last lecture, we looked at the problem of finding the maximum flow in a graph, and how it can be efficiently solved using the Ford-Fulkerson

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

Guessing Game: NP-Complete?

Guessing Game: NP-Complete? Guessing Game: NP-Complete? 1. LONGEST-PATH: Given a graph G = (V, E), does there exists a simple path of length at least k edges? YES 2. SHORTEST-PATH: Given a graph G = (V, E), does there exists a simple

More information

Mathematical Induction. Mary Barnes Sue Gordon

Mathematical Induction. Mary Barnes Sue Gordon Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by

More information

Determination of the normalization level of database schemas through equivalence classes of attributes

Determination of the normalization level of database schemas through equivalence classes of attributes Computer Science Journal of Moldova, vol.17, no.2(50), 2009 Determination of the normalization level of database schemas through equivalence classes of attributes Cotelea Vitalie Abstract In this paper,

More information

Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

More information

On three zero-sum Ramsey-type problems

On three zero-sum Ramsey-type problems On three zero-sum Ramsey-type problems Noga Alon Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel and Yair Caro Department of Mathematics

More information

Math 179: Graph Theory

Math 179: Graph Theory Math 179: Graph Theory Evan Chen May 17, 2015 Notes for the course M179: Introduction to Graph Theory, instructed by Wasin So. 1 1 January 23, 2013 1.1 Logistics Website: www.math.sjsu.edu/~so contains

More information

Total colorings of planar graphs with small maximum degree

Total colorings of planar graphs with small maximum degree Total colorings of planar graphs with small maximum degree Bing Wang 1,, Jian-Liang Wu, Si-Feng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong

More information

On the maximum average degree and the incidence chromatic number of a graph

On the maximum average degree and the incidence chromatic number of a graph Discrete Mathematics and Theoretical Computer Science DMTCS ol. 7, 2005, 203 216 On the maximum aerage degree and the incidence chromatic number of a graph Mohammad Hosseini Dolama 1 and Eric Sopena 2

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

The degree, size and chromatic index of a uniform hypergraph

The degree, size and chromatic index of a uniform hypergraph The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the

More information

arxiv:1409.4299v1 [cs.cg] 15 Sep 2014

arxiv:1409.4299v1 [cs.cg] 15 Sep 2014 Planar Embeddings with Small and Uniform Faces Giordano Da Lozzo, Vít Jelínek, Jan Kratochvíl 3, and Ignaz Rutter 3,4 arxiv:409.499v [cs.cg] 5 Sep 04 Department of Engineering, Roma Tre University, Italy

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

On the Unique Games Conjecture

On the Unique Games Conjecture On the Unique Games Conjecture Antonios Angelakis National Technical University of Athens June 16, 2015 Antonios Angelakis (NTUA) Theory of Computation June 16, 2015 1 / 20 Overview 1 Introduction 2 Preliminary

More information

Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3

Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3 Combinatorial 5/6-approximation of Max Cut in graphs of maximum degree 3 Cristina Bazgan a and Zsolt Tuza b,c,d a LAMSADE, Université Paris-Dauphine, Place du Marechal de Lattre de Tassigny, F-75775 Paris

More information

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 CHAPTER 4. INDUCTION, GRAPHS AND TREES 136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

More information

Lecture 1: Course overview, circuits, and formulas

Lecture 1: Course overview, circuits, and formulas Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik

More information

CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010 CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected

More information

Arrangements And Duality

Arrangements And Duality Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,

More information

Sample Induction Proofs

Sample Induction Proofs Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

More information

Analysis of Algorithms, I

Analysis of Algorithms, I Analysis of Algorithms, I CSOR W4231.002 Eleni Drinea Computer Science Department Columbia University Thursday, February 26, 2015 Outline 1 Recap 2 Representing graphs 3 Breadth-first search (BFS) 4 Applications

More information

ONLINE VERTEX COLORINGS OF RANDOM GRAPHS WITHOUT MONOCHROMATIC SUBGRAPHS

ONLINE VERTEX COLORINGS OF RANDOM GRAPHS WITHOUT MONOCHROMATIC SUBGRAPHS ONLINE VERTEX COLORINGS OF RANDOM GRAPHS WITHOUT MONOCHROMATIC SUBGRAPHS MARTIN MARCINISZYN AND RETO SPÖHEL Abstract. Consider the following generalized notion of graph colorings: a vertex coloring of

More information

Scheduling Shop Scheduling. Tim Nieberg

Scheduling Shop Scheduling. Tim Nieberg Scheduling Shop Scheduling Tim Nieberg Shop models: General Introduction Remark: Consider non preemptive problems with regular objectives Notation Shop Problems: m machines, n jobs 1,..., n operations

More information

Near Optimal Solutions

Near Optimal Solutions Near Optimal Solutions Many important optimization problems are lacking efficient solutions. NP-Complete problems unlikely to have polynomial time solutions. Good heuristics important for such problems.

More information

Triangle deletion. Ernie Croot. February 3, 2010

Triangle deletion. Ernie Croot. February 3, 2010 Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,

More information

Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

More information

Smooth functions statistics

Smooth functions statistics Smooth functions statistics V. I. rnold To describe the topological structure of a real smooth function one associates to it the graph, formed by the topological variety, whose points are the connected

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Finding and counting given length cycles

Finding and counting given length cycles Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected

More information