13.1 Euler’s formula and Kuratowski’s theorem

Theorem 13.5 (Euler’s formula).

Let G be a plane graph with v vertices, e edges and f faces. Then v−e+f=1+β0⁢(G) where recall that β0⁢(G) is the number of connected components.

Proof.

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, v−e=β0⁢(G) and Exercise 13.4.

If the formula holds for trees, then one can show that if G,H are two disjoint plane graphs then there exists u∈G,v∈H such that G′=G∪H∪(u,v) is also a plane graph with the number of faces being f′⁢(G)=f⁢(G)+f⁢(H)−1. ∎

Lemma 13.6.

Suppose G is a connected plane graph with v≥3. Then e≤3⁢v−6. Further if G has no triangles then e≤2⁢v−4.

Proof.

Note that if ∂F corresponds to a cycle, l⁢(F)≥3 and if not l⁢(F)≥4 as v≥3 and G is connected. Thus, we have by Euler’s formula that

3⁢(2−v+e)=3⁢f≤∑Fl⁢(F)=2⁢e

and so e≤3⁢v−6. Now, if G has no triangles, then l⁢(F)≥4 for all F and the above inequality yields that e≤2⁢v−4. ∎

Using the above lemma, we can show that K3,3 and K5 are not planar. A direct constructive proof using some geometric arguments are also possible for non-planarity of K3,3 and K5.

We say H is a minor of a graph G if H is obtained from G 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.

Theorem 13.7 (Wagner’s theorem; ).

A graph if planar iff it has no K3,3 or K5 minor.

A graph is a triangulation if it is connected and l⁢(F)=3 for every face F. A planar graph is said to be maximal if addition of any edge makes it non-planar.

Lemma 13.8.

G is a plane graph with v≥3. TFAE

  1. 1.

    e=3⁢v−6 and G is connected

  2. 2.

    G is a triangulation.

  3. 3.

    G is a maximal planar graph.

Proof.

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. ∎

Exercise 13.9.

Show that (ii) and (iii) equivalent in the above lemma.