Skip to main content

Dual Graphs of Planar Graphs

A proof for Euler's characteristic i.e.

Note

Note that for polyhedra, they can be reduced to planar graphs by considering one face of the polyhedra as the region outside the planar graph.

Planar Graph and its dualSpanning trees (called Interdigitating trees in this context)

By cut-cycle duality, if a set of edges in a planar graph is acyclic (has no cycles), then the set of edges dual to has no cuts, from which it follows that the complementary set of dual edges (the duals of the edges that are not in ) forms a connected subgraph. Symmetrically, if is connected, then the edges dual to the complement of form an acyclic subgraph. Therefore, when has both properties – it is connected and acyclic – the same is true for the complementary set in the dual graph. That is, each spanning tree of is complementary to a spanning tree of the dual graph, and vice versa. Thus, the edges of any planar graph and its dual can together be partitioned (in multiple different ways) into two spanning trees, one in the primal and one in the dual, that together extend to all the vertices and faces of the graph but never cross each other.

This partition of the edges and their duals into two trees leads to a simple proof of Euler’s formula for planar graphs with vertices, edges, and faces. Any spanning tree and its complementary dual spanning tree partition the edges into two subsets of and edges respectively, and adding the sizes of the two subsets gives the equation

which may be rearranged to form Euler's formula.