J.A. Bondy U.S.R. Murty
Graph Theory (II)
ABC J.A. Bondy, PhD U.S.R. Murty, PhD Universite´ Claude-Bernard Lyon 1 Mathematics Faculty Domaine de Gerland University of Waterloo 50 Avenue Tony Garnier 200 University Avenue West 69366 Lyon Cedex 07 Waterloo, Ontario, Canada France N2L 3G1
Editorial Board S. Axler K.A. Ribet Mathematics Department Mathematics Department San Francisco State University University of California, Berkeley San Francisco, CA 94132 Berkeley, CA 94720-3840 USA USA
Graduate Texts in Mathematics series ISSN: 0072-5285 ISBN: 978-1-84628-969-9 e-ISBN: 978-1-84628-970-5 DOI: 10.1007/978-1-84628-970-5
Library of Congress Control Number: 2007940370
Mathematics Subject Classification (2000): 05C; 68R10
°c J.A. Bondy & U.S.R. Murty 2008
Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or trans- mitted, in any form or by any means, with the prior permission in writing of the publishers, or in the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers.
The use of registered name, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant laws and regulations and therefore free for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made.
Printed on acid-free paper
9 8 7 6 5 4 3 2 1 springer.com Contents
1 Graphs ...... 1
2 Subgraphs ...... 39
3 Connected Graphs ...... 79
4 Trees ...... 99
5 Nonseparable Graphs ...... 117
6 Tree-Search Algorithms ...... 135
7 Flows in Networks ...... 157
8 Complexity of Algorithms ...... 173
9 Connectivity ...... 205
10 Planar Graphs ...... 243
11 The Four-Colour Problem ...... 287
12 Stable Sets and Cliques ...... 295
13 The Probabilistic Method ...... 329
14 Vertex Colourings ...... 357
15 Colourings of Maps ...... 391
16 Matchings ...... 413
17 Edge Colourings ...... 451 XII Contents
18 Hamilton Cycles ...... 471
19 Coverings and Packings in Directed Graphs ...... 503
20 Electrical Networks ...... 527
21 Integer Flows and Coverings ...... 557
Unsolved Problems ...... 583
References ...... 593
General Mathematical Notation ...... 623
Graph Parameters ...... 625
Operations and Relations ...... 627
Families of Graphs ...... 629
Structures ...... 631
Other Notation ...... 633
Index ...... 637 10 Planar Graphs
Contents 10.1 Plane and Planar Graphs ...... 243 The Jordan Curve Theorem ...... 244 Subdivisions ...... 246 10.2 Duality ...... 249 Faces ...... 249 Duals ...... 252 Deletion–Contraction Duality ...... 254 Vector Spaces and Duality ...... 256 10.3 Euler’s Formula ...... 259 10.4 Bridges ...... 263 Bridges of Cycles ...... 264 Unique Plane Embeddings ...... 266 10.5 Kuratowski’s Theorem ...... 268 Minors ...... 268 Wagner’s Theorem ...... 269 Recognizing Planar Graphs ...... 271 10.6 Surface Embeddings of Graphs ...... 275 Orientable and Nonorientable Surfaces ...... 276 The Euler Characteristic ...... 278 The Orientable Embedding Conjecture ...... 280 10.7 Related Reading ...... 282 Graph Minors ...... 282 Linkages ...... 282 Brambles ...... 283 Matroids and Duality ...... 284 Matroid Minors ...... 284
10.1 Plane and Planar Graphs
A graph is said to be embeddable in the plane,orplanar, if it can be drawn in the plane so that its edges intersect only at their ends. Such a drawing is called 244 10 Planar Graphs a planar embedding of the graph. A planar embedding G of a planar graph G can be regarded as a graph isomorphic to G; the vertex set of G is the set of points representing the vertices of G, the edge set of G is the set of lines representing the edges of G, and a vertex of G is incident with all the edges of G that contain it. For this reason, we often refer to a planar embedding G of a planar graph G as a plane graph, and we refer to its points as vertices and its lines as edges. However, when discussing both a planar graph G and a plane embedding G of G, in order to distinguish the two graphs, we call the vertices of G points and its edges lines; thus, by the point v of G we mean the point of G that represents the vertex v of G, and by the line e of G we mean the line of G that represents the edge e of G. Figure 10.1b depicts a planar embedding of the planar graph K5 \ e, shown in Figure 10.1a.
(a) (b)
Fig. 10.1. (a) The planar graph K5 \ e, and (b) a planar embedding of K5 \ e
The Jordan Curve Theorem
It is evident from the above definition that the study of planar graphs necessarily involves the topology of the plane. We do not attempt here to be strictly rigorous in topological matters, however, and are content to adopt a naive point of view toward them. This is done so as not to obscure the combinatorial aspects of the theory, which is our main interest. An elegant and rigorous treatment of the topological aspects can be found in the book by Mohar and Thomassen (2001). The results of topology that are especially relevant in the study of planar graphs are those which deal with simple curves. By a curve, we mean a continuous image of a closed unit line segment. Analogously, a closed curve is a continuous image of a circle. A curve or closed curve is simple if it does not intersect itself (in other words, if the mapping is one-to-one). Properties of such curves come into play in the study of planar graphs because cycles in plane graphs are simple closed curves. A subset of the plane is arcwise-connected if any two of its points can be connected by a curve lying entirely within the subset. The basic result of topology that we need is the Jordan Curve Theorem. 10.1 Plane and Planar Graphs 245
Theorem 10.1 The Jordan Curve Theorem Any simple closed curve C in the plane partitions the rest of the plane into two disjoint arcwise-connected open sets.
Although this theorem is intuitively obvious, giving a formal proof of it is quite tricky. The two open sets into which a simple closed curve C partitions the plane are called the interior and the exterior of C. We denote them by int(C) and ext(C), and their closures by Int(C)andExt(C), respectively (thus Int(C) ∩ Ext(C)=C). The Jordan Curve Theorem implies that every arc joining a point of int(C)toa point of ext(C) meets C in at least one point (see Figure 10.2).
C
int(C) ext(C)
Fig. 10.2. The Jordan Curve Theorem
Figure 10.1b shows that the graph K5 \e is planar. The graph K5, on the other hand, is not planar. Let us see how the Jordan Curve Theorem can be used to demonstrate this fact.
Theorem 10.2 K5 is nonplanar.
Proof By contradiction. Let G be a planar embedding of K5, with vertices v1,v2,v3,v4,v5. Because G is complete, any two of its vertices are joined by an edge. Now the cycle C := v1v2v3v1 is a simple closed curve in the plane, and the vertex v4 must lie either in int(C)orinext(C). Without loss of generality, we may suppose that v4 ∈ int(C). Then the edges v1v4,v2v4,v3v4 all lie entirely in int(C), too (apart from their ends v1,v2,v3) (see Figure 10.3). Consider the cycles C1 := v2v3v4v2, C2 := v3v1v4v3,andC3 := v1v2v4v1. Observe that vi ∈ ext(Ci), i =1, 2, 3. Because viv5 ∈ E(G)andG is a plane graph, it follows from the Jordan Curve Theorem that v5 ∈ ext(Ci), i =1, 2, 3, too. Thus v5 ∈ ext(C). But now the edge v4v5 crosses C, again by the Jordan Curve Theorem. This contradicts the planarity of the embedding G.
A similar argument can be used to establish that K3,3 is nonplanar, too (Ex- ercise 10.1.1b). 246 10 Planar Graphs C
v3 int(C2) v1
v4
int(C3) int(C1) ext(C)
v2
Fig. 10.3. Proof of the nonplanarity of K5
Subdivisions
Any graph derived from a graph G by a sequence of edge subdivisions is called a subdivision of G or a G-subdivision. Subdivisions of K5 and K3,3 are shown in Figure 10.4.
(a)(b)
Fig. 10.4. (a) A subdivision of K5, (b) a subdivision of K3,3
The proof of the following proposition is straightforward (Exercise 10.1.2).
Proposition 10.3 A graph G is planar if and only if every subdivision of G is planar.
Because K5 and K3,3 are nonplanar, Proposition 10.3 implies that no planar graph can contain a subdivision of either K5 or K3,3. A fundamental theorem due to Kuratowski (1930) states that, conversely, every nonplanar graph necessarily contains a copy of a subdivision of one of these two graphs. A proof of Kuratowski’s Theorem is given in Section 10.5. As mentioned in Chapter 1 and illustrated in Chapter 3, one may consider embeddings of graphs on surfaces other than the plane. We show in Section 10.6 10.1 Plane and Planar Graphs 247
that, for every surface S, there exist graphs which are not embeddable on S. Every graph can, however, be embedded in the 3-dimensional euclidean space R3 (Exercise 10.1.7). Planar graphs and graphs embeddable on the sphere are one and the same. To see this, we make use of a mapping known as stereographic projection. Consider a sphere S resting on a plane P , and denote by z the point that is diametrically opposite the point of contact of S and P . The mapping π : S \{z}→P , defined by π(s)=p if and only if the points z, s,andp are collinear, is called a stereographic projection from z; it is illustrated in Figure 10.5.
z
s
p
Fig. 10.5. Stereographic projection
Theorem 10.4 A graph G is embeddable on the plane if and only if it is embed- dable on the sphere. Proof Suppose that G has an embedding G on the sphere. Choose a point z of the sphere not in G . Then the image of G under stereographic projection from z is an embedding of G on the plane. The converse is proved similarly. On many occasions, it is advantageous to consider embeddings of planar graphs on the sphere; one instance is provided by the proof of Proposition 10.5 in the next section.
Exercises
10.1.1 Show that:
a) every proper subgraph of K3,3 is planar, b) K3,3 is nonplanar. 10.1.2 Show that a graph is planar if and only if every subdivision of the graph is planar. 248 10 Planar Graphs
10.1.3
a) Show that the Petersen graph contains a subdivision of K3,3. b) Deduce that the Petersen graph is nonplanar.
10.1.4 a) Let G be a planar graph, and let e be a link of G. Show that G/e is planar. b) Is the converse true?
10.1.5 Let G be a simple nontrivial graph in which each vertex, except possi- bly one, has degree at least three. Show, by induction on n, that G contains a subdivision of K4. 10.1.6 Find a planar embedding of the graph in Figure 10.6 in which each edge is a straight line segment. (Wagner (1936) proved that every simple planar graph admits such an embedding.)
Fig. 10.6. Find a straight-line planar embedding of this graph (Exercise 10.1.6)
10.1.7 A k-book is a topological subspace of R3 consisting of k unit squares, called its pages, that have one side in common, called its spine, but are pairwise disjoint otherwise. Show that any graph G is embeddable in R3 by showing that it is embeddable in a k-book, for some k.
10.1.8 Consider a drawing G of a (not necessarily planar) graph G in the plane. Two edges of G cross if they meet at a point other than a vertex of G . Each such point is called a crossing of the two edges. The crossing number of G, denoted by cr(G), is the least number of crossings in a drawing of G in the plane. Show that: a) cr(G) = 0 if and only if G is planar, b) cr(K5) = cr(K3,3)=1, c) cr(P10) = 2, where P10 is the Petersen graph, d) cr(K6)=3. 10.2 Duality 249 n 10.1.9 Show that cr(Kn)/ 4 is a monotonically increasing function of n. 10.1.10 AgraphG is crossing-minimal if cr(G \ e) < cr(G) for all e ∈ E. Show that every nonplanar edge-transitive graph is crossing-minimal.
10.1.11 A thrackle is a graph embedded in the plane in such a way that any two edges intersect exactly once (possibly at an end). Such an embedding is called a thrackle embedding. Show that: a) every tree has a thrackle embedding, b) the 4-cycle has no thrackle embedding, c) the triangle and every cycle of length five or more has a thrackle embedding.
————— —————
10.1.12 Show that every simple graph can be embedded in R3 in such a way that: a) each vertex lies on the curve {(t, t2,t3):t ∈ R}, b) each edge is a straight line segment. (C. Thomassen)
10.2 Duality
Faces
A plane graph G partitions the rest of the plane into a number of arcwise-connected open sets. These sets are called the faces of G. Figure 10.7 shows a plane graph with five faces, f1,f2,f3,f4,andf5. Each plane graph has exactly one unbounded face, called the outer face. In the plane graph of Figure 10.7, the outer face is f1. We denote by F (G)andf(G), respectively, the set of faces and the number of faces of a plane graph G. The notion of a face applies also to embeddings of graphs on other surfaces.
f1 v1 e1 v2
e6 f2 e9 e2
e8 v7 v6 v3 f3 f5 e10 e7 e3 e5 f4
v5 e4 v4
Fig. 10.7. A plane graph with five faces 250 10 Planar Graphs
The boundary of a face f is the boundary of the open set f in the usual topological sense. A face is said to be incident with the vertices and edges in its boundary, and two faces are adjacent if their boundaries have an edge in common. In Figure 10.7, the face f1 is incident with the vertices v1,v2,v3,v4,v5 and the edges e1,e2,e3,e4,e5; it is adjacent to the faces f3,f4,f5. We denote the boundary of a face f by ∂(f). The rationale for this notation becomes apparent shortly, when we discuss duality. The boundary of a face may be regarded as a subgraph. Moreover, when there is no scope for confusion, we use the notation ∂(f) to denote the edge set of this subgraph.
Proposition 10.5 Let G be a planar graph, and let f be a face in some planar embedding of G.ThenG admits a planar embedding whose outer face has the same boundary as f.
Proof Consider an embedding G of G on the sphere; such an embedding exists by virtue of Theorem 10.4. Denote by f the face of G corresponding to f.Letz be a point in the interior of f , and let π(G ) be the image of G under stereographic projection from z. Clearly π(G ) is a planar embedding of G with the desired property. By the Jordan Curve Theorem, a planar embedding of a cycle has exactly two faces. In the ensuing discussion of plane graphs, we assume, without proof, a number of other intuitively obvious statements concerning their faces. We assume, for example, that a planar embedding of a tree has just one face, and that each face boundary in a connected plane graph is itself connected. Some of these facts rely on another basic result of plane topology, known as the Jordan–Sch¨onfliess Theorem.
Theorem 10.6 The Jordan–Schonfliess¨ Theorem Any homeomorphism of a simple closed curve in the plane onto another simple closed curve can be extended to a homeomorphism of the plane.
One implication of this theorem is that any point p on a simple closed curve C can be connected to any point not on C by means of a simple curve which meets C only in p. We refer the reader to Mohar and Thomassen (2001) for further details. A cut edge in a plane graph has just one incident face, but we may think of the edge as being incident twice with the same face (once from each side); all other edges are incident with two distinct faces. We say that an edge separates the faces incident with it. The degree, d(f), of a face f is the number of edges in its boundary ∂(f), cut edges being counted twice. In Figure 10.7, the edge e9 separates the faces f2 and f3 and the edge e8 separates the face f5 from itself; the degrees of f3 and f5 are 6 and 5, respectively. Suppose that G is a connected plane graph. To subdivide afacef of G is to add a new edge e joining two vertices on its boundary in such a way that, apart from its endpoints, e lies entirely in the interior of f. This operation results in a plane graph G + e with exactly one more face than G; all faces of G except f are 10.2 Duality 251
f1 e f
f2
Fig. 10.8. Subdivision of a face f by an edge e
also faces of G + e, and the face f is replaced by two new faces, f1 and f2,which meet in the edge e, as illustrated in Figure 10.8. In a connected plane graph the boundary of a face can be regarded as a closed walk in which each cut edge of the graph that lies in the boundary is traversed twice. This is clearly so for plane trees, and can be established in general by induc- tion on the number of faces (Exercise 10.2.2.) In the plane graph of Figure 10.7, for instance,
∂(f3)=v1e1v2e2v3e10v5e7v6e6v1e9v1 and ∂(f5)=v1e6v6e8v7e8v6e7v5e5v1
Moreover, in the case of nonseparable graphs, these boundary walks are simply cycles, as was shown by Whitney (1932c).
Theorem 10.7 In a nonseparable plane graph other than K1 or K2, each face is bounded by a cycle.
Proof Let G be a nonseparable plane graph. Consider an ear decomposition G0,G1,...,Gk of G, where G0 is a cycle, Gk = G, and, for 0 ≤ i ≤ k − 2, Gi+1 := Gi ∪ Pi is a nonseparable plane subgraph of G, where Pi is an ear of Gi. Since G0 is a cycle, the two faces of G0 are clearly bounded by cycles. Assume, inductively, that all faces of Gi are bounded by cycles, where i ≥ 0. Because Gi+1 is a plane graph, the ear Pi of Gi is contained in some face f of Gi. (More precisely, Gi+1 is obtained from Gi by subdividing the face f by an edge joining the ends of Pi and then subdividing that edge by inserting the internal vertices of Pi.) Each face of Gi other than f is a face of Gi+1 as well, and so, by the induction hypothesis, is bounded by a cycle. On the other hand, the face f of Gi is divided by Pi into two faces of Gi+1, and it is easy to see that these, too, are bounded by cycles. One consequence of Theorem 10.7 is that all planar graphs without cut edges have cycle double covers (Exercise 10.2.8). Another is the following.
Corollary 10.8 In a loopless 3-connected plane graph, the neighbours of any ver- tex lie on a common cycle. 252 10 Planar Graphs
∗ e2 ∗ ∗ f2 e6 ∗ ∗ e9 e1 ∗ ∗ f5 e8 ∗ f3 e∗ ∗ ∗ 10 f4 e7 ∗ e3 ∗ e4
∗ ∗ e5 f1
Fig. 10.9. The dual of the plane graph of Figure 10.7
Proof Let G be a loopless 3-connected plane graph and let v be a vertex of G. Then G − v is nonseparable, so each face of G − v is bounded by a cycle, by Theorem 10.7. If f is the face of G − v in which the vertex v was situated, the neighbours of v lie on its bounding cycle ∂(f).
Duals
GivenaplanegraphG, one can define a second graph G∗ as follows. Corresponding to each face f of G there is a vertex f ∗ of G∗, and corresponding to each edge e of G there is an edge e∗ of G∗. Two vertices f ∗ and g∗ are joined by the edge e∗ in G∗ if and only if their corresponding faces f and g are separated by the edge e in G. Observe that if e is a cut edge of G, then f = g,soe∗ is a loop of G∗;conversely, if e is a loop of G, the edge e∗ is a cut edge of G∗. The graph G∗ is called the dual of G. The dual of the plane graph of Figure 10.7 is drawn in Figure 10.9. In the dual G∗ of a plane graph G, the edges corresponding to those which lie in the boundary of a face f of G are just the edges incident with the corresponding vertex f ∗. When G has no cut edges, G∗ has no loops, and this set is precisely the trivial edge cut ∂(f ∗); that is, ∂(f ∗)={e∗ : e ∈ ∂(f)} It is for this reason that the notation ∂(f) was chosen. It is easy to see that the dual G∗ of a plane graph G is itself a planar graph; in fact, there is a natural embedding of G∗ in the plane. We place each vertex f ∗ in the corresponding face f of G, and then draw each edge e∗ in such a way that it crosses the corresponding edge e of G exactly once (and crosses no other edge of G). This procedure is illustrated in Figure 10.10, where the dual is indicated by heavy lines. It is intuitively clear that we can always draw the dual as a plane graph in this way, but we do not prove this fact. We refer to such a drawing of the dual as a plane dual of the plane graph G. 10.2 Duality 253
Fig. 10.10. The plane graph of Figure 10.7 and its plane dual
Proposition 10.9 The dual of any plane graph is connected.
Proof Let G be a plane graph and G∗ aplanedualofG. Consider any two vertices of G∗. There is a curve in the plane connecting them which avoids all vertices of G. The sequence of faces and edges of G traversed by this curve corresponds in G∗ to a walk connecting the two vertices. Although defined abstractly, it is often convenient to regard the dual G∗ of a plane graph G as being itself a plane graph, embedded as described above. One may then consider the dual G∗∗ of G∗. When G is connected, it is not difficult to ∗∗ ∼ prove that G = G (Exercise 10.2.4); a glance at Figure 10.10 indicates why this is so. It should be noted that isomorphic plane graphs may well have nonisomorphic duals. For example, although the plane graphs in Figure 10.11 are isomorphic, their duals are not: the plane graph shown in Figure 10.11a has two faces of degree three, whereas that of Figure 10.11b has only one such face. Thus the notion of a dual graph is meaningful only for plane graphs, and not for planar graphs in general. We show, however (in Theorem 10.28) that every simple 3-connected planar graph has a unique planar embedding (in the sense that its face boundaries are uniquely determined) and hence has a unique dual. The following relations are direct consequences of the definition of the dual G∗.
∗ ∗ ∗ v(G )=f(G),e(G )=e(G), and dG∗ (f )=dG(f) for all f ∈ F (G) (10.1)
The next theorem may be regarded as a dual version of Theorem 1.1.
Theorem 10.10 If G is a plane graph, d(f)=2m f∈F 254 10 Planar Graphs
(a)(b)
Fig. 10.11. Isomorphic plane graphs with nonisomorphic duals
Proof Let G∗ be the dual of G. By (10.1) and Theorem 1.1, d(f)= d(f ∗)=2e(G∗)=2e(G)=2m f∈F (G) f ∗∈V (G∗)
A simple connected plane graph in which all faces have degree three is called a plane triangulation or, for short, a triangulation. The tetrahedron, the octahe- dron, and the icosahedron (depicted in Figure 1.14) are all triangulations. As a consequence of (10.1) we have: Proposition 10.11 A simple connected plane graph is a triangulation if and only if its dual is cubic.
It is easy to show that every simple plane graph on three or more vertices is a spanning subgraph of a triangulation (Exercise 10.2.5). On the other hand, as we show in Section 10.3, no simple spanning supergraph of a triangulation is planar. For this reason, triangulations are also known as maximal planar graphs. They play an important role in the theory of planar graphs.
Deletion–Contraction Duality
Let G be a planar graph and G a plane embedding of G. For any edge e of G, a plane embedding of G \ e can be obtained by simply deleting the line e from G . Thus, the deletion of an edge from a planar graph results in a planar graph. Although less obvious, the contraction of an edge of a planar graph also results in a planar graph (Exercise 10.1.4b). Indeed, given any edge e of a planar graph G and a planar embedding G of G, the line e of G can be contracted to a single point (and the lines incident to its ends redrawn) so that the resulting plane graph is a planar embedding of G/e. The following two propositions show that the operations of contracting and deleting edges in plane graphs are related in a natural way under duality. Proposition 10.12 Let G be a connected plane graph, and let e be an edge of G that is not a cut edge. Then ∗ ∼ ∗ ∗ (G \ e) = G /e 10.2 Duality 255
Proof Because e is not a cut edge, the two faces of G incident with e are distinct; denote them by f1 and f2. Deleting e from G results in the amalgamation of f1 and f2 into a single face f (see Figure 10.12). Any face of G that is adjacent to f1 or f2 is adjacent in G \ e to f; all other faces and adjacencies between them are ∗ unaffected by the deletion of e. Correspondingly, in the dual, the two vertices f1 ∗ ∗ and f2 of G which correspond to the faces f1 and f2 of G are now replaced by a single vertex of (G \ e)∗, which we may denote by f ∗, and all other vertices of G∗ \ ∗ ∗ ∗ are vertices of (G e) . Furthermore, any vertex of G that is adjacent to f1 or ∗ \ ∗ ∗ \ ∗ f2 is adjacent in (G e) to f , and adjacencies between vertices of (G e) other than v are the same as in G∗. The assertion follows from these observations.
∗ f1 e
∗ e f ∗
∗ f2
(a)(b)
Fig. 10.12. (a) G and G∗,(b)G \ e and G∗ /e∗
Dually, we have:
Proposition 10.13 Let G be a connected plane graph, and let e be a link of G. Then ∗ ∼ ∗ ∗ (G/e) = G \ e ∗∗ ∼ Proof Because G is connected, G = G (Exercise 10.2.4). Also, because e is notaloopofG, the edge e∗ is not a cut edge of G∗,soG∗ \ e∗ is connected. By Proposition 10.12, ∗ ∗ ∗ ∼ ∗∗ ∗∗ ∼ (G \ e ) = G /e = G/e The proposition follows on taking duals. We now apply Propositions 10.12 and 10.13 to show that nonseparable plane graphs have nonseparable duals. This fact turns out to be very useful.
Theorem 10.14 The dual of a nonseparable plane graph is nonseparable.
Proof By induction on the number of edges. Let G be a nonseparable plane graph. The theorem is clearly true if G has at most one edge, so we may assume 256 10 Planar Graphs that G has at least two edges, hence no loops or cut edges. Let e be an edge of G. Then either G \ e or G/eis nonseparable (Exercise 5.3.2). If G \ e is nonseparable, ∗ ∼ ∗ ∗ so is (G \ e) = G /e , by the induction hypothesis and Proposition 10.12. Ap- plying Exercise 5.2.2b, we deduce that G∗ is nonseparable. The case where G/e is nonseparable can be established by an analogous argument. The dual of any plane graph is connected, and it follows from Theorem 10.14 that the dual of a loopless 2-connected plane graph is 2-connected. Furthermore, one can show that the dual of a simple 3-connected plane graph is 3-connected (Exercise 10.2.7). The notion of plane duality can be extended to directed graphs. Let D be a plane digraph, with underlying plane graph G. Consider a plane dual G∗ of G. Each arc a of D separates two faces of G.Asa is traversed from its tail to its head, one of these faces lies to the left of a and one to its right. We denote these two faces by la and ra, respectively; note that if a is a cut edge, la = ra.For each arc a of D, we now orient the edge of G∗ that crosses it as an arc a∗ by ∗ designating the end lying in la as the tail of a and the end lying in ra as its head. The resulting plane digraph D∗ is the directed plane dual of D. An example is shown in Figure 10.13.
Fig. 10.13. An orientation of the triangular prism, and its directed plane dual
Vector Spaces and Duality
We have seen that the cycle and bond spaces are orthogonal complements (Exer- cise 2.6.4a). In the case of plane graphs, this relationship of orthogonality can also be expressed in terms of duality, as we now explain. As usual in this context, we identify cycles, trees, and cotrees with their edge sets. We observed earlier that all duals are connected (Proposition 10.9). A similar argument, based on the fact that the interior of a cycle in a plane graph is arcwise- connected, establishes the following proposition. 10.2 Duality 257
Proposition 10.15 Let G be a plane graph, G∗ a plane dual of G, C acycleof G,andX∗ the set of vertices of G∗ that lie in int(C).ThenG∗[X∗] is connected.
For a subset S of E(G), we denote by S∗ the subset {e∗ : e ∈ S} of E(G∗).
Theorem 10.16 Let G be a connected plane graph, and let G∗ be a plane dual of G. a) If C is a cycle of G, then C∗ is a bond of G∗. b) If B is a bond of G, then B∗ is a cycle of G∗.
Proof a) Let C be a cycle of G, and let X∗ denote the set of vertices of G∗ that lie in int(C). Then C∗ is the edge cut ∂(X∗)inG∗. By Proposition 10.15, the subgraph of G∗ induced by X∗ is connected. Likewise, the subgraph of G∗ induced by V (G∗) \ X∗ is connected. It follows from Theorem 2.15 that C∗ is a bond of G∗. We leave part (b) (the converse of (a)) as an exercise (Exercise 10.2.9). As a straightforward consequence of Theorem 10.16, we have:
Corollary 10.17 For any plane graph G, the cycle space of G is isomorphic to the bond space of G∗.
The relationship between cycles and bonds expressed in Theorem 10.16 may be refined by taking orientations into account and considering directed duals, as defined above. Let D be a plane digraph and D∗ its directed plane dual. For a subset S of A(D), denote by S∗ the subset {a∗ : a ∈ S} of A(D∗).
Theorem 10.18 Let D be a connected plane digraph and let D∗ be a plane directed dual of D. a) Let C be a cycle of D, with a prescribed sense of traversal. Then C∗ is a bond ∂(X∗)of D∗. Moreover the set of forward arcs of C corresponds to the outcut ∂+(X∗) and the set of reverse arcs of C to the incut ∂−(X∗). b) Let B := ∂(X) be a bond of D.ThenB∗ is a cycle of D∗. Moreover the outcut ∂+(X) corresponds to the set of forward arcs of B∗ and the incut ∂−(X) corresponds to the set of reverse arcs of B∗ (with respect to a certain sense of traversal of B∗).
The proof of Theorem 10.18 is left to the reader (Exercise 10.2.13).
Exercises
10.2.1 a) Show that a graph is planar if and only if each of its blocks is planar. b) Deduce that every minimal nonplanar graph is both simple and nonseparable. 258 10 Planar Graphs
10.2.2 Prove that the boundary of a face of a connected plane graph can be regarded as a closed walk in which each cut edge of the graph lying in the boundary is traversed twice.
10.2.3 Determine the duals of the five platonic graphs (Figure 1.14). ∗∗ ∼ 10.2.4 Let G be a plane graph. Show that G = G if and only if G is connected. 10.2.5 Show that every simple connected plane graph on n vertices, where n ≥ 3, is a spanning subgraph of a triangulation.
10.2.6 Let G be a triangulation on at least four vertices. Show that G∗ is a simple nonseparable cubic plane graph.
10.2.7 Show that the dual of a simple 3-connected plane graph is both simple and 3-connected.
10.2.8 Show that every planar graph without cut edges has a cycle double cover.
10.2.9 Show that if B is a bond of a plane graph G, then B∗ is a cycle of its plane dual G∗.
10.2.10 a) Show that the dual of an even plane graph is bipartite (and conversely). b) A Hamilton bond of a connected graph G is a bond B such that both compo- nents of G \ B are trees. Let G be a plane graph which contains a Hamilton cycle, and let C be (the edge set of) such a cycle. Show that C∗ is a Hamilton bond of G∗.
10.2.11 Outerplanar Graph AgraphG is outerplanar if it has a planar embedding G in which all vertices lie on the boundary of its outer face. An outerplanar graph equipped with such an embedding is called an outerplane graph. Show that: a) if G is an outerplane graph, then the subgraph of G∗ induced by the vertices corresponding to the interior faces of G is a tree, b) every simple 2-connected outerplanar graph other than K2 has a vertex of degree two.
10.2.12 Let T be a spanning tree of a connected plane graph G. Show that (E\T )∗ is a spanning tree of G∗.
10.2.13 Prove Theorem 10.18.
————— —————
10.2.14 A Halin graph is a graph H := T ∪ C, where T is a plane tree on at least four vertices in which no vertex has degree two, and C is a cycle connecting the leaves of T in the cyclic order determined by the embedding of T . Show that: 10.3 Euler’s Formula 259
a) every Halin graph is minimally 3-connected, b) every Halin graph has a Hamilton cycle.
10.2.15 The medial graph of a plane graph G is the 4-regular graph M(G) with vertex set E(G) in which two vertices are joined by k edges if, in G, they are adjacent edges which are incident to k common faces (k =0, 1, 2). (The medial graph has a natural planar embedding.) Let G be a nonseparable plane graph. Show that: a) M(G) is a 4-regular planar graph, ∼ ∗ b) M(G) = M(G ).
10.3 Euler’s Formula
There is a simple formula relating the numbers of vertices, edges, and faces in a connected plane graph. It was first established for polyhedral graphs by Euler (1752), and is known as Euler’s Formula.
Theorem 10.19 Euler’s Formula For a connected plane graph G,
v(G) − e(G)+f(G) = 2 (10.2)
Proof By induction on f(G), the number of faces of G.Iff(G) = 1, each edge of G is a cut edge and so G, being connected, is a tree. In this case e(G)=v(G) − 1, by Theorem 4.3, and the assertion holds. Suppose that it is true for all connected plane graphs with fewer than f faces, where f ≥ 2, and let G be a connected plane graph with f faces. Choose an edge e of G that is not a cut edge. Then G \ e is a connected plane graph with f − 1 faces, because the two faces of G separated by e coalesce to form one face of G \ e. By the induction hypothesis,
v(G \ e) − e(G \ e)+f(G \ e)=2
Using the relations
v(G \ e)=v(G),e(G \ e)=e(G) − 1, and f(G \ e)=f(G) − 1 we obtain v(G) − e(G)+f(G)=2 The theorem follows by induction.
Corollary 10.20 All planar embeddings of a connected planar graph have the same number of faces. 260 10 Planar Graphs
Proof Let G be a planar embedding of a planar graph G. By Euler’s Formula (10.2), we have
f(G )=e(G ) − v(G )+2=e(G) − v(G)+2
Thus the number of faces of G depends only on the graph G, and not on its embedding.
Corollary 10.21 Let G be a simple planar graph on at least three vertices. Then m ≤ 3n − 6. Furthermore, m =3n − 6 if and only if every planar embedding of G is a triangulation.
Proof It clearly suffices to prove the corollary for connected graphs. Let G be a simple connected planar graph with n ≥ 3. Consider any planar embedding G of G. Because G is simple and connected, on at least three vertices, d(f) ≥ 3 for all f ∈ F (G ). Therefore, by Theorem 10.10 and Euler’s Formula (10.2) 2m = d(f) ≥ 3f(G )=3(m − n + 2) (10.3)
f∈F (G ) or, equivalently, m ≤ 3n − 6 (10.4) Equality holds in (10.4) if and only if it holds in (10.3), that is, if and only if d(f)=3foreachf ∈ F (G ).
Corollary 10.22 Every simple planar graph has a vertex of degree at most five.
Proof This is trivial for n<3. If n ≥ 3, then by Theorem 1.1 and Corollary 10.21, δn ≤ d(v)=2m ≤ 6n − 12 v∈V
It follows that δ ≤ 5.
We have already seen that K5 and K3,3 are nonplanar (Theorem 10.2 and Exercise 10.1.1b). Here, we derive these two basic facts from Euler’s Formula (10.2).
Corollary 10.23 K5 is nonplanar.
Proof If K5 were planar, Corollary 10.21 would give
10 = e(K5) ≤ 3v(K5) − 6=9
Thus K5 must be nonplanar.
Corollary 10.24 K3,3 is nonplanar. 10.3 Euler’s Formula 261
Proof Suppose that K3,3 is planar and let G be a planar embedding of K3,3. Because K3,3 has no cycle of length less than four, every face of G has degree at least four. Therefore, by Theorem 10.10, we have 4f(G) ≤ d(f)=2e(G)=18 f∈F
implying that f(G) ≤ 4. Euler’s Formula (10.2) now implies that
2=v(G) − e(G)+f(G) ≤ 6 − 9+4=1
which is absurd.
Exercises
10.3.1 Show that the crossing number satisfies the inequality cr(G) ≥ m−3n+6, provided that n ≥ 3.
10.3.2 a) Let G be a connected planar graph with girth k, where k ≥ 3. Show that m ≤ k(n − 2)/(k − 2). b) Deduce that the Petersen graph is nonplanar.
10.3.3 Deduce Euler’s Formula (10.2) from Exercise 10.2.12.
10.3.4 a) Show that the complement of a simple planar graph on at least eleven vertices is nonplanar. b) Find a simple planar graph on eight vertices whose complement is planar.
————— —————
10.3.5 A plane graph is face-regular if all of its faces have the same degree. a) Characterize the plane graphs which are both regular and face-regular. b) Show that exactly five of these graphs are simple and 3-connected. (They are the platonic graphs.)
10.3.6 The thickness θ(G) of a graph G is the minimum number of planar graphs whose union is G. (Thus θ(G) = 1 if and only if G is planar.) a) Let G be a simple graph. Show that θ(G) ≥m/(3n − 6) . b) Deduce that θ(Kn) ≥(n +1)/6 + 1 and show, using Exercise 10.3.4b, that equality holds for all n ≤ 8. (Beineke and Harary (1965) proved that equality holds for all n =9 , 10; Battle et al. (1962) showed that θ(K9) = 3.) 262 10 Planar Graphs
c) Express the Tur´an graph T6,12 (defined in Exercise 1.1.11) as the union of two graphs, each isomorphic to the icosahedron. d) Deduce from (b) and (c) that θ(K12)=3. 10.3.7 a) Let G be a simple bipartite graph. Show that θ(G) ≥m/(2n − 4) . b) Deduce that θ(Km,n) ≥mn/(2m +2n − 4) . (Beineke et al. (1964) showed that equality holds if mn is even. It is conjectured that equality holds in all cases.) 10.3.8 A plane graph is self-dual if it is isomorphic to its dual. a) Show that: i) if G is self-dual, then e(G)=2v(G) − 2, ii) the four plane graphs shown in Figure 10.14 are self-dual. b) Find four infinite families of self-dual plane graphs of which those four graphs are members. (Smith and Tutte (1950) proved that every self-dual plane graph belongs to one of four infinite families.)
Fig. 10.14. Self-dual plane graphs
10.3.9 a) Let S be a set of n points in the plane, where n ≥ 3 and the distance between any two points of S is at least one. Show that no more than 3n − 6 pairs of points of S can be at distance exactly one. (P. Erdos)˝ b) By considering the triangular lattice (shown in Figure 1.27) find, for each positive integer k,asetS of 3k2 +3k + 1 points in the plane such that the distance between any two points of S is at least one, and such that 9k2 +3k pairs of points of S are at distance exactly one. 10.3.10 The Sylvester–Gallai Theorem a) Let L be a finite set of lines in the plane, no two of which are parallel and not all of which are concurrent. Using Euler’s Formula (10.2), show that some point is the point of intersection of precisely two lines of L. b) Deduce from (a) the Sylvester–Gallai Theorem: if S is a finite set of points in the plane, not all of which are collinear, there is a line that contains precisely two points of S.(E. Melchior) 10.4 Bridges 263 10.4 Bridges
In the study of planar graphs, certain subgraphs, called bridges, play an important role. We now define these subgraphs and discuss their properties. Let H be a proper subgraph of a connected graph G. The set E(G) \ E(H) may be partitioned into classes as follows. For each component F of G − V (H), there is a class consisting of the edges of F together with the edges linking F to H. Each remaining edge e (that is, one which has both ends in V (H)) defines a singleton class {e}. The subgraphs of G induced by these classes are the bridges of H in G. It follows immediately from this definition that bridges of H can intersect only in vertices of H, and that any two vertices of a bridge of H are connected by a path in the bridge that is internally disjoint from H.ForabridgeB of H, the elements of V (B) ∩ V (H) are called its vertices of attachment to H; the remaining vertices of B are its internal vertices. A bridge is trivial if it has no internal vertices (that is, if it is of the second type). In a connected graph, every bridge has at least one vertex of attachment; moreover, in a nonseparable graph, every bridge has at least two vertices of attachment. A bridge with k vertices of attachment is called a k-bridge. Two bridges with the same vertices of attachment are equivalent bridges. Figure 10.15 shows a variety of bridges of a cycle in a graph; edges of different bridges are distinguished by different kinds of lines. Bridges B1 and B2 are equivalent 3-bridges; B3 and B6 are trivial bridges.
B1
B2
B5
B3 B6
B4
Fig. 10.15. Bridges of a cycle 264 10 Planar Graphs
Bridges of Cycles
We are concerned here with bridges of cycles, and all bridges are understood to be bridges of a given cycle C. Thus, to avoid repetition, we abbreviate ‘bridge of C’ to ‘bridge’ in the coming discussion. The vertices of attachment of a k-bridge B with k ≥ 2 effect a partition of C into k edge-disjoint paths, called the segments of B. Two bridges avoid each other if all the vertices of attachment of one bridge lie in a single segment of the other bridge; otherwise, they overlap. In Figure 10.15, B2 and B3 avoid each other, whereas B1 and B2 overlap, as do B3 and B4. Two bridges B and B are skew if there are distinct vertices of attachment u, v of B,andu,v of B, which occur in the cyclic order u, u ,v,v on C. In Figure 10.15, B3 and B4 are skew, whereas B1 and B2 are not.
Theorem 10.25 Overlapping bridges are either skew or else equivalent 3-bridges.
Proof Suppose that bridges B and B overlap. Clearly, each must have at least two vertices of attachment. If either B or B is a 2-bridge, it is easily verified that they must be skew. We may therefore assume that both B and B have at least three vertices of attachment. If B and B are not equivalent bridges, then B has a vertex u of attachment between two consecutive vertices of attachment u and v of B. Because B and B overlap, some vertex of attachment v of B does not lie in the segment of B connecting u and v. It follows that B and B are skew. If B and B are equivalent k-bridges, then k ≥ 3. If k ≥ 4, B and B are skew; if k = 3, they are equivalent 3-bridges.
B4
B3
B1
B2
Fig. 10.16. Bridgesofacycleinaplanegraph
We now consider bridges of cycles in plane graphs. Suppose that G is a plane graph and that C is a cycle in G. Because C is a simple closed curve in the plane, each bridge of C in G is contained in one of the two regions Int(C)orExt(C). A 10.4 Bridges 265 bridge contained in Int(C) is called an inner bridge, a bridge contained in Ext(C) an outer bridge. In Figure 10.16, B1 and B2 are inner bridges, and B3 and B4 are outer bridges. Theorem 10.26 Inner (outer) bridges avoid one another. Proof Let B and B be inner bridges of a cycle C in a plane graph G. Suppose that they overlap. By Theorem 10.25, they are either skew or equivalent 3-bridges. In both cases, we obtain contradictions. Case 1: B and B are skew. By definition, there exist distinct vertices u, v in B and u,v in B, appearing in the cyclic order u, u,v,v on C.LetuP v be a path in B and uP v a path in B, both internally disjoint from C. Consider the subgraph H := C ∪ P ∪ P of G (see Figure 10.17a). Because G is plane, so is H.LetK be the plane graph obtained from H by adding a vertex in ext(C) and joining it to u, u ,v,v (see Figure 10.17b). Then K is a subdivision of K5. But this is impossible, K5 being nonplanar.
u
P u v P
v (a)(b)
Fig. 10.17. Proof of Theorem 10.26, Case 1: (a) the subgraph H, (b) the subdivision K of K5
Case 2: B and B are equivalent 3-bridges. Denote by S := {v1,v2,v3} their common set of vertices of attachment. By Exercise 9.2.3, there exists a (v,S)-fan F in B, for some internal vertex v of B; likewise, there exists a (v,S)-fan F in B, for some internal vertex v of B. Consider the subgraph H := F ∪ F of G. Because G is plane, so is H.LetK be the plane graph obtained from H by adding a vertex in ext(C) and joining it to the three vertices of S. Then K is a subdivision of K3,3. But this is impossible, because K3,3 is nonplanar (see Figure 10.18). We conclude that inner bridges avoid one another. Similarly, outer bridges avoid one another. It is convenient to visualize the above theorem in terms of the bridge-overlap graph. Let G be a graph and let C be a cycle of G.Thebridge-overlap graph of C is the graph whose vertex set is the set of all bridges of C in G, two bridges being 266 10 Planar Graphs
v1 v3 v
v
v2
(a)(b)
Fig. 10.18. Proof of Theorem 10.26, Case 2: (a) the subgraph H, (b) the subdivision K of K3,3 adjacent if they overlap. Theorem 10.26 simply states that the bridge-overlap graph of any cycle of a plane graph is bipartite. Thus, a necessary condition for a graph to be planar is that the bridge-overlap graph of each of its cycles be bipartite. This condition also suffices to guarantee planarity (Exercise 10.5.7).
Unique Plane Embeddings
Just as there is no unique way of representing graphs by diagrams, there is no unique way of embedding planar graphs in the plane. Apart from the positions of points representing vertices and the shapes of lines representing the edges, two different planar embeddings of the same planar graph may differ in the incidence relationships between their edge and face sets; they may even have different face- degree sequences, as in Figure 10.11. We say that two planar embeddings of a planar graph G are equivalent if their face boundaries (regarded as sets of edges) are identical. A planar graph for which any two planar embeddings are equivalent is said have an unique embedding in the plane. Using the theory of bridges developed above, we show that every simple 3-connected planar graph is uniquely embeddable in the plane; note that the graph of Figure 10.11 is not 3-connected. The notion of a nonseparating cycle plays a crucial role in this proof. A cycle is nonseparating if it has no chords and at most one nontrivial bridge. Thus, in a loopless graph G which is not itself a cycle, a cycle C is nonseparating if and only if it is an induced subgraph of G and G − V (C) is connected. In the case of simple 3-connected plane graphs, Tutte (1963) proved that facial and nonseparating cycles are one and the same.
Theorem 10.27 A cycle in a simple 3-connected plane graph is a facial cycle if and only if it is nonseparating.
Proof Let G be a simple 3-connected plane graph and let C be a cycle of G. Suppose, first, that C is not a facial cycle of G. Then C has at least one inner 10.4 Bridges 267
bridge and at least one outer bridge. Because G is simple and connected, these bridges are not loops. Thus either they are both nontrivial or at least one of them is a chord. It follows that C is not a nonseparating cycle. Now suppose that C is a facial cycle of G. By Proposition 10.5, we may assume that C bounds the outer face of G, so all its bridges are inner bridges. By The- orem 10.26, these bridges avoid one another. If C had a chord xy, the set {x, y} would be a vertex cut separating the internal vertices of the two xy-segments of C. Likewise, if C had two nontrivial bridges, the vertices of attachment of one of these bridges would all lie on a single xy-segment of the other bridge, and {x, y} would be a vertex cut of G separating the internal vertices of the two bridges. In either case, the 3-connectedness of G would be contradicted. Thus C is nonseparating. A direct consequence of Theorem 10.27 is the following fundamental theorem, due to Whitney (1933). Theorem 10.28 Every simple 3-connected planar graph has a unique planar em- bedding.
Proof Let G be a simple 3-connected planar graph. By Theorem 10.27, the facial cycles in any planar embedding of G are precisely its nonseparating cycles. Because the latter are defined solely in terms of the abstract structure of the graph, they are the same for every planar embedding of G. The following corollary is immediate. Corollary 10.29 Every simple 3-connected planar graph has a unique dual graph.
Exercises
10.4.1 Let G1 and G2 be planar graphs whose intersection is isomorphic to K2. Show that G1 ∪ G2 is planar. 10.4.2 Let H be a subgraph of a graph G. Consider the binary relation ∼ on E(G) \ E(H), where e1 ∼ e2 if there exists a walk W in G such that:
the first and the last edges of W are e1 and e2, respectively, Wis internally disjoint from H (that is, no internal vertex of W is a vertex of H). Show that: a) the relation ∼ is an equivalence relation on E(G) \ E(H), b) the subgraphs of G\E(H) induced by the equivalence classes under this equiv- alence relation are the bridges of H in G. ————— ————— 268 10 Planar Graphs
10.4.3 A3-polytope is the convex hull of a set of points in R3 which do not lie on a common plane. Show that the polyhedral graph of such a polytope is simple, planar, and 3-connected. (Steinitz (1922) proved that, conversely, every simple 3-connected planar graph is the polyhedral graph of some 3-polytope.) 10.4.4 Show that any 3-connected cubic plane graph on n vertices, where n ≥ 6, may be obtained from one on n − 2 vertices by subdividing two edges in the boundary of a face and joining the resulting new vertices by an edge subdividing the face. 10.4.5 A rooting of a plane graph G is a triple (v,e,f), where v is a vertex, called the root vertex, e is an edge of G incident with v, called the root edge,andf is a face incident with e, called the root face. a) Show that the only automorphism of a simple 3-connected plane graph which fixes a given rooting is the identity automorphism. b) Let G be a simple 3-connected planar graph. Deduce from (a) that: i) aut(G) divides 4m, ii) aut(G)=4m if and only if G is one of the five platonic graphs. (F. Harary and W.T. Tutte; L. Weinberg)
10.5 Kuratowski’s Theorem
Planarity being such a fundamental property, the problem of deciding whether a given graph is planar is clearly of great importance. A major step towards this goal is provided by the following characterization of planar graphs, due to Kuratowski (1930). Theorem 10.30 Kuratowski’s Theorem A graph is planar if and only if it contains no subdivision of either K5 or K3,3.
A subdivision of K5 or K3,3 is consequently called a Kuratowski subdivision. We first present a proof of Kuratowski’s Theorem due to Thomassen (1981), and then explain how it gives rise to a polynomial-time decision algorithm for planarity. Before proving the theorem, we reformulate it in terms of minors.
Minors
A minor of a graph G is any graph obtainable from G by means of a sequence of vertex and edge deletions and edge contractions. Alternatively, consider a partition (V0,V1,...,Vk)ofV such that G[Vi] is connected, 1 ≤ i ≤ k, and let H be the graph obtained from G by deleting V0 and shrinking each induced subgraph G[Vi], 1 ≤ i ≤ k, to a single vertex. Then any spanning subgraph F of H is a minor of G. For instance, K5 is a minor of the Petersen graph because it can be obtained by contracting the five ‘spoke’ edges of the latter graph (see Figure 10.19). 10.5 Kuratowski’s Theorem 269
Fig. 10.19. Contracting the Petersen graph to K5
If F is a minor of G, we write F G.ByanF -minor of G, where F is an arbitrary graph, we mean a minor of G which is isomorphic to F . It is important to point out that any graph which contains an F -subdivision also has an F -minor: to obtain F as a minor, one simply deletes the vertices and edges not in the subdivision, and then contracts each subdivided edge to a single edge. For example, because the Petersen graph contains a K3,3-subdivision (Exercise 10.1.3), it also has a K3,3-minor. Conversely, provided that F is a graph of maximum degree three or less, any graph which has an F -minor also contains an F -subdivision (Exercise 10.5.3a).
Wagner’s Theorem
As observed in Section 10.2, the deletion or contraction of an edge in a planar graph results again in a planar graph. Thus we have:
Proposition 10.31 Minors of planar graphs are planar.
A minor which is isomorphic to K5 or K3,3 is called a Kuratowski minor.Be- cause K5 and K3,3 are nonplanar, Proposition 10.31 implies that any graph which has a Kuratowski minor is nonplanar. Wagner (1937) proved that the converse is true.
Theorem 10.32 Wagner’s Theorem A graph is planar if and only if it has no Kuratowski minor.
We remarked above that a graph which contains an F -subdivision also has an F -minor. Thus Kuratowski’s Theorem implies Wagner’s Theorem. On the other hand, because K3,3 has maximum degree three, any graph which has a K3,3-minor contains a K3,3-subdivision (Exercise 10.5.3a). Furthermore, any graph which has a K5-minor necessarily contains a Kuratowski subdivision (Exercise 10.5.3b). Thus Wagner’s Theorem implies Kuratowski’s Theorem, and the two are therefore equiv- alent. It turns out to be slightly more convenient to prove Wagner’s variant of Kura- towski’s Theorem. Before doing so, we need to establish two simple lemmas. 270 10 Planar Graphs
Lemma 10.33 Let G be a graph with a 2-vertex cut {x, y}. Then each marked {x, y}-component of G is isomorphic to a minor of G.
Proof Let H be an {x, y}-component of G, with marker edge e, and let xP y be a path in another {x, y}-component of G. Then H ∪ P is a subgraph of G.But H ∪ P is isomorphic to a subdivision of G + e,soG + e is isomorphic to a minor of G.
Lemma 10.34 Let G be a graph with a 2-vertex cut {x, y}.ThenG is planar if and only if each of its marked {x, y}-components is planar. Proof Suppose, first, that G is planar. By Lemma 10.33, each marked {x, y}- component of G is isomorphic to a minor of G, hence is planar by Proposition 10.31. Conversely, suppose that G has k marked {x, y}-components each of which is planar. Let e denote their common marker edge. Applying Exercise 10.4.1 and induction on k, it follows that G + e is planar, hence so is G. In view of Lemmas 10.33 and 10.34, it suffices to prove Wagner’s Theorem for 3- connected graphs. It remains, therefore, to show that every 3-connected nonplanar graph has either a K5-minor or a K3,3-minor. We present an elegant proof of this statement. It is due to Thomassen (1981), and is based on his Theorem 9.10. Theorem 10.35 Every 3-connected nonplanar graph has a Kuratowski minor. Proof Let G be a 3-connected nonplanar graph. We may assume that G is simple. Because all graphs on four or fewer vertices are planar, we have n ≥ 5. We proceed by induction on n. By Theorem 9.10, G contains an edge e = xy such that H := G/e is 3-connected. If H is nonplanar, it has a Kuratowski minor, by induction. Since every minor of H is also a minor of G, we deduce that G too has a Kuratowski minor. So we may assume that H is planar. Consider a plane embedding H of H. Denote by z the vertex of H formed by contracting e. Because H is loopless and 3-connected, by Corollary 10.8 the neighbours of z lie on a cycle C, the boundary of some face f of H − z. Denote by Bx and By, respectively, the bridges of C in G \ e that contain the vertices x and y. Suppose, first, that Bx and By avoid each other. In this case, Bx and By can be embedded in the face f of H − z in such a way that the vertices x and y belong to the same face of the resulting plane graph (H − z) ∪ Bx ∪ By (see Figure 10.20). The edge xy can now be drawn in that face so as to obtain a planar embedding of G itself, contradicting the hypothesis that G is nonplanar. It follows that Bx and By do not avoid each other, that is, they overlap. By Theorem 10.25, they are therefore either skew or else equivalent 3-bridges. In the former case, G has a K3,3-minor; in the latter case, G has a K5-minor (see Figure 10.21). We note that the same proof serves to show that every simple 3-connected planar graph admits a convex embedding, that is, a planar embedding all of whose 10.5 Kuratowski’s Theorem 271
By By
xyy x
Bx Bx
Fig. 10.20. A planar embedding of G (Bx and By avoid each other)
xyy x
(a)(b)
Fig. 10.21. (a) A K3,3-minor (Bx and By skew), (b) a K5-minor (Bx and By equivalent 3-bridges) faces are bounded by convex polygons. All that is needed is a bit more care in placing the bridges Bx and By, and the edge e = xy, in the face f (Exercise 10.5.5). There are several other interesting characterizations of planar graphs, all of which can be deduced from Kuratowski’s Theorem (see Exercises 10.5.7, 10.5.8, and 10.5.9).
Recognizing Planar Graphs
There are many practical situations in which it is important to decide whether a given graph is planar, and if so, to find a planar embedding of the graph. In the layout of printed circuits, for example, one is interested in knowing if a particular electrical network is planar. It is easy to deduce from Lemma 10.34 that a graph is planar if and only if each of its 3-connected components is planar. Thus the problem of deciding whether a given graph is planar can be solved by considering each 3-connected component separately. The proof of Wagner’s Theorem presented above can be 272 10 Planar Graphs transformed without difficulty into a polynomial-time algorithm for determining whether a given 3-connected graph is planar. The idea is as follows. First, the input graph is contracted, one edge at a time, to a complete graph on four vertices (perhaps with loops and multiple edges) in such a way that all intermediate graphs are 3-connected. This contraction phase can be executed in polynomial time by proceeding as indicated in the proof of Theorem 9.10. The resulting four-vertex graph is then embedded in the plane. The contracted edges are now expanded one by one (in reverse order). At each stage of this expansion phase, one of two eventualities may arise: either the edge can be expanded while preserving planarity, and the algorithm proceeds to the next contracted edge, or else two bridges are found which overlap, yielding a Kuratowski minor. In the second eventuality, the algorithm outputs one of these nonplanar minors, thereby certifying that the input graph is nonplanar. If, on the other hand, all contracted edges are expanded without encountering overlapping bridges, the algorithm out- puts a planar embedding of G.
Algorithm 10.36 planarity recognition and embedding Input: a 3-connected graph G on four or more vertices Output: a Kuratowski minor of G or a planar embedding of G
1: set i := 0 and G0 := G Contraction Phase: 2: while i