Graph Coloring

Section 6.2 Graph Coloring

Worksheet 6.2.1 Worksheet

Guiding Questions.

Today, we’ll seek to answer the questions:

What is the chromatic number of a graph?

🔗
How many colors are required to color a planar graph?

🔗

🔗

Subsection 6.2.1.1 Vertex Coloring

In this section, we consider the problem of coloring a graph. We begin with an exploration.

🔗

Problem 6.2.1.

In your work as a cartographer, you’ve made many maps. In order to make your maps comprehensible, you prefer to give adjacent states different colors. How many colors are required to color the map in Figure 6.2.2 so that adjacent states are colored differently?

🔗

Figure 6.2.2. A hypothetical map (source).
🔗

🔗

One of the interesting problems in graph theory is the problem of vertex coloring. In a proper vertex coloring, each vertex is assigned a color so that adjacent vertices are given different colors. We make this precise using the notion of function in Definition 6.2.3.

🔗

Definition 6.2.3.

Let \(G = (V,E)\) be a graph, \(V = \set{v_1, v_2, \ldots, v_n}\text{,}\) and \(C = \set{c_1, c_2, \ldots, c_k}\) a set of labels called colors. A proper vertex coloring is a function \(c : V\to C\) such that if \(\set{v_i, v_j}\in E\text{,}\) \(c(v_i)\ne c(v_j)\text{.}\)

🔗

The chromatic number of \(G\text{,}\) denoted \(\chi(G)\text{,}\) is the cardinality of the smallest set of colors \(C\) for which there is a proper coloring for the vertices of \(G\text{.}\)

🔗

LaTeX Code 6.2.4.

To typset \(\chi(G)\) in \(\LaTeX\text{,}\) use the command \chi(G) in math mode.

🔗

Question 6.2.5.

Recast your work in Problem 6.2.1 using the language of Definition 6.2.3.

🔗

Activity 6.2.6.

Calculate the chromatic numbers of the graphs below. Be ready to justify your answers.

🔗

🔗

Let’s explore some properties of vertex coloring.

🔗

Theorem 6.2.10.

Let \(G\) be a graph with \(n\) vertices. Then \(\chi(G) \le n\text{.}\)

🔗

For Theorem 6.2.11, recall the definition of the clique number of a graph.

🔗

Theorem 6.2.11.

Let \(G\) be a graph. Then \(\chi(G) \ge \omega(G)\text{.}\)

🔗

Problem 6.2.12.

Provide examples that demonstrate that the bounds on \(\chi(G)\) from Theorem 6.2.10 and Theorem 6.2.11 cannot be improved in general.

🔗

Problem 6.2.13.

Provide examples of graphs \(G_1\) and \(G_2\) that demonstrate that we may have \(\chi(G_1) \lt n\) and that \(\chi(G_2) \gt \omega(G_2)\text{.}\)

🔗

Theorem 6.2.14.

Let \(G\) be a graph with largest degree of a vertex \(\Delta(G)\text{.}\) Then \(\chi(G) \le \Delta(G) + 1\text{.}\)

🔗

Hint.

Induction on the number of vertices.

🔗

Worksheet 6.2.2 Worksheet

Subsection 6.2.2.1 Edge Coloring

In Subsection 6.2.1.1, we explored the problem of minimizing the number of colors needed to properly color the vertices of a graph \(G\text{.}\) In the sequel, we consider the problem of coloring edges.

🔗

Definition 6.2.15.

Let \(G = (V,E)\) be a graph, \(E = \set{e_1, e_2,\ldots, e_n}\text{,}\) and \(C = \set{c_1, c_2, \ldots, c_k}\) a set of labels called colors. A proper edge coloring of \(G\) is a function \(c: E \to C\) such that \(c(e_i) \ne c(e_j)\) if \(e_i \cap e_j \ne \emptyset\text{.}\)

🔗

Further, suppose \(C\) admits a proper edge coloring of \(G\text{.}\) We label the cardinality of a smallest such \(C\) the chromatic index of \(G\text{,}\) and use the symbol \(\chi'(G)\text{.}\)

🔗

Activity 6.2.16.

Restate Definition 6.2.15 in plain language. Then calculate \(\chi'\) for the graphs in Activity 6.2.6.

🔗

Problem 6.2.17.

Calculate \(\chi'(C_{2n+1})\text{,}\) where \(n\ge 1\text{.}\) If \(G\) is a graph containing an odd cycle, what can we say about \(\chi'(G)\text{?}\)

🔗

Problem 6.2.18.

Calculate \(\chi'(K_n)\) for \(3\le n\le 7\text{.}\) Conjecture a value for \(\chi'(K_n)\) for any \(n\ge 3\text{.}\) Can you prove your conjecture?

🔗

Problem 6.2.19.

Another important class of graphs is that of the complete bipartite graphs. First, calculate \(\chi'(K_{2,2}), \chi'(K_{2,3}), \chi'(K_{3,3}), \chi'(K_{3,4})\text{,}\) and \(\chi'(K_{3,5})\text{.}\) Then, conjecture a value for \(\chi'(K_{m,n})\text{.}\) Can you prove your conjecture?

🔗

Prev Top Next