Nepedia
Back to Discover
Advanced Reader
🔢

Planar graph

math Maturity 11-13 Next article →

{

"text": "In the field of graph theory, a planar graph is a specific type of mathematical structure. It is a graph that can be embedded in a plane. This means it can be drawn on a flat surface so that its edges intersect only at their endpoints. In a planar drawing, no two edges ever cross each other. Such a drawing is formally called a plane graph or a planar embedding.

Butterfly graph
Butterfly graph

A plane graph maps every node to a point and every edge to a curve. These curves must be disjoint, meaning they do not touch except at the nodes they connect.\n\nPlanar graphs are not limited to flat surfaces. Any graph that can be drawn on a plane can also be drawn on a sphere. This is possible through a method called stereographic projection. Because the plane and the sphere are mathematically similar, they share these properties. In more advanced geometry, these graphs can be generalized to surfaces of a specific genus. A planar graph is considered to have a genus of 0. This is because both the plane and the sphere are surfaces with a genus of 0.

Dodecahedron schlegel
Dodecahedron schlegel

\n\nMathematicians use several rules to determine if a graph is planar. Kazimierz Kuratowski developed a famous characterization known as Kuratowski's theorem. He proved that a finite graph is planar if and only if it does not contain a subgraph that is a subdivision of the complete graph K5 or the complete bipartite graph K3,3. A subdivision occurs when you insert new vertices into existing edges.

Complete graph K5
Complete graph K5
Biclique K 3 3
Biclique K 3 3

Klaus Wagner provided a different perspective through Wagner's theorem. Instead of subdivisions, he focused on graph minors. A minor is created by taking a subgraph and repeatedly contracting edges into single vertices. A graph is planar if it does not have K5 or K3,3 as a minor.\n\nThere are also mathematical formulas that provide necessary conditions for planarity. For a simple, connected, planar graph with $v$ vertices, $e$ edges, and $f$ faces, Euler's formula must hold true. The formula is $v - e + f = 2$.

Butterfly graph
Butterfly graph

This formula works for any such graph where $v$ is at least 3. For example, the butterfly graph has 5 vertices, 6 edges, and 3 faces. Calculating $5 - 6 + 3$ results in 2. This rule also applies to convex polyhedra. A Schlegel diagram can turn a polyhedron into a planar graph by projecting it onto a plane.

Dodecahedron schlegel
Dodecahedron schlegel

\n\nBecause of these rules, planar graphs are considered \"sparse\" graphs. This means they have relatively few edges compared to the number of vertices. For any simple, connected, planar graph where $v \ge 3$, the number of edges must follow the inequality $e \le 3v - 6$. If the graph has no cycles of length 3, the rule becomes even stricter: $e \le 2v - 4$. Furthermore, the number of faces must satisfy $f \le 2v - 4$. These inequalities help prove a graph is not planar, though they cannot prove that a graph is planar.\n\nAn interesting connection exists between planar graphs and geometry through the circle packing theorem. Proved by Paul Koebe in 1936, this theorem states that a graph is planar if and only if it is a \"coin graph.\" In a coin graph, vertices are represented by circles that \"kiss,\" or touch at exactly one point, without overlapping.

Circle packing theorem K5 minus edge example
Circle packing theorem K5 minus edge example

This theorem provides a way to prove Fáry's theorem. Fáry's theorem states that every simple planar graph can be drawn using only straight line segments for edges without any crossings.\n\nEvery planar graph also has a mathematical partner known as a dual graph. To build a dual graph, you place one new vertex in every face of the original graph, including the outer face. You then draw new edges that connect these vertices by crossing exactly one edge of the original graph.

Dual graphs
Dual graphs

The resulting dual graph has as many edges as the original, but its vertices correspond to the original's faces. This relationship is highly symmetrical, as the dual of a dual graph returns you to the original embedding. This connection allows mathematicians to study complex properties of one graph by analyzing its partner.",

"media": [

"File:Butterfly graph.svg",

"File:Dodecahedron schlegel.svg",

"File:Complete graph K5.svg",

"File:Biclique K 3 3.svg",

"File:Circle packing theorem K5 minus edge example.svg",

"File:Dual graphs.svg"

]

}

725 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (11)
File:Goldner-Harary graph.svg
Goldner-Harary graph.svg
File:Dodecahedron schlegel.svg
Dodecahedron schlegel.svg
File:Tesseract graph nonplanar visual proof.svg
Tesseract graph nonplanar visual proof.svg
File:CGK4PLN.svg
CGK4PLN.svg
File:Circle packing theorem K5 minus edge example.svg
Circle packing theorem K5 minus edge example.svg
File:Nonplanar no subgraph K 3 3.svg
Nonplanar no subgraph K 3 3.svg
File:Dual graphs.svg
Dual graphs.svg
File:Butterfly graph.svg
Butterfly graph.svg
File:Complete graph K5.svg
Complete graph K5.svg
File:Biclique K 3 3.svg
Biclique K 3 3.svg
File:Kuratowski.gif
Kuratowski.gif
More to explore

🔗 What's this?

Concepts mentioned in this article

🪜 Step back

Simpler topics to build understanding

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.