Let be a plane graph with vertices, edges and faces. Then where recall that is the number of connected components.
The proof proceeds by showing the formula for forests and then inductively verifying it for connected graphs. For forest, observe that there is only one face because of the definition of the length of a face, that every edge is a cut-edge, and Exercise 13.4.
If the formula holds for trees, then one can show that if are two disjoint plane graphs then there exists such that is also a plane graph with the number of faces being . ∎
Suppose is a connected plane graph with . Then Further if has no triangles then
Note that if corresponds to a cycle, and if not as and is connected. Thus, we have by Euler’s formula that
and so . Now, if has no triangles, then for all and the above inequality yields that . ∎
Using the above lemma, we can show that and are not planar. A direct constructive proof using some geometric arguments are also possible for non-planarity of and .
We say is a minor of a graph if is obtained from by a sequence of the following operations : (i) Edge-deletion. (ii) Vertex-deletion or (iii) edge-contraction. The three operations preserve planarity (see Section 13.4.
Now, we shall state without proof one of the important theorems - Kuratowski’s theorem . We shall rather state an equivalent form of the same known as Wagner’s theorem.
A graph if planar iff it has no or minor.
A graph is a triangulation if it is connected and for every face . A planar graph is said to be maximal if addition of any edge makes it non-planar.
is a plane graph with . TFAE
and is connected
is a triangulation.
is a maximal planar graph.
The equivalence of (i) and (ii) is by noting that the inequality in the proof of Lemma 13.6 is an equality in this case. ∎
Show that (ii) and (iii) equivalent in the above lemma.