Coloring Vertex
Coloring Vertex
37
(Vertex) Colorings
Definition: A coloring of a graph G is a labeling of the vertices of G
with colors. [Technically, it is a function f : V (G ) {1, 2, . . . , c}.]
Definition: A proper coloring of G is a coloring of G such that
no two adjacent vertices are labeled with the same color.
Example. W6 :
38
(Show it!)
39
Critical graphs
How to prove (G ) = k?
One way: Find a (small) subgraph H of G that requires k colors.
Definition: A graph H is called critical if for every proper
subgraph J ! H, then (J) < (H).
Theorem 2.1.2: Every graph G contains a critical subgraph H such
that (H) = (G ).
(Stupid) Proof. If G is critical, stop. Define H = G .
If not, then there exists a proper subgraph G1 of G with
.
If G1 is critical, stop. Define H = G1 .
.
If not, then there exists a proper subgraph G2 of G1 with
Since G is finite, there will be some proper subgraph Gl of Gl1
such that Gl is critical and (Gl ) = (Gl1 ) = = (G ).
40
Critical graphs
What do we know about critical graphs?
Thm 2.1.1: Every critical graph is connected.
Thm 2.1.3: If G is critical and (G ) = 4, then deg(v ) 3 for all v .
Proof. Suppose not. Then there is some v V (G ) with deg(v ) 2.
Remove v from G to create H.
41
Bipartite graphs
Question: What is (Cn ) when n is odd?
Answer:
Definition: A graph is called bipartite if (G ) 2.
Example. Km,n , "n , Trees
Thm 2.1.6: G is bipartite every cycle in G has even length.
() Let G be bipartite. Assume that there is some cycle C of
odd length contained in G . . .
42
43
44
Edge Coloring
Parallel to the idea of vertex coloring is the idea of edge coloring.
Definition: An edge coloring of a graph G is a labeling of the edges of
G with colors. [Technically, it is a function f : E (G ) {1, 2, . . . , l }.]
Definition: A proper edge coloring of G is an edge coloring of G
such that no two adjacent edges are colored the same.
Example. Cube graph ("3 ):
45
Fact:
46
Snarks
Definition: Another name for 3-regular is cubic.
Definition: A snark is a cubic graph with edge chromatic number 4.
Example. The Petersen graph P is a snark. It is 3-regular. #
Let us prove that it can not be colored with three colors.
Assume you can color it with three colors. WLOG, assume ab, ac, ad.
Either Case 1: be and bi
or Case 2: be and bi .
Either Case 1a: ig and ij or Case 1b: ig and ij.
g
i
g
j
g
j
h
j
46
Snarks
Definition: Another name for 3-regular is cubic.
Definition: A snark is a cubic graph with edge chromatic number 4.
Example. The Petersen graph P is a snark. It is 3-regular. #
Let us prove that it can not be colored with three colors.
Assume you can color it with three colors. WLOG, assume ab, ac, ad.
Either Case 1: be and bi
or Case 2: be and bi .
Cases 2a, 2b
Either Case 1a: ig and ij or Case 1b: ig and ij.
g
i
g
j
g
j
g
j
h
j
47
or
48
4
0
49
" (K2n1 ) = 2n 1.
Theorem 2.2.3 proves there is such a tournament for all even numbers.