Combinatorics Planar graphs, embeddings, minors Theorem
Euler's formula for planar graphs
Builds on Connected graphPlanar graph
Statement
Let be a finite connected planar graph, drawn in the plane with no crossing edges. Let , and be the numbers of vertices, edges and faces of the drawing, where the unbounded face counts. Then .
Remarks
Proof idea: if the graph has a cycle, delete an edge of the cycle. This removes one edge and one face. At the end you have a spanning tree, with and . The same formula holds for the vertices, edges and faces of a convex polyhedron.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Graph definition
- Planar graph definition
- Walk definition
- Reachability definition
- Connected graph definition
- Euler's formula for planar graphs statement
Where this leads
5 pages build on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Euler_characteristic, Plane graphs
About this page
| Tag | 0W1C598HMS |
|---|---|
| URI | m2://0W1C598HMS |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 05C10 |
| Status | This copy of the site has no build data. Run m2 status 0W1C598HMS. |
| Uses | Connected graph, Planar graph |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.