10.3 Planar Graphs, Euler's Polyhedral Formula & Kuratowski's Non-Planar Minors
💡 Core Intuition: The 3-Second Mental Model
🍳 The Everyday Analogy: Printed Circuit Boards & The Three Utilities Puzzle
Think of laying electrical wires on a flat surface without short-circuits:
- The Planar Standard (Zero Short-Circuits): When designing a single-layer Printed Circuit Board (PCB), copper conductive traces cannot cross each other. If two traces cross, they cause an electrical short-circuit. A graph is Planar if you can draw all its vertices and edges on a flat 2D plane with zero crossing edges!
- The Three Utilities Puzzle (): Three houses need connections to three public utilities (Water, Gas, Electricity). Can you connect all 3 houses to all 3 utilities without any two underground pipes crossing? In 1930, Kazimierz Kuratowski proved it is physically impossible: is a fundamental obstruction to planarity!
- Euler's Polyhedral Law (): Whenever you draw a non-crossing graph on a plane, it cuts the surface into distinct enclosed geographical regions (faces). The relationship between vertices (), edges (), and regions () is an unbreakable geometric law of our 3D physical universe!
💻 Bridging to Computer Science: VLSI Chip Routing, Map Projection & Dual Meshes
In computer systems:
- VLSI Layout & Chip Routing: Microchip designers minimize expensive silicon metal layers by ensuring local subcircuits are planar, routing signals on single layers without via hole layer-crossings.
- Computational Geometry & GIS: Geographic Information Systems (Google Maps) represent road networks and terrain meshes as planar straight-line graphs (PSLG) to accelerate polygon spatial queries.
- Mesh Generation & 3D Computer Graphics: Dual planar graphs () convert triangular surface meshes into Voronoi diagrams and Delaunay triangulations for realistic 3D lighting shaders.
🗺️ Planar Graphs, Embeddings & Face Degrees
- Planar Graph: A graph is called planar if it can be drawn in the Euclidean plane (or on the surface of a sphere) such that no two edges intersect or cross each other except at their common endpoints.
- Plane Graph: A specific non-crossing 2D drawing of a planar graph. (Planarity is an abstract property of the graph; a plane graph is its concrete physical embedding).
- Regions (Faces): A plane graph divides the 2D plane into contiguous regions (faces). Exactly one region is unbounded (the exterior region), while the remaining regions are bounded interior polygons.
Let be the set of regions in a plane graph .
- The degree of a face (denoted ) is the number of edges along its boundary perimeter.
- If an edge acts as a bridge sticking into a face, that edge is traversed twice in the boundary perimeter, contributing +2 to the face degree!
- Handshaking Lemma for Faces: (Every edge bounds either two distinct regions, or bounds the same region on both sides, contributing exactly 2 to the sum of face degrees).
🏛️ Euler's Polyhedral Formula (1752)
For any connected planar graph drawn with vertices, edges, and regions:
Proof by Induction on the Number of Edges :
- Base Case (A Tree): A connected acyclic graph on vertices has edges and exactly 1 region (the exterior face, ):
- Inductive Step: Suppose Euler's formula holds for all connected plane graphs with edges. Let have edges and at least one cycle (if has no cycles, it is a tree and base case applies).
- Pick an edge that belongs to a cycle.
- Edge separates two distinct regions. Deleting edge merges those two regions into one, reducing the region count by 1 () and edge count by 1 (), while leaving unchanged ().
- The resulting graph is still connected with edges. By induction hypothesis:
Therefore, Euler's formula holds for all connected plane graphs!
Disconnected Extension: If a planar graph has connected components:
⚖️ Planar Edge Density Bounds
Euler's formula places strict mathematical limits on how many edges a planar graph can accommodate.
In any simple connected planar graph with vertices:
Proof:
- In a simple graph with , every face must be bounded by at least 3 edges:
- Summing over all faces using the Face Handshaking Lemma:
- Substitute into Euler's formula ():
- Rearranging:
In any simple connected planar graph with vertices that has NO triangles (e.g., all Bipartite Graphs, or graphs with girth ):
Proof: Because the graph has no triangles, every face must be bounded by at least 4 edges: .
Substitute into Euler's formula:
🚫 The Canonical Non-Planar Obstructions: K₅ and K₃,₃
The Two Incurable Non-Planar Obstructions: K₅ vs K₃,₃
The fundamental geometric bottlenecks that prevent 2D embedding
Complete Graph K₅
- •Parameters: |V| = 5 vertices, |E| = C(5, 2) = 10 edges.
- •Planar Limit: |E| ≤ 3|V| - 6 = 3(5) - 6 = 9 edges.
- •Violation: |E| = 10 > 9! Exceeds maximum edge capacity.
- •Conclusion: K₅ is strictly NON-PLANAR!
Complete Bipartite Graph K₃,₃
- •Parameters: |V| = 6 vertices, |E| = 3 × 3 = 9 edges.
- •Property: Bipartite ⟹ Triangle-free (girth ≥ 4).
- •Planar Limit: |E| ≤ 2|V| - 4 = 2(6) - 4 = 8 edges.
- •Violation: |E| = 9 > 8! Exceeds triangle-free planar capacity.
- •Conclusion: K₃,₃ is strictly NON-PLANAR!
🔍 Kuratowski's & Wagner's Characterization Theorems
How do we prove whether an arbitrary complex graph is planar?
A graph is planar if and only if it contains NO subgraph that is homeomorphic to or !
- Subdivision (Homeomorphism): An elementary subdivision replaces an edge with two edges and by inserting a new vertex of degree 2. Two graphs are homeomorphic if both can be obtained from the same graph by a sequence of elementary subdivisions.
- Intuition: If you can find or hidden inside a graph (even if its edges are subdivided into multi-hop paths), the graph is guaranteed to be non-planar!
A graph is planar if and only if neither nor is a minor of !
- Graph Minor: A graph is a minor of if can be formed from by deleting vertices, deleting edges, and contracting edges (merging adjacent endpoints into a single vertex).
📝 Step-by-Step Worked Examples
Example 1: Applying Euler's Formula to a Polyhedral Graph
Problem Statement: A connected planar graph has 12 vertices, and every vertex has degree 3 (a 3-regular graph, like a truncated tetrahedron).
- How many edges does the graph contain?
- How many regions (faces) does this graph divide the plane into?
- If every face is either a triangle () or a hexagon (), and there are 4 triangles, how many hexagons are there?
Step-by-Step Solution:
-
Step 1: Calculate Total Edges via Handshaking Lemma
- Vertices , and every vertex has degree 3.
- .
- By Handshaking: edges.
-
Step 2: Calculate Regions via Euler's Formula
- regions.
-
Step 3: Determine Face Distribution
- Total regions .
- Let be the number of triangles, and be the number of hexagons.
- . Given hexagons.
- Verification via Face Handshaking:
Key Takeaway: Euler's formula seamlessly links physical polyhedron faces to planar graph vertex degrees.
Example 2: Proving Non-Planarity of the Petersen Graph
Problem Statement: The Petersen Graph has vertices and edges. Its shortest cycle has length 5 (girth = 5). Prove that the Petersen Graph is non-planar:
- Using face degree inequality bounds.
- Using Kuratowski's minor theorem.
Step-by-Step Solution:
-
Method 1: Edge Bound Verification
- The Petersen graph has girth (no cycles of length 3 or 4).
- Therefore, in any hypothetical plane drawing, every face must have .
- By the Face Handshaking Lemma:
- Substitute into Euler's formula:
- Euler's formula requires , but the maximum possible value is only !
- This contradiction proves that the Petersen Graph cannot be planar!
-
Method 2: Kuratowski Minor Verification
- Contracting the 5 cross-spoke edges of the Petersen graph merges the inner 5-star cycle into the outer 5-ring cycle, directly producing the complete graph as a minor!
- By Wagner's Theorem, because is a minor, the Petersen Graph is strictly non-planar!
Key Takeaway: When standard bounds do not immediately fail, checking girth inequalities () rigorously proves non-planarity.
🎯 Exam & Interview Pitfall Check
Question 1: If a graph satisfies , is it guaranteed to be planar? Key Focus Points: No! The condition is a necessary condition for planarity, NOT a sufficient condition! For example, has and . Evaluating the bound:
passes the test, yet is completely non-planar! (It fails the tighter triangle-free bound ).
Question 2: Can a planar graph have a minimum vertex degree ? Key Focus Points: Never! In any simple planar graph:
The average degree is . Because the average degree is strictly less than 6, every planar graph must contain at least one vertex of degree !
Trap 1: Forgetting the exterior (unbounded) face in Euler's formula Why it fails: In , students often count only the interior polygons, forgetting that the surrounding infinite exterior space is also a valid region! Omitting the exterior face gives , which is invalid.
Trap 2: Applying to graphs with triangles Why it fails: The tighter bound requires the graph to have girth (no triangles). If a graph contains even a single triangle, faces of degree 3 are permitted, and you must use the general bound .