Presentation is loading. Please wait.

Presentation is loading. Please wait.

Graph Coloring CS 594 Stephen Grady.

Similar presentations


Presentation on theme: "Graph Coloring CS 594 Stephen Grady."— Presentation transcript:

1 Graph Coloring CS 594 Stephen Grady

2 Overview -Terminology -History 4 Color Theorem Kempe’s flawed proof
-Simple Bounds on chromatic number -Coloring on Digraphs -Applications

3 Terminology graph. itself.

4 Terminology needed to properly color graph.
chromatically equivalent if they have the same χ(G)

5 Chromatic Polynomial using k colors.
Example K3+1 can be colored 12 different ways with 3 colors

6 Types of Coloring -Vertex-Vertices are labeled -Edge-Edges are labeled
-Total-Both vertices and edges are labeled -Many more...

7 Vertex coloring -Coloring most concerned with coloring
Edge: color vertices of line graph Planer: color vertices of dual

8 History -First studied as a map coloring problem.
to color a map. Or stated another way, what is the minimum number of colors needed to color a planar graph?

9 4 Color Theorem colors. maps (planar graphs) arose.

10 4 Color Theorem -The question was passed along in 1852
Guthrie's brother->Augustus de Morgan->William Hamilton Mathematical Society in 1879 claiming to contain a proof that 4 colors suffice.

11 Sir Alfred Kempe -1849-1922 -Trinity College, Cambridge -22nd wrangler
-1877: Flawed “straight line linkage” of proof in 2002 -1879: Flawed 4 color theorem proof though ideas basis of proof in 1976

12 Percy John Heawood -1861-1955 -Exeter College, Oxford 4 color theorem
4 color theorem proof based on Kempe's work

13 Kemp's Flawed 4 Color Theorem
-Kempe's proof rested on the properties of what are known as Kempe chains. -A Kempe chain is a bicolored path between any two non-adjacent vertices.

14 Kempe's Argument that to whomever covers planarity)
|V| that requires 5 colors to color properly. smaller than G, G' is 4 colorable. -Color all vertices in G' using 4 colors.

15 Kempe's Argument -Now add back v to G' recreating G.
how to color v with one of the four colors used. deg(v)=1,2 or 3 deg(v)=4 deg(v)=5

16 Case 1 -v has degree 1,2 or 3. possible colors in this case coloring v is trivial.

17 Case 2 -v has degree 4 and neighbors a, b, c and d.
coloring v is trivial. and c. -This creates two possibilities

18

19 Case 2 Subcase i and c to a. remaining color.

20

21 Case 2 Subcase ii c. the colors of b and d. chain from b to d.

22

23 Case 3 -v has degree 5 with neighbors a,b,c,d and e. planar
-Assume all 4 colors are used by neighbors of v. -Just like in case 2 there exist 2 subcases.

24 Case 3 Subcase i -Consider three neighbors b, e and d.
induced by the colors of b and e. -If no Kempe chain, do a color swap. -If Kempe chain, repeat for b and d.

25 Case 3 Subcase ii -Both b to d and b to e have a kempe chain.
a color swap can be performed on a. -Repeat for c and e.

26

27 So, why is it flawed?

28 Haewood's Counter What if the Kempe chain's b to d and b to e cross?

29 4 Color Theorem Wolfgang Haken at University of Illinois.
-First proof using a computer as an aid.

30 4 Color Theorem -Used the idea of an unavoidable set of reducible configurations -Had to check 1,936 graphs to prove minimum counterexample to 4 color theorem could not exist.

31 Complexity k colors? NP-Complete -Optimization: What is χ(G)? NP-Hard

32 Bounds on χ(G) -Brooke's Theorem -Clique number

33 Brooke's Theorem χ(G) ≤ Δ(G) Except for Kn and C2n+1 χ(G) ≤ Δ(G)+1

34 Clique Number -χ(G) >= ω(G)
-A clique of size Kn must be colored with n colors.

35 Mycielski's Theorem high χ(G). -Generalized with Mycielski graphs.

36 Coloring on Digraphs -Gallai-Roy Theorem shortest orientation.

37 Applications must satisfy some constraint Scheduling
Register allocation Determining if graph is bipartite Sudoku

38 Scheduling Used to find minimum number of time slots needed with no time conflicts. Each time slot represented by a color. Each edge represents time conflict

39 Register Allocation In an attempt to optimize code, compilers will allocate multiple variables to the same register. However, multiple variables allocated to the same register cannot be called at the same time. Naturally this becomes a coloring problem.

40 Register Allocation

41 Determine if Graph is Bipartite
Bipartite Graphs always have χ(G)=2 Can check if graph is 2 colorable in linear time

42 Sudoku

43 Sudoku Graph Transformation

44 Coloring a Sudoku Graph

45 Sudoku Why study Sudoku
Methods for solving Sudoku can be generalized to solve problems like protein folding.

46 Open Problems Erdos-Faber-Lovasz Conjecture Reed’s upper bound

47 Erdos-Faber-Lovasz Conjecture
Can n kn graphs each sharing only one vertex be colored with n colors.

48 Reed’s Upper Bound χ(G) ≤ (1+Δ(G)+ω(G))/2

49 Homework -Prove that for any planar graph 5 colors suffice (Assume Δ(G) ≤5) -Which two of these graphs are chromatically equivalent? k4,4, P7, k5, Peterson graph -How many ways can a k6 be colored using 7 colors?

50 References https://en.wikipedia.org/wiki/Graph_coloring

51 References 11. https://en.wikipedia.org/wiki/Bipartite_graph
12. 13. 14. Ercsey-Ravasz, M. and Z. Toroczkai (2012). "The Chaos Within Sudoku." Scientific Reports 2: 725.


Download ppt "Graph Coloring CS 594 Stephen Grady."

Similar presentations


Ads by Google