The Central Idea
Planarity and coloring are two different structural questions.
Planarity asks:
\[ \boxed{\text{Can the graph be drawn in the plane with no edge crossings?}} \]Graph coloring asks:
\[ \boxed{\text{Can colors be assigned so that adjacent objects differ?}} \]Both problems depend on graph structure rather than on one particular drawing.
What Is a Planar Graph?
A graph is planar if it can be drawn in the plane so that edges meet only at common endpoints.
Edge crossings that occur merely because of a poor drawing do not make the graph nonplanar.
Planar Graph versus Planar Drawing
The graph itself is called planar when at least one crossing-free drawing exists.
A particular crossing-free representation is called a planar embedding or plane graph.
Thus, planarity is a property of the abstract graph, while a planar embedding is one concrete realization of that property.
A Crossing Does Not Automatically Mean Nonplanar
A graph may be drawn with crossing edges even though another drawing avoids all crossings.
Therefore, seeing a crossing in one picture proves only that the drawing has a crossing.
It does not prove that the graph is nonplanar.
Example: A Redrawable Crossing
Consider a cycle on four vertices with both horizontal and diagonal-looking placements. A drawing may visually cross edges depending on where the vertices are placed.
Since a simple four-cycle can be drawn as a square,
\[ a-b-c-d-a, \]it is planar.
Faces of a Plane Graph
A planar embedding divides the plane into regions called faces.
The unbounded region outside the drawing also counts as a face.
If \(F\) denotes the number of faces, then every planar embedding has one outer face plus any bounded interior faces.
A Simple Plane Graph
Euler's Formula for Planar Graphs
For a connected plane graph,
\[ \boxed{V-E+F=2}, \]where
- \(V\) is the number of vertices;
- \(E\) is the number of edges;
- \(F\) is the number of faces, including the outer face.
Example: Using Euler's Formula
The plane graph above has
\[ V=4 \]and
\[ E=5. \]Therefore,
\[ 4-5+F=2. \]Solving gives
\[ \boxed{F=3}. \]There are two bounded triangular faces and one outer face.
Why Euler's Formula Matters
Euler's formula connects three structural counts that may appear unrelated: vertices, edges, and faces.
It can be used to verify a planar embedding and to derive restrictions that every simple planar graph must satisfy.
An Edge Bound for Simple Planar Graphs
If a simple connected planar graph has
\[ V\ge3, \]then
\[ \boxed{E\le3V-6}. \]This gives a useful necessary condition for planarity.
Why the Bound Appears
In a simple planar graph with at least three vertices, every face boundary uses at least three edge appearances.
Counting edge appearances around faces gives
\[ 3F\le2E. \]Combining this with
\[ V-E+F=2 \]yields
\[ E\le3V-6. \]The Edge Bound Is Necessary, Not Sufficient
If a simple graph violates
\[ E\le3V-6, \]then it is definitely nonplanar.
But satisfying the inequality does not guarantee planarity.
The Complete Graph \(K_5\)
The complete graph \(K_5\) has
\[ V=5 \]and
\[ E=10. \]A simple planar graph with five vertices could have at most
\[ 3(5)-6=9 \]edges.
Since
\[ 10>9, \]\(K_5\) is nonplanar.
Bipartite Planar Edge Bound
A simple bipartite planar graph has no odd cycles, so in particular it has no triangular face.
For \(V\ge3\),
\[ \boxed{E\le2V-4}. \]This stronger bound is useful for testing bipartite graphs.
The Complete Bipartite Graph \(K_{3,3}\)
The graph \(K_{3,3}\) has
\[ V=6 \]and
\[ E=9. \]If it were planar and bipartite, we would need
\[ E\le2V-4=8. \]Since
\[ 9>8, \]\(K_{3,3}\) is nonplanar.
Two Fundamental Nonplanar Graphs
The graphs
\[ K_5 \]and
\[ K_{3,3} \]play a central role in planarity theory.
More advanced results show that every nonplanar graph contains a structural obstruction related to one of these two graphs.
Subdividing an Edge
To subdivide an edge means to insert a new vertex along that edge.
For example,
\[ u-v \]can be replaced by
\[ u-x-v. \]Subdivision changes the vertex and edge counts but preserves the underlying route structure relevant to many planarity questions.
Kuratowski's Theorem
A finite graph is planar if and only if it contains no subgraph that is a subdivision of
\[ K_5 \]or
\[ K_{3,3}. \]This gives a complete structural characterization of planarity, although recognizing such subdivisions can require substantial reasoning.
Planarity in Network Design
Planarity matters when physical crossings are expensive, impossible, or undesirable.
Examples include:
- printed circuit layouts;
- transportation planning;
- utility routing;
- geographic subdivision;
- visual network diagrams;
- certain communication and wiring problems.
What Is Graph Coloring?
A vertex coloring assigns a color to every vertex so that adjacent vertices receive different colors.
A coloring satisfying this rule is called a proper vertex coloring.
Colors Are Labels
The word color does not require literal visual colors.
We may use labels such as
\[ 1,2,3 \]or
\[ A,B,C. \]What matters is whether adjacent vertices receive different labels.
A First Coloring Example
Consider a path
\[ a-b-c-d. \]We may color
\[ a,c \]with one color and
\[ b,d \]with another.
Thus the path can be properly colored with two colors.
Chromatic Number
The chromatic number of a graph \(G\), written
\[ \chi(G), \]is the minimum number of colors needed for a proper vertex coloring.
\[ \boxed{\chi(G)=\text{minimum number of colors needed}}. \]Example: Complete Graphs
In the complete graph \(K_n\), every pair of distinct vertices is adjacent.
Therefore every vertex must receive its own color:
\[ \boxed{\chi(K_n)=n}. \]Example: Trees
Every nontrivial tree can be colored with two colors.
Start at any vertex, color it with color 1, color all its neighbors with color 2, and alternate by level.
Therefore, for a tree with at least one edge,
\[ \boxed{\chi(T)=2}. \]One-Vertex Graph
A graph with one vertex and no edges needs only one color.
\[ \boxed{\chi(G)=1}. \]Bipartite Graphs and Two-Colorability
A graph is bipartite when its vertices can be divided into two sets so that every edge joins one set to the other.
A graph is bipartite if and only if it can be properly colored with at most two colors.
\[ \boxed{\text{bipartite}\iff\text{2-colorable}}. \]Odd Cycles Prevent Two-Coloring
A graph is bipartite if and only if it contains no odd cycle.
For example, the triangle
\[ C_3 \]cannot be colored with two colors because alternating colors around the cycle forces the final vertex to conflict with the first.
Chromatic Number of Cycles
For an even cycle,
\[ \boxed{\chi(C_n)=2\quad\text{when }n\text{ is even}}. \]For an odd cycle,
\[ \boxed{\chi(C_n)=3\quad\text{when }n\text{ is odd}}. \]A Greedy Coloring Strategy
One simple coloring method is:
- Choose an ordering of the vertices.
- Process them one at a time.
- Assign each vertex the first available color not used by its already-colored neighbors.
This produces a proper coloring, though not always one using the minimum possible number of colors.
Vertex Order Can Matter
A greedy coloring may use different numbers of colors depending on the order in which vertices are processed.
Therefore a greedy coloring gives an upper bound on \(\chi(G)\), not automatically the exact chromatic number.
Degree and Coloring
If a graph has maximum degree
\[ \Delta, \]then a simple greedy argument gives
\[ \chi(G)\le\Delta+1. \]This bound is easy to obtain, though often not tight.
Cliques Give Lower Bounds
A clique is a set of vertices that are pairwise adjacent.
If a graph contains a clique of size \(k\), then at least \(k\) colors are necessary.
\[ \boxed{\chi(G)\ge k}. \]Thus cliques provide useful lower bounds on the chromatic number.
Coloring Planar Graphs
Every planar graph can be properly colored with at most four colors.
\[ \boxed{\chi(G)\le4\text{ for every planar graph }G}. \]This is the Four Color Theorem.
The Four Color Theorem
The Four Color Theorem states that four colors are sufficient to color the vertices of every planar graph so that adjacent vertices have different colors.
Equivalently, four colors suffice for coloring planar maps when regions sharing a boundary segment must receive different colors.
Map Coloring as Graph Coloring
To convert a map-coloring problem into a graph:
- represent each region by a vertex;
- join two vertices when the corresponding regions share a boundary segment.
A proper vertex coloring of the resulting graph becomes a valid coloring of the map.
Touching at a Point
In standard map coloring, two regions that meet only at a single point are not usually treated as adjacent.
Adjacency normally requires sharing a nonzero boundary segment.
Edge Coloring
Graph coloring can also apply to edges.
In a proper edge coloring, edges sharing a common endpoint must receive different colors.
This lesson focuses primarily on vertex coloring, but the broader coloring framework extends naturally to edges.
Coloring as Scheduling
Suppose vertices represent activities and an edge joins two activities that cannot occur at the same time.
A color can represent a time slot.
Then a proper coloring assigns conflicting activities to different time slots.
Coloring as Resource Assignment
Graph coloring can model many resource-conflict problems.
Examples include:
- exam scheduling;
- frequency assignment;
- register allocation;
- task scheduling;
- map coloring;
- conflict-free grouping.
Planarity and Coloring Are Related but Distinct
Planarity concerns whether a crossing-free embedding exists.
Coloring concerns compatible assignments to adjacent objects.
The Four Color Theorem links the topics because planar structure limits how complicated adjacency can become.
Common Error: Treating One Crossing as Proof of Nonplanarity
A crossing in one drawing may disappear after redrawing the graph.
To prove nonplanarity, one needs a structural argument, not merely an inconvenient picture.
Common Error: Forgetting the Outer Face
When applying Euler's formula,
\[ V-E+F=2, \]the unbounded exterior region counts as one face.
Common Error: Using the Planar Edge Bound as a Complete Test
The inequality
\[ E\le3V-6 \]is necessary for simple planar graphs with \(V\ge3\), but it is not sufficient.
Passing the inequality does not prove planarity.
Common Error: Allowing Adjacent Vertices to Share a Color
A proper vertex coloring requires
\[ \boxed{\text{adjacent vertices receive different colors}}. \]Nonadjacent vertices may share a color.
Common Error: Assuming a Greedy Coloring Is Optimal
A greedy procedure always produces a proper coloring, but it may use more colors than necessary.
The number of colors used by one greedy run is therefore not automatically the chromatic number.
Common Error: Confusing Clique Size with Chromatic Number
A clique of size \(k\) guarantees
\[ \chi(G)\ge k. \]But the chromatic number may be larger than the size of a particular clique.
Clique size is a lower bound, not always an exact answer.
A Reliable Procedure for Planarity Problems
- Ask whether crossings can be removed by redrawing.
- Count vertices and edges.
- Apply \(E\le3V-6\) for simple planar candidates with \(V\ge3\).
- For simple bipartite graphs, apply \(E\le2V-4\).
- Look for structural obstructions related to \(K_5\) or \(K_{3,3}\).
- If a planar embedding is available, use Euler's formula as a consistency check.
A Reliable Procedure for Coloring Problems
- Identify which vertices are adjacent.
- Look for large cliques to obtain lower bounds.
- Check whether the graph is bipartite.
- Use a systematic coloring order.
- Verify that adjacent vertices differ.
- Compare the number of colors used with known lower bounds.
- Distinguish a valid coloring from a proof that the coloring is minimum.
Example: Full Planarity Check
Suppose a simple graph has
\[ V=6 \]and
\[ E=13. \]A simple planar graph with six vertices can have at most
\[ 3(6)-6=12 \]edges.
Since
\[ 13>12, \]the graph is nonplanar.
Example: Full Coloring Check
Suppose a graph contains a triangle.
The three vertices of the triangle are pairwise adjacent, so at least three colors are required:
\[ \chi(G)\ge3. \]If we then construct a proper coloring of the entire graph using three colors, we can conclude
\[ \boxed{\chi(G)=3}. \]Practice 1: Planarity Meaning
What must be true for a graph to be planar?
Practice 2: Euler's Formula
A connected plane graph has
\[ V=8,\qquad E=12. \]Find \(F\).
Practice 3: Planar Edge Bound
A simple graph has \(7\) vertices and \(16\) edges.
Does the bound \(E\le3V-6\) rule out planarity?
Practice 4: \(K_5\)
Why does the inequality \(E\le3V-6\) prove that \(K_5\) is nonplanar?
Practice 5: Proper Coloring
What restriction defines a proper vertex coloring?
Practice 6: Complete Graph
Find
\[ \chi(K_6). \]Practice 7: Even Cycle
Find
\[ \chi(C_8). \]Practice 8: Odd Cycle
Find
\[ \chi(C_5). \]Practice 9: Bipartite Graph
A connected graph with at least one edge is bipartite.
What is its chromatic number?
Practice 10: Identify the Error
A student says, “This drawing has two crossing edges, so the graph is nonplanar.”
Explain the error.
Practice Answers
Practice 1
A planar graph must have at least one drawing in the plane in which edges meet only at common endpoints.
\[ \boxed{\text{A crossing-free embedding must exist.}} \]Practice 2
Use
\[ V-E+F=2. \]Then
\[ 8-12+F=2, \]so
\[ \boxed{F=6}. \]Practice 3
For \(V=7\),
\[ 3V-6=21-6=15. \]Since
\[ 16>15, \]the graph cannot be planar.
\[ \boxed{\text{Yes, planarity is ruled out.}} \]Practice 4
For \(K_5\),
\[ V=5,\qquad E=10. \]But
\[ 3V-6=9. \]Since \(10>9\),
\[ \boxed{K_5\text{ is nonplanar}}. \]Practice 5
Adjacent vertices must receive different colors:
\[ \boxed{\text{adjacent vertices cannot share a color}}. \]Practice 6
Every pair of vertices in \(K_6\) is adjacent, so all six vertices require different colors:
\[ \boxed{\chi(K_6)=6}. \]Practice 7
An even cycle is bipartite:
\[ \boxed{\chi(C_8)=2}. \]Practice 8
An odd cycle cannot be two-colored but can be three-colored:
\[ \boxed{\chi(C_5)=3}. \]Practice 9
A connected bipartite graph with at least one edge requires exactly two colors:
\[ \boxed{\chi(G)=2}. \]Practice 10
A crossing in one particular drawing does not prove that every drawing must contain a crossing.
The graph may be redrawable without crossings.
\[ \boxed{\text{Nonplanarity is a structural property, not a drawing accident.}} \]What to Remember
- A planar graph can be drawn in the plane without edge crossings.
- A plane graph is one specific crossing-free embedding.
- For a connected plane graph, \(V-E+F=2\).
- For a simple planar graph with \(V\ge3\), \(E\le3V-6\).
- For a simple bipartite planar graph with \(V\ge3\), \(E\le2V-4\).
- \(K_5\) and \(K_{3,3}\) are fundamental nonplanar graphs.
- A proper vertex coloring assigns different colors to adjacent vertices.
- The chromatic number is the minimum number of colors required.
- Bipartite graphs are exactly the graphs that can be colored with at most two colors.
- Every planar graph can be colored with at most four colors.
Where We Go Next
Planarity constrains how a graph can be embedded, while coloring constrains how adjacent objects can be distinguished. The next problems return to weighted networks and ask how to move through them efficiently.
The next lesson, Shortest Paths, develops methods for finding minimum-cost routes between vertices in weighted graphs.