IntroductionGraphTheory PDF
IntroductionGraphTheory PDF
63
Editorial Board
F. W Gehring
P. R. Halmos
Managing Editor
c.e. Moore
Bela Bollobas
Graph Theory
An Introductory Course
Springer-Verlag
New York Heidelberg Berlin
Bela Bollobas
Department of Pure Mathematics
and Mathematical Statistics
University of Cambridge
16 Mill Lane
Cambridge CB2 ISB
ENGLAND
Editorial Board
With 80 Figures
Bollobas, Bela.
Graph theory.
9 876 54 32 1
This book is intended for the young student who is interested in graph
theory and wishes to study it as part of his mathematical education. Ex-
perience at Cambridge shows that none of the currently available texts meet
this need. Either they are too specialized for their audience or they lack the
depth and development needed to reveal the nature of the subject.
We start from the premise that graph theory is one of several courses
which compete for the student's attention and should contribute to his
appreciation of mathematics as a whole. Therefore, the book does not
consist merely of a catalogue of results but also contains extensive descriptive
passages designed to convey the flavour of the subject and to arouse the
student's interest. Those theorems which are vital to the development are
stated clearly, together with full and detailed proofs. The book thereby
offers a leisurely introduction to graph theory which culminates in a thorough
grounding in most aspects of the subject.
Each chapter contains three or four sections, exercises and bibliographical
notes. Elementary exercises are marked with a - sign, while the difficult
ones, marked by + signs, are often accompanied by detailed hints. In the
opening sections the reader is led gently through the material: the results
are rather simple and their easy proofs are presented in detail. The later
sections are for those whose interest in the topic has been excited: the theorems
tend to be deeper and their proofs, which may not be simple, are described
more rapidly. Throughout this book the reader will discover connections
with various other branches of mathematics, including optimization theory,
linear algebra, group theory, projective geometry, representation theory,
probability theory, analysis, knot theory and ring theory. Although most
of these connections are nQt essential for an understanding of the book, the
reader would benefit greatly from a modest acquaintance with these SUbjects.
vii
viii Preface
Chapter I
Fundamentals
1. Definitions 1
2. Paths, Cycles and Trees 6
3. Hamilton Cycles and Euler Circuits 11
4. Planar Graphs 16
5. An Application of Euler Trails to Algebra 19
Exercises 22
Notes 25
Chapter II
Electrical Networks 26
1. Graphs and Electrical Networks 26
2. Squaring the Square 33
3. Vector Spaces and Matrices Associated with Graphs 35
Exercises 41
Notes 43
Chapter III
Flows, Connectivity and Matching 44
IX
X Contents
Chapter IV
Extremal Problems 67
1. Paths and Cycles 68
2. Complete Subgraphs 71
3. Hamilton Paths and Cycles 75
4. The Structure of Graphs 80
Exercises 84
Notes 87
Chapter V
Colouring 88
I. Vertex Colouring 89
2. Edge Colouring 93
3. Graphs on Surfaces 95
fure~ ~
Notes 102
Chapter VI
Ramsey Theory 103
I. The Fundamental Ramsey Theorems 103
2. Monochromatic Subgraphs 107
3. Ramsey Theorems in Algebra and Geometry 110
4. Subsequences liS
Exercises 119
Notes 121
Chapter VII
Random Graphs 123
I. Complete Subgraphs and Ramsey Numbers-The Use of the Expectation 124
2. Girth and Chromatic Number-Altering a Random Graph 127
3. Simple Properties of Almost All Graphs-The Basic Use of Probability 130
4. Almost Determined Variables-The Use of the Variance 133
5. Hamilton Cycles-The Use of Graph Theoretic Tools 139
Exercises 142
Notes 144
Chapter VIIl
Graphs and Groups 146
I. Cayley and Schreier Diagrams 146
2. Applications of the Adjacency Matrix 155
3. Enumeration and P6lya's Theorem 162
Exercises 169
Notes 173
The purpose of this introduction is to familiarise the reader with the basic
concepts and results of graph theory. The chapter inevitably contains a
large number of definitions and in order to prevent the reader growing
weary we prove simple results as soon as possible. The reader is not expected
to have complete mastery of Chapter I before sampling the rest of the
book, indeed, he is encouraged to skip ahead since most of the terminology
is self-explanatory. We should add at this stage that the terminology of
graph theory is far from being standard, though that used in this book is
well accepted.
1 Definitions
A graph G is an ordered pair of disjoint sets (V, E) such that E is a subset
of the set of unordered pairs of V. Unless it is explicitly stated otherwise, we
consider only finite graphs, that is V and E are always finite. The set V is
the set of vertices and E is the set of edges. If G is a graph then V = V(G)
is the vertex set of G and E = E(G) is the edge set. An edge {x, y} is said to
join the vertices x and y and is denoted by xy. Thus xy and yx mean exactly
the same edge; the vertices x and yare the end vertices of this edge. If x y E E( G)
then x and yare adjacent or neighbouring vertices of G and the vertices x
and yare incident with the edge xy. Two edges are adjacent if'they have
exactly one common end vertex.
As the terminology suggests, we do not usually think of a graph as an
ordered pair, but as a collection of vertices some of which are joined by
2 I Fundamentals
2 6
4
Figure 1.1. A graph.
edges. It is then a natural step to draw a picture of the graph. In fact, some-
times the easiest way to describe a graph is to draw it; the graph G =
({I, 2, 3, 4,5, 6}, {12, 14, 16,25,34,36,45, 56}) is immediately comprehended
by looking at Figure 1.1.
We say that G' = (V', E') is a subgraph of G = (V, E) if V' c V and
E' c E. In this case we write G' c G. If G' contains all edges of G that join
two vertices in V' then G' is said to be the subgraph induced or spanned by
V' and is denoted by G[V']. A subgraph G' of G is an induced subgraph if
G' = G[V(G')]. These concepts are illustrated in Figure 1.2.
We shall often construct new graphs from old ones by deleting or adding
some vertices and edges. If We V(G) then G - W = G[V\W] is the sub-
graph of G obtained by deleting the vertices in Wand all edges incident with
them. Similarly if E' c E(G) then G - E' = (V(G), E(G)\E'). If W = {w}
and E' = {xy} then this notation is simplified to G - wand G - xy.
Similarly, if x and yare non-adjacent vertices of G then G + xy is obtained
from G by joining x to y.
If x is a vertex of a graph G then instead of x E V(G) we usually write
x E G. The order of G is the number of vertices; it is denoted by IG I. The
same notation is used for the number of elements (cardinality) of a set: IXI
denotes the number of elements of the set X. Thus IGI = IV(G)I. The size
of G is the number of edges; it is denoted by e(G). We write Gn for an
arbitrary graph of order n. Similarly G(n, m) denotes an arbitrary graph of
order n and size m.
2 6
3
3~
4 4
Figure 1.2. A subgraph and an induced subgraph of the graph in Figure 1.1.
I Definitions 3
This path P is usually denoted by xox 1 ... Xl' The vertices Xo and Xl are the
endvertices of P and I = e(P) is the length of P. We say that P is a path
from Xo to Xl or an XO-Xl path. Of course, P is also a path from Xl to Xo or an
XZ-Xo path. Sometimes we wish to emphasize that P is considered to go
from Xo to Xl and then call Xo the initial and Xl the terminal vertex of P. A
path with initial vertex X is an x-path.
The term independent will be used in connection with vertices, edges and
paths of a graph. A set of vertices (edges) is independent if no two elements
of it are adjacent; a set of paths is independent if for any two paths each
vertex belonging to both paths is an endvertex of both. Thus PI, P 2, ... , P k
are independent x-y paths iff V(P;) n V(P) = {x, y} whenever 1 =F j. Also,
W c V(G) consists of independent vertices iff G[W] is an empty graph.
Most paths we consider are subgraphs of a given graph G. A walk Win G
is an alternating sequence of vertices and edges, say Xo, (Xl' X2, (X2, ... , (Xz, Xo
where (Xi = Xi-IX;, 0 ~ i < I. In accordance with the terminology above,
W is an XO-Xl walk and is denoted by XOXI ... Xl; the length of W is l. This
walk W is called a trail if all its edges are distinct. Note that a path is a walk
with distinct vertices. A trail whose endvertices coincide (a closed trail) is
called a circuit. If a walk W = XOXI .. Xl is such that 12 3, Xo = Xl and
the vertices Xi' 0 < i < I, are distinct from each other and Xo then W is said
to be a cycle. For simplicity this cycle is denoted by XIX2 ... Xl' Note that
the notation differs from that of a path since X 1Xl is also an edge of this
cycle. Furthermore, XlX2'" Xl' XIXI- l '" Xl> X2X3'" XIX l , XiXi-l'"
XlXIXI- l . Xi+ 1 all denote the same cycle.
The symbol pi denotes an arbitrary path of length I and C l denotes a
cycle of length I. We call C 3 a triangle, C4 a quadrilateral, C5 a pentagon, etc.
(See Figure 1.4). A cycle is even (odd) if its length is even (odd).
Given vertices x, y, their distance d(x, y) is the minimum length of an
x-y path. If there is no x-y path then d(x, y) = 00.
A graph is connected if for every pair {x, y} of distinct vertices there is a
path from X to y. Note that a connected graph of order at least 2 cannot
contain an isolated vertex. A maximal connected subgraph is a component
DO
I Definitions 5
alternating sequence of vertices and edges: Xo, el' Xl' e2' ... , ez' Xl' such that
eibegins at Xi-l and ends at Xi.
An oriented graph is a directed graph obtained by orienting the edges,
that is by giving the edge ab a direction ab or liii. Thus an oriented graph is
a directed graph in which at most one of ab and bQ occurs.
Theorem 3. A graph is a fores! iff for every pair {x, y} of distinct vertices it
contains at most one x-y path.
PROOF. If XIX2 ... Xl is a cycle in a graph G then XIX2 ... Xl and XIXI are
two Xl-Xl paths in G.
2 Paths, Cycles and Trees 7
i. G is a tree.
n. G is a minimal connected graph, that is G is connected and if xY E E(G)
then G - xY is disconnected. [In other words, G is connected and every
edge is a bridge.]
iii. G is a maximal acyclic graph, that is G is acyclic and if X and yare non-
adjacent vertices of G then G + xY contains a cycle.
The first part of this corollary can be incorporated into several other
characterizations of trees. In particular, a graph of order n is a tree iff it is
connected and has size n - 1. The reader is invited to prove these character-
izations (Exercise 9).
4
Figure 1.6. A graph with a function f: E --+ IR+ ; the number next to an edge xy is the
cost f(xy) of the edge. .
10 I Fundamentals
(3) Pick a vertex x 1 of G and select one of the least costly edges incident
with Xl' say X 1 X2' Then choose one of the least costly edges of the form Xi."t.
where 1:::; i :::; 2 and X {Xl, X2}' Having found vertices Xl> X2," X k
and an edge XiX j ' i < j, for each vertex X j with j :::; k, select one of the least
costly edges of the form XiX, say XiXk+ 1 where 1:::; i :::; k and
Xk+l {X 1X 2 , . , xd The process terminates after we have selected
n - 1 edges. Denote by T3 the spanning tree given by these edges. (See
Figure 1.7.)
Figure I.7. Three of the six economical spanning trees of the graph shown in Figure 1.6.
(4) This method is applicable only if no two pipelines cost the same. The
advantage of the method is that every village can make its own decision and
start building a pipeline without bothering to find out what the other villages
are going to do. Of course, each village will start building the cheapest
pipeline ending in the village. It may happen that both village X and village y
will build the pipeline xy; in this case they meet in the middle and end up
with a single pipeline from X to y. Thus at the end of this stage some villages
will be joined by pipelines but the whole system of pipes need not be con-
nected. At the next stage each group of villages joined to each other by pipe-
lines finds the cheapest pipeline going to a village not in the group and begins
to build that single pipeline. The same procedure is repeated until a connected
system is obtained. Clearly the villages will never build all the pipes of a
cycle so the final system of pipes will be a spanning tree (See Figure 1.8.)
1+
4+
Figure I.8. The graph of Figure 1.6 with a slightly altered cost function (0 < e < 1)
and its unique economical spanning tree.
3 Hamilton Cycles and Euler Circuits 11
The result above shows that if n ~ 3 is odd, then we can string together
!(n - 1) edge disjoint cycles in K n to obtain a circuit containing all the edges
of Kn. In general a circuit in a graph G containing all the edges is said to be
and Euler circuit of G. Similarly a trail containing all edges is an Euler trail.
14 I Fundamentals
A graph is Eulerian if it has an Euler circuit. Euler circuits and trails are
named after Leonhard Euler, who in 1736 characterized those graphs which
contain them. At the time Euler was a professor of mathematics in St.
Petersburg, and was led to the problem by the puzzle of the seven bridges
on the Pregel (see Figure 1.12) in the ancient Prussian city of Konigsberg
(birthplace of Kant; since 1944 it has belonged to the USSR and is called.
Kaliningrad). Could anyone plan a walk in such a way that he would cross
each bridge once and only once?
It is clear that such a walk is possible iff the graph in Figure 1.13 has an
Euler trail.
Theorem 10. A non-trivial connected graph has an Euler circuit iff each vertex
has even degree.
A connected graph has a Euler trail from a vertex x to a vertex y =1= x iff
x and yare the only vertices of odd degree.
PROOF. The conditions are clearly necessary. For example, if XIX2 ... Xm is
an Euler circuit in G and x occurs k times in the sequence Xl> X2'' X m ,
then d(x) = 2k.
We prove the sufficiency of the first condition by induction on the number
of edges. If there are no edges, there is nothing to prove so we proceed to the
induction step.
Let G be a non-trivial connected graph in which each vertex has even
degree. Since e( G) 2': 1, we find that b( G) 2': 2 so, by Corollary 7, G contains
a cycle. Let C be a circuit in G with the maximal number of edges. Suppose
C
A 4E-- -- - - -.... D
B
Figure f.13. A graph of the Konigsberg bridges.
3 Hamilton Cycles and Euler Circuits 15
u v
x
Figj.lfe 1.15. G is randomly Eulerian from x; H is randomly Eulerian from both u and u.
16 I Fundamentals
4 Planar Graphs
The graph of the corridors of an exhibition is a planar graph: it can be drawn
in the plane in such a way that no two edges intersect. Putting it a bit more
rigorously, it is possible to represent it in the plane in such a way that the
vertices correspond to distinct points and the edges to simple Jordan curves
connecting the points of its end vertices in such a way that every two curves
are either disjoint or meet only at a common endpoint. The above representa-
tion of a graph is said to be a plane graph.
There is a simple way of associating a topological space with a graph,
which leads to another definition of planarity, trivially equivalent to the one
given above. Let PI' P2, ... be distinct points in ~3, the 3-dimensional
Euclidean space, such that every plane in ~3 contains at most 3 of these points.
Write (p;, p) for the straight line segment with endpoints Pi and Pj (open
or closed, as you like). Given a graph G = (V, E), V = (Xl, X2, ... , xn), the
topological space
n
R(G) = U{(Pi, P):XiXjEE} u UPi C ~3
1
J:---
Figure 1.16. Constructing a piecewise linear n:presentation.
Theorem 11. If a connected plane graph G has n vertices, m edges and f faces,
then
n- m + f= 2.
since every edge is in the boundary oftwo faces. Relations (3), (4) and Euler's
formula give an upper bound for the number of edges of a planar graph of
order n. This bound can be improved if the girth of the graph, that is the
number of edges in a shortest cycle, is large. (The girth of an acyclic graph is
defined to be 00.)
and so
m ~ -g-(n - 2).
g-2
o
Theorem 12 can often be used to show that certain graphs are non-planar.
Thus K 5, the complete graph of order 5, is non-planar since e(K5) = 10 >
3(5 - 2), and K 3 3 the complete 3 by 3 bipartite graph is non-planar since
its girth is 4 and e(K 3 3 ) = 9 > (4/(4 - 2(6 - 2). The non-planarity of
K 3 3 implies that it is impossible to join each of 3 hours to each of 3 wells by
non-crossing paths, as demanded by a well-known puzzle (see Figure 1.17).
Theorem 14. Let R be a commutative ring and let Ai' A 2 , ... , A2k E Mk(R).
Then [Ai' A 2,, A 2k J = O.
PROOF. We shall deduce the result from a lemma about Euler trails in directed
multigraphs. Let Gbe a directed multigraph of order n with edges e 1, e2, ... ,
em' Thus each ei is an ordered pair of not necessarily distinct vertices. Every
(directed) Euler trail P is readily identified with a permutation of
{I, 2, ... , m}; define B(P) to be the sign of this permutation. Given not neces-
sarily distinct vertices x, y of G, put B(G; x, y) = LpB(P), where the sum-
mation is over all Euler trails from x to y.
Before proving this lemma, let us see how it implies Theorem 14. Write
Eij E Mn(R) for the matrix whose only non-zero entry is a 1 in the ith row and
jth column. Since [A 1, A 2 , ... ,A 2n J is R-linear in each variable and
{Eij: 1 S i,j S n} is a basis of MiR) as .an R-module, it suffices to prove
Theorem 14 when Ak = Ei0k for each k. Assuming this is the case, let Gbe the
directed multigraph with vertex set {I, 2, ... ,n}, whose set of directed edges is
{iljl' i 2j2"'" i2n j2n}' By the definition of matrix multiplication a product
A u1 A u2 '" A u2n is Eij if the corresponding sequence of edges is a (directed)
Euler trial from ito j and otherwise the product is O. Hence [Ai' A 2, .. ,A 2n J
= Li,j B(G; i,j)Eij' By Lemma 15 each summand is 0 so the sum is also O.
PROOF OF LEMMA 15. We may clearly assume that Ghas no isolated vertices.
Let G' be obtained from G by adding to it a vertex x', a path of length
m + 1 - 2n from x' to x and an edge from y to x' (see Figure 1.19). Then
em e".-l
a. b c
IX b
e,
e~
e'
e~ e,
H6 H,
,.~es e. e~
'rr.::
e.
e3 IX e3
b IX
e2 e2 e,
e"
Figure I.21. The graphs G., G2, ii6 and ii,.
trails are Euler trails in exactly one of H6 and H7 and they exhaust all the
Euler trails of H6 and H7, we find that
2 2
B(G; x, x) = L B(G;; x, x) - L B(H;; x, x).
1 1
The first two terms are because of (i) and the second two terms are
because of (ii) so B( G; x, x) = 0, completing the proof of Lemma 15. D
EXERCISES
1. (i) Show that every graph contains two vertices of equal degree.
(ii) Determine all graphs with one pair of vertices of equal degree.
2.- Prove that the complement of a disconnected graph is connected.
r Show that in a graph G there exists a set of cycles such that each edge of G belongs
to exactly one of these cycles iff every vertex has even degree.
4. Show that in an infinite graph G with countably many edges there exists a set
of cycles such that each edge of G belongs to exactly one of these cycles iff for
every X c V(G) the set of edges joining X to V(G) - X is even or infinite.
5. Show that d. ::;; d 2 ::;; ... ::;; dn is the degree sequence of a tree iff d 1 ::::: 1 and
D d; = 2n - 2.
Exercises 23
6. Show that every integer sequence d I ::::; d 2 ::::; .. ::::; dn with d l ;::: I and I~ di =
2n - 2k, k ;::: I, is the degree sequence of a forest with k components.
7. Characterize the degree sequence of forests!
8. Prove that a regular bipartite graph of degree at least 2 does not have a bridge.
9. Let G be a graph of order n. Prove the equivalence of the following assertions.
(i) G is a tree.
(ii) G is connected and has n - 1 edges.
(iii) G is acyclic and has n - 1 edges.
(iv) G = K n for n = I, 2, and if n ;::: 3 then G "# Kn and the addition of an
edge to G produces exactly one new cycle.
10. Let.91 = {A I, A 2' ... , An} be a family of n (;::: 1) distinct subsets of a set X with n
elements. Define a graph G with vertex set .91 in which Ai A j is an edge iff there
exists an x E X such that Ai f::::. Aj = {x}. Label the edge AiAj with x. For He G
let Lab(H) be the set of labels used for edges of H. Prove that there is a forest
Fe G such that Lab(F) = Lab(G).
11. (10 continued) Deduce from the result in the previous exercise that there is an
element x E X such that the sets AI - {x}, A2 - {x}, ... , {An} - {x} are all
distinct. Show that this need not hold for any n if 1.911 = n + 1.
12. A tournament is a complete oriented graph, that is a directed graph in which for
any two distinct vertices x and y either there is an edge from x to y or there is an
edge from y to x, but not both. Prove that every tournament contains a (directed)
Hamilton path.
13: Let G be a connected graph of order n and let 1 ::::; k ::::; n. Show that G contains
a connected subgraph of order k.
14~ Prove that the radius and diameter of a graph satisfy the inequalities
rad G ::::; diam G ::::; 2 rad G,
and both inequalities are best possible.
15:- Given d ;::: I, determine
max min{diam T: T is a spanning tree of G}.
diamG=d
16. Denote by fJo(G) the maximum number of independent vertices in G. Prove that
ifG does not contain a triangle then .1(G) ::::; /3o(G) and deduce that e(G) ::::; tn/3o(G),
where n = IGI.
IT Show that if for every vertex z of a directed graph there is an edge starting at z
(that is d+ (z) > 0) then the graph contains a (directed) cycle.
19. Complete the proof of Theorem 8 by showing in detail that both the second and
third methods construct an economical spanning tree.
20. Show how the fourth method in Theorem 8 can be applied to find an economical
spanning tree even if several edges have the same cost (cf. Figure 1.4).
21. Show that every economical spanning tree can be constructed by each of the first
three methods.
22. Deduce from Theorem 10 that a graph contains an Euler circuit iff all but at
most one of its components are isolated vertices and each vertex has even degree.
State and prove an analogous statement about the existence of an Eulerian trail
from x to y.
23. The following algorithm for finding an Euler circuit X t X 2 . . . Xn in a graph G
is due to Fleury. Pick x arbitrarily. Having chosen Xl' X2, . , Xk, put Gk =
G - {XIX2, X2 X3' .. , Xk-lXk}. If Xk is isolated in Gk> terminate the algorithm.
Otherwise let xk+ 1 be a neighbour of X k in Gk such that XkXk+ 1 is not a bridge,
. unless every edge of Gk incident with X k is a bridge.
Prove that if G has an Euler circuit then the trail X 1X 2 .. Xl constructed
by the algorithm is an Euler circuit.
24. A graph G is randomly Eulerian from a vertex x if any maximal trail starting at x
is an Euler circuit. (If T = xx 1 Xl then T is a maximal trail starting at x iff
Xl is an isolated vertex in G - E( T).) Prove that a non-empty graph G is randomly
Eulerian from X iff G has an Euler circuit and x is contained in each cycle of G.
25. Let F be a forest. Add a vertex x to F and join x to each vertex of odd degree
in F. Prove that the graph obtained in this way is randomly Eulerian from x.
26. Prove that a graph G is randomly Eulerian from each of two vertices x and y
iff G is the union of an even number of x-y paths, any two of which have only x
and y in common.
27. How would you define the number of sides of a face so that formula (4) continues
to hold for graphs with bridges? Rewrite the proof of Theorem 12 accordingly.
28.+ Prove that every planar graph has a drawing in the plane in which every edge is a
straight line segment. [Hint. Apply induction on the order of maximal planar
graphs by omitting a suitable vertex.]
29. A plane drawing of an infinite graph is defined as that of a finite graph with the
additional condition that each point has a neighbourhood containing at most one
vertex and meeting only edges incident with that vertex.
Show that Kuratowski's theorem does not hold for infinite graphs, that is
construct an infinite non-planar graph without TK 5 and T K 3.3.
Is there an infinite non-planar graph without a T K4?
30. Let d 1 :::; d 2 :::; . :::; dn be the degree sequence of a planar graph.
(i) By making use of an upper bound for 2:1 d i , show that if d 1 2': 4 then
Notes
Theorem 14 is in K. Kuratowski, Sur Ie probIeme des courbes gauches en
topologie, Fund. Math. 15 (1930) 271-283; for a simpler proof see G. A.
Dirac and S. Schuster, A theorem of Kuratowski, Indag. Math. 16 (1954)
343-348.
The theorem ofS. A. Amitsur and J. Levitzki (Theorem 14) is in Minimal
identities for algebras, Proc. Amer. Math. Soc. 1 (1950) 449-463; the proof
given in the text is based on R. G. Swan, An application of graph theory to
algebra, Proc. Amer. Math. Soc. 14 (1963) 367-373 and Correction to " An
application of graph theory to algebra," Proc. Amer. Math. Soc. 21 (1969)
379-380.
CHAPTER II
Electrical Networks
This chapter is something of a diversion from the main line of the book, so
some readers may wish to skip it. Only the concepts introduced in the
first half of 3 will be used later, in 2 of Chapter VIII.
It does not take long to discover that an electrical network may be viewed
as a graph, so the simplest problems about currents in networks are exactly
questions about graphs. Does our brief acquaintance with graphs help us
to tackle the problems? As it will transpire in the first section, the answer is
yes; for after a short review of the basic ideas of electricity we make use of
spanning trees to obtain solutions. Some of these results can be reformulated
in terms of tilings of rectangles and squares, as we shall show in 2. The last
section introduces elementary algebraic graph theory which is then applied
to electrical networks.
It should be emphasised that in the problems we consider we use hardly
more than the terminology of graph theory; virtually the only concept to
be used is that of a spanning tree.
26
l Graphs and Electrical Networks 27
Kirchhoff's current law postulates that the total current outflow from any
point is 0:
Wab + Wac + ... + Wau + Waco = O.
Here ab, ac, ... ,au are the edges incident with a, and Waco denotes the
amount of current that leaves the network at a. (In keeping with our con-
vention, Wcoa = -Waco is the amount of current entering the network at a).
For vertices not connected to external points we have
Wab + Wac + ... + Wau = O.
Note that if we know the resistances, then the potential law can be re-
written as a restriction on the currents in the edges. Thus we may consider
that the currents are governed by the Kirchhoff laws only; the physical
characteristics of the network (the resistances) affect only the parameters in
these laws.
It is also easily seen that the potential law is equivalent to saying that one
can assign absolute potentials Va, Yt" ... to the vertices a, b, ... so that the
potential difference between a and b is Va - Yt, = Pab. If the network is
connected and the potential differences Pab are given for the edges, then we
are free to choose arbitrarily the potential of one of the vertices, say Va, but
then all the other potentials are determined. In this section we shall work
28 II Electrical Networks
with the potentials, usually choosing the potential of one of the vertices to
be 0, but we must keep in mind that this is the same as the application of the
voltage law.
In the most fundamental problems current is only allowed to enter the
network at a single point s, the source, and only leave it at another point t,
the sink. (We shall indicate later that the general problem can be reduced
to these fundamental problems.) If the size of the current from s to t is w
and the potential difference between sand t is p, then by Ohm's law r = p/w
is the total resistance of the network between sand t. As an example of the
use of the Kirchhoff laws we shall evaluate the total resistance between sand
t of the simple network shown in Figure Ill.
s
can show that any current resulting from multiple sources and sinks can be
obtained by superposing flows belonging to one source and one sink, that is
solutions of the fundamental problems mentioned above can be used to
solve the general problem. Furthermore, the principle of superposition implies
immediately that there is at most one solution, no matter how the sources
and sinks are distributed. Indeed, the difference of two distinct solutions is a
flow in which no current enters or leaves the network at any point. If in
this flow there is a positive current in some edge from a to b, then by the
current law a positive current must go from b to c, then from c to d, etc.,
giving a trail abed . ... Since the network is finite, this trail has to return
to a point previously visited. Thus we obtain a circuit in whose edges positive
currents flow in one direction. But this is impossible since it implies that the
potential of each vertex is strictly greater than that of the next one round
the circuit.
Before proving the existence of a solution (which is obvious if we believe
in the physical interpretation), we shall calculate the total resistance of two
networks. Unless the networks are very small, the calculations can get very
heavy, and electrical engineers have a number of standard tricks to make them
easier.
The very simple networks of Figure 11.2 show two resistors r1 and r2
connected first in series and then in parallel. Let us put a current of size 1
through the networks, from s to t. What are the total resistances? In the first
case
v., = r1 and V. = v., + r2 = r1 + r2
so the total resistance is
r = r1 + r2'
In the second case, when they are connected in parallel, if a current of size e
goes through the first resistor and so a current of size 1 - e through the
second, then
30 II Electrical Networks
I
b s tat b
e ] I! ! d ! e
f
Figure II.3.
r] t t d
Calculating the total resistance of a cube.
l Graphs and Electrical Networks 31
.{c
b~C
Figure 11.4. The star-delta transformation; S = AB + BC + CA.
J.
2
1
2
1 J.
4
1 5 !
'-4 l '-4
The proof above can be rewritten word for word to give a solution in
the case when the edges have arbitrary conductances. For a spanning tree T
define the weight w(T) of T as the product of the conductances of its edges.
Let N* be the sum of the weights of all the spanning trees, let N*(s, a, b, t)
be the sum of the weights of all the spanning trees in which b follows a on
the (unique) Sot path in the tree, and let N*(s, b, a, t) = N*(t, a, b, s).
Corollary 3. If the conductances of the edges are rational and a current of size
1 goes through the network then the current in each edge has rational value.
D
3 3
What happens if we ensure that the silver rod at the top is at 7 volts while
the rod at the bottom is kept at O? Of course a uniform current will flow
from top to bottom. In fact the potential at a point of the rectangle will
depend only on the height of the point: the potential at height x will be x
volts. Furthermore, there will be no current across the rectangle, only from
top to bottom. Thus the current will not change at all if (i) we place silver
rods on the horizontal sides of the squares and (ii) cut narrow slits along
the vertical sides, as shown in the first picture of Figure II.7.
Now since silver is a very good conductor, the points of each silver rod
have been shortened, so can be identified. Thus as an electric conductor the
whole rectangle behaves like. the plane network shown in the second picture
of Figure II.7, in which the conductance of an edge is equal to the conductance
34 II Electrical Networks
-ys s
V,=7
a
a V. = 5
~t Y,=o
Figure II.7. The electrical network associated with our rectangle.
27
35
50
8\ 19
15 1217 111
~
Y..ll 24
25 18
29 16
4
37 42
33
Figure II.8. A perfect squared square: a tiling of a square with 21 incongruent squares.
3 Vector Spaces and Matrices Associated with Graphs 35
found with the help of computers, but the first examples were found without
computers by Sprague in 1939 and by Brooks, Smith, Stone and Tutte in
1940. The smallest number of squares that can tile a square is 21; Figure 11.8
shows this tiling, due to Duijvestijn. In fact, this is the only tiling of order 21.
The connection between squaring a rectangle and electrical networks
gives us immediately a beautiful result first proved by Dehn in 1903. Corollary
3 tells us that if each edge has resistance 1 and a current of size 1 flows
through the system then in each edge the value of the current is rational.
This translates to the following result about squared rectangles.
Theorem 4. If a rectangle can be tiled with squares then the ratio of two
neighbouring sides of the rectangle is rational. 0
Equivalently: a rectangle can be tiled with squares iff it can be tiled with
congruent squares.
It is easily seen that electrical networks can be used to obtain tilings of
rectangles of prescribed shapes: an edge e of resistance r corresponds to a
rectangle in which the height is r times the base. The reader is encouraged to
solve the exercises based on this simple idea (Exercises 9-12); some other
exercises concern related packing problems (Exercises 13-15).
Figure 11.9. If the thick cycle L is oriented anti-clockwise, its vector in C 1(L) is
ZL = ( - 1, 1, 1, - 1, 1, 0, ... , 0).
Theorem 5. The inner product space C I (G) is the orthogonal direct sum of
the cycle space Z(G) and the cut space U(G). If G has n vertices, m edges and
k components then
dim Z(G) = m - n +k and dim U(G) = n - k.
PROOF. Let us see first that Z(G) and U(G) are orthogonal. Let L be a cycle
and P a partition V = VI U V2 What is the product (ZL' up)? It is simply
the number of edges of L going from VI to V2 in the orientation of L, minus
the number of edges of L from V2 to VI' Thus (ZL, up) = a for every cycle L
and partition P, so Z(G) and U(G) are indeed orthogonal.
Since the dimension of CI(G) is the number of edges, m, both assertions
will be proved if we show that dim Z(G) ;;::: m - n + 1 and dim U(G) ;;:::
n - 1. We shall first prove this under the assumption that G is connected;
the general case will follow easily.
3 Vector Spaces and Matrices Associated with Graphs 37
deleting an edge ei of T the remainder of the spanning tree falls into two
components. Let Vii be the vertex set of the component containing the
initial vertex of ei and let V~ be the vertex set of the component containing
the terminal vertex of ei' If Pi is the partition V = V~ u V~ then clearly
uple) = ()ij for 1 ~ j ~ n - 1. The cut E(VL V~) is the fundamental cut
belonging to ei (with respect to T) and up; is the fundamental cut vector.
It is easily seen that {zc;: n ~ i ~ m} is an independent set of cycle vectors.
Indeed, if z = Li"=n AiZC; = 0 then for every j 2=: n we have 0 = z(e) =
Li"=n Ai()ij = Yj and so every coefficient A. j is O. Similarly the fundamental
cut vectors up;, 1 ~ i ~ n - 1, are also independent. Hence dim Z(G) 2=:
m - n + 1 and dim U(G) 2=: n - 1, as required.
Finally, the general case k 2=: 1 follows immediately from the case k = 1.
For if G has components G1 , G2 , ... , Gk then C 1 (G) is the orthogonal direct
sum of the subspaces C 1(G;), i = 1,2, ... , k; furthermore Z(G i ) =
Z(G) n C 1 (G i ) and U(G;) = U(G) n C 1(G;), 0
The proof above shows that dim Z(G), called the cyclomatic number of
G, and dim U(G) are independent of the field over which the edge space is
defined. The use of a spanning tree in the proof is not compulsory; in some
cases, for instance in the case of a planar graph, there are other natural cycle
and cut bases (cf. Exercise 16).
38 II Electrical Networks
There are several matrices naturally associated with a graph and its
vector spaces discussed above. The adjacency matrix A = A(G) = (ai) of a
graph G is the n x n matrix given by
a ..
I)
= {I ifvivjEE(G),
0 otherwise.
In order to define the incidence matrix of a graph we again consider an
orientation of the edges, as in the definition of the cycle and cut spaces. The
incidence matrix B = B( G) = (b i) of G is the n x m matrix defined by
I if Vi is the initial vertex of the edge ej'
bij = { -1 if Vi is the terminal vertex of the edge ej'
o otherwise.
There is a simple connection between the two matrices A and B.
In Chapter VIII we shall discuss in some detail the eigenvalues and eigen-
vectors of the adjacency matrix; in this section we shall use the matrices to
solve the electrical network problem discussed in the first section. In fact,
it was Kirchhoff who first realized the applicability of matrix algebra to
graph theory, exactly in connection with the electrical network problem.
How can we formulate the Kirchhoff laws in terms of matrices and vectors
in the edge space? Let us assume that G' is the graph of our electrical network;
V(G') = {Vb V2,"" Vn- d, E(G') = {el, e2,' em'}' the network is con-
nected and we have a voltage generator ensuring that the potential difference
between Vi and Vj is gi - gj volts for 1 :::; i < j :::; k. In order to express
Kirchhoff's laws in a neat form, we add a vertex Vn to G', and join it to
Vb V2"'" Vk; the new graph is G. Let m = m' + k and em'+l = VnVi, i =
1,2, ... , k, so that V(G) = {Vl, C2"'" vn} and E(G) = {el, e2"'" em}.
3 Vector Spaces and Matrices Associated with Graphs 39
Give the edges of G' an arbitrary orientation and let Wi be the amount of
current flowing in the edge ei in the direction of ei; thus Wi = -1 means a
current of 1 ampere in the opposite direction. Direct each new edge em' + i
from Vn to Vi and let W m , + i be the total current entering the network at Vi.
Once again, W m' + i = - 1 means that a current of 1 ampere leaves the network
at Vi. The vector w = (W b W2' ' .. , Wm ) E C 1(G) is the current vector. In this
notation Kirchhoff's current law takes the form
Bw= O. (1)
We have no greater difficulty in formulating Kirchhoff's potential law
in matrix form. Let Pi be the potential difference in the edge ei and let P =
(PI, P2' . , . , Pm) E C I (G) be the potential vector. The potential law states that
<z, p) = for every cycle Z E C I (G). Instead of postulating this about every
cycle, we collect all necessary information into a single matrix. As before, we
choose a spanning tree Tin G and label the edges so that el' e2' "., en-I
are the tree edges and en, en+ b .. " em are the chords, Let C be the m x
(m - n + 1) matrix whose ith column is the fundamental cycle vector
ZC n _l+; belonging to the edge en -1+i, i = 1,2, ... , m - n + 1. Since the
fundamental cycle vectors form a basis of the cycle space, the potential law
takes the form
Cp = 0, (2)
where C denotes the transpose of C.
Now in order to find the current through the edges of G' we need one
more equation, namely the equation relating the potential to the current,
the conductance and the voltage generator. For i ::s; m' let di be the con-
ductance of the edge ei and postulate that each new edge ej (j ~ m' + 1)
has conductance dj = 0. We may assume that di > for every i ::s; m' since
otherwise the edge ei could have been cut. Let D be the m x m diagonal
matrix with (D)ii = d i Finally, let g = (0, ... ,0, gl' g2' , .. , gk) E C1(G) be
the vector of the voltage generator. Then clearly
p = Dw + g. (3)
This equation contains all the information we have about the electric current
in addition to the Kirchhoff laws,
In order to solve (1), (2) and (3) forw and p, we shall split C 1 (G) as ET + EN,
where ET is the subspace spanned by the tree edges and EN is spanned by the
chords, the edges not belonging to T. Let w = (WT' wN ) and p = (PT, PN)
be the corresponding splittings; furthermore, writing 1J for the matrix
obtained from B by omitting the last row, we have
BC
= and so BC = 0, giving BTCT = -BN. Now BT is invertible, as the
reader should check (cf. Exercise 19), so
CT = -Bi1BN
After this preparation we can easily solve our equations.
sufficient (and more or less necessary) for the existence of a unique current
w: gA = for every i and the edges ej with dj > form a connected subgraph.
Furthermore, the results hold for multigraphs, that is "graphs" in which
several edges may join the same pair of vertices. The reader may find it
necessary to check that all the concepts (incidence matrix, cycle and cut
spaces, fundamental cycles and cuts) can be defined as before and the proofs
of the results remain unchanged.
By considering multigraphs one can set up Theorem 7 in a slightly simpler
form without adding a new vertex to the graph G' of the network. Thus if the
current enters G' at a vertex and leaves it at a vertex b, then we join a to b by a
new edge e of conductance (even if a and b had been joined before), and
postulate (by choosing g = (0, 0, ... , 0, 1), where e is the last edge) that the
potential difference in e is 1. Using this set-up one can check that the ratio
of the current in ei to the total current (that is the current in e) is indeed
given by Theorem 1 of 1, though this checking is rather tedious and involved.
On the other hand, it is very easy to express the total number of spanning
trees in a graph in terms of the incidence matrix.
To do this we make use of two facts. The first is an extension ofthe observa-
tion that BT is invertible: the modulus of the determinant of an (n - 1)
x (n - 1) submatrix of B is 1 if the edges corresponding to the columns
form a tree and otherwise (cf. Exercise 19). The second is the Cauchy-Binet
formula oflinear algebra, stating that if K is a p x q matrix (p :::; q) and L is a
q x p matrix then det KL = Lpdet KpLp = Lpdet Kp det Lp. Here the
summation is over all p-subsets P of {l, 2, ... , q}, and Kp is the p x p sub-
matrix of K formed by the columns of K indexed with elements of P and Lp is
the submatrix of L formed by the corresponding rows of L. Putting the two
together we arrive at the following formula.
EXERCISES
9. Which squared rectangle corresponds to the network in Figure 1I.12? Rotate the
rectangle through 90 and draw the network for this rectangle.
10.- How many essentially different squared rectangles correspond to the network
of the cube in Exercise 3?
42 II Electrical Networks
t 2
12. Find the simple perfect squared square given by the network in Figure 11.14.
(This example was found in 1964 by J. Wilson.)
13. Show that an equilateral triangle cannot be dissected into finitely many in-
congruent equilateral triangles.
14.- Prove that if a rectangular parallelepiped can be decomposed into cubes then the
ratios of its sides are rational.
15. Show that a cube cannot be dissected into finitely many incongruent cubes.
16. Show that in a plane graph the boundaries of bounded faces form a. cycle basis.
17. Show that the cycle space is the kernel of the map C I (G) -+ Co( G) defined by the
incidence matrix B.
18. Let B' be the transpose of B. Show that the cut space is the image of the map
Co(G) -+ C1(G) defined by B'.
19. Let F be a set of n - 1 edges of a graph of order n with incidence matrix B. Let
Bf" be an (n - 1) x (n - 1) submatrix of B whose columns correspond to the
edges of F. Prove that BF is invertible iff F is the edge set of a tree.
20. Deduce from Theorem 8 that there are n" - 2 trees on n distinguishable vertices.
Notes 43
Notes
The first squared square was published by R. Sprague, Beispiel einer Zer-
legung des Quadrats in lauter verschiedene Quadrate, J. Reine Angew. Math.
182 (1940) 60-64, closely followed by R. L. Brooks, C. A. B. Smith, A. H.
Stone and W. T. Tutte, The dissection of rectangles into squares, Duke Math.
J. 7 (1940) 312-340. The square shown in Fig. 8 was published in A. J. W.
Duijvestijn, Simple perfect square of lowest order, J. Combinational Theory
Ser. B 25 (1978) 240-243.
The original proof of Theorem 4 is due to Max Dehn, Uber die Zer-
legung von Rechtecken in Rechtecke, Math. Ann. 57 (1903) 314-322. Two
survey articles the reader may wish to look at are W. T. Tutte, The quest of
the perfect square, Amer. Math. Monthly 72 (1965),29-35 and N. D. Kaza-
rinoff and R. Weitzenkamp, Squaring rectangles and squares, Amer. Math.
Monthly 80 (1973) 877-888.
CHAPTER III
Flows, Connectivity and Matching
44
l Flows in Directed Graphs 45
r+(x) = {y E V: xy E if},
r-(x) = {y E V: yx E if},
L
YEf+(x)
J(x, y) = L
ZEf-(x)
J(z, x) for each x E V - {s, t}.
Since
o= L {L
XEV-{S,t} YEf+(x)
J(x, y) - L
ZEf-(x)
J(z, X)}
L
YEf+(s)
J(s, y) - L
YEf-(s)
J(y, s) = L
YEf-(t)
J(Y, t) - L
YEf+(t)
J(t, y).
The common value, denoted by v(f), is called the value ojJ or the amlJunt oj
flow from s to t.
We wish to determine the maximal flow value from s to t provided the
flow satisfies certain constraints. First we shall deal with the case when the
46 III Flows, Connectivity and Matching
so called capacity of an edge restricts the current through the edge. It will
turn out that several other seemingly more complicated restrictions can be
reduced to this case.
Let us fix our directed graph G = (V, ) and two vertices in it, say sand
t. With each edge xy of G we associate a non-negative number c(x, y), called
the capacity of the edge. We shall assume that the current flowing through
the edge xy cannot be more than the capacity c(x, y).
Given two subsets X, Y of V we write (X, Y) for the set of directed
X-Yedges:
(X, Y) = {XY:XEX,yE Y}.
for every flow I, so v = sup v(f) < 00. Let II> 12, ... be a sequence of flows
with limn v(fn) = v. Then, by passing to a subsequence, we may assume that
for each xy E the sequence (fix, y is convergent, say to I(x, y). The
\
I
I
\
2 \
,, \ I
,, /
I
6
\
,, t I
I
/
-'
Figure IIU. A cut with capacity 12. (The numbers next to the edges indicate their
capacity.)
l Flows in Directed Graphs 47
functionfis a flow with value v, that is a flow with maximal value. In a similar
way one can show that even if some of the edges have infinite capacity, there
is a flow with maximal value which can be either finite or infinite (Exercise 3).
and each summand in the second sum is zero. Hence c(S, S) = v(f), as
required. D
that is if c(x, y) is an integer for every edge xy. We start with the identically
zero flow: fo(x, y) = 0 for every xy E E. We shall construct an increasing
sequence of flows fo, f1' f2' ... that has to terminate in a maximal flow.
Suppose we have constructed!;. As in the proof above, we find the set S
belonging to j;. Now if t f. S then!; is a maximal flow (and E(S, S) is a minimal
cut) so we terminate the sequence. If, on the other hand, t E S, then!; can be
augmented to a flow!; + 1 by increasing the flow along a path from s to t.
Since each v(!;) is an integer, we have v(!;) ~ V(!;-1) + 1, and the sequence
must end in at most Lx,y c(x, y) steps.
Moreover, if c is integral the algorithm constructs a maximal flow which
is also integral, that is a flow whose value is an integer in every edge. Indeed,
fo is integral and if!;_1 is integral then so is!;, since it is obtained from!;_1
by increasing the flow in a path by a value which is the minimum of positive
integers. This result is often called the integrality theorem.
We shall rely on this simple result when we use the max-flow min-cut
theorem to find various paths in graphs. It is important to note that the
results do not claim uniqueness: the algorithm finds one of the maximal
flows (usually there are many) and Theorem 2 claims that one ofthe maximal
flows is integral.
The existence of the algorithm proves some other intuitively obvious
results as well. For instance, there is a maximal acyclic flow, that is one which
does not contain a flow around a cycle X 1 X 2 ' .. , x k :
It may seem somewhat surprising that if instead of one source and one
sink we take several of each, the situation does not become any more com-
plicated. The only occasion we have to be a little more careful is the defini-
tion of a cut. If S 1, ... , Sk are the sources and t 1, ... ,t l are the sinks then
E(S, S) is a cut if Si E Sand tj E S for every i, j, 1 :5: i :5: k, 1 :5: j ::; I.
In order to be able to apply the max-flow min-cut theorem, let us add a
new source S and a new sink t to G, together with all the edges SSi and tjt
of infinite capacity. Let Ii be the graph obtained in this way. Consider those
flows from S 1, ... , Sk to t 1, ... , tl in G in which the total current entering
(leaving) a source (sink) is not greater than the total current leaving (en-
tering) it. These flows can easily be extended to a flow from S to t in Ii and
this extension establishes a 1-1 correspondence between the two sets of
flows. Furthermore, a cut separating S from t in Ii that has finite capacity
cannot contain an edge _of the form SSi and tjt, so it corresponds to a cut
of the same capacity in G, separating S 1, ... , Sk from t 1, ... , t l . Thus Theo-
rem 1 has the following extension.
l Flows in Directed Graphs 49
Theorem 3. The maximum of the flow value from a set of sources to a set of
sinks is equal to the minimum of the capacity of cuts separating the sources
from the sinks. 0
'm,
x
.~
Figure III.2. Replacing a graph Gwith restrictions on the capacity of the vertices by a
graph H with restrictions on the capacity of the edges.
Indeed, if we delete alI the edges incident with a vertex, the graph becomes
disconnected, so the second inequality holds. To see the other inequality,
note first that if G is complete then K( G) = ,1,( G) = IG I - 1, and if K( G) ~ 1
then A(G) = K(G). Suppose now that G is not complete, A(G) = k ~ 2 and
{X 1 Yl,X2Yz, . ,Xk Yk} is a set of edges disconnecting G. If G-
{Xl' X2"'" Xk} is disconnected then K(G) ~ k. Otherwise each vertex Xi
2 Connectivity and Menger's Theorem 51
Figure 111.3. A 4-edge-connected graph G such that G - Xl' XZ, X3, X 4 is connected.
has degree at most k (and so exactly k), as shown in Figure 111.3. Deleting
the neighbours of Xl' we disconnect G. Hence K = A(G).
Another property immediate from the definition of vertex-connectivity
is that if G l and Gz are k-connected (k ~ 1) subgraphs of a graph G having
at least k common vertices, then Gl U G z is also k-connected. Indeed if
W c V(G l ) U V(G z ) has at most k - 1 vertices, then there is a vertex X
in V(G l ) n V(Gz)\w. Therefore the connected subgraphs Gl - Wand
G z - W of G have at least one vertex, namely x, in common, so G l U G z -
W = (G l - W) u (G z - W) is connected.
Having seen in Chapter I how useful it is to partition a graph into its
components, that is into its maximal connected subgraphs, let us attempt a
similar decomposition using all maximal 2-connected subgraphs. A sub-
graph B of a graph G is a block ofG if either B is a bridge (and its endvertices)
or else it is a maximal 2-connected subgraph of G. The remarks above show
that any two blocks have at most one vertex in common and if x, yare
distinct vertices of a block B then G - E(B) contains no x-y path. Therefore
every vertex belonging to two blocks is a cutvertex of G, and, conversely,
every cut vertex belongs to at least two blocks. Recalling that a cycle is 2-
connected and an edge is a bridge iff no cycle contains it, we find that G
decomposes into its blocks B l , B z , ... , Bp in the following sense:
p
Figure I1I.4. The construction of the block-cut vertex tree bc(G). Bl is an endblock.
Theorem 5.
i. Let sand t be distinct non-adjacent vertices of a graph G. Then the minimal
number of vertices separating s from t is equal to the maximal number of
independent s-t paths.
11. Let sand t be distinct vertices of G. Then the minimal number of edges
separating s from t is equal to the maximal number of edge-disjoint s-t
paths.
PROOF. (i) Replace each edge xy of G by two directed edges, .xy and yx, and
give each vertex other than sand t capacity 1. Then by Theorem 4 the
maximal flow value from s to t is equal to the minimum of the capacity of a
cut separating s from t. By the integrality theorem (Theorem 2) there is a
maximal flow with current 1 or 0 in each edge. Therefore the maximum flow
value from s to t is equal to the maximal number of independent s-t paths.
The minimum of the cut capacity is clearly the minimal number of vertices
separating s from t.
(ii) Proceed as in (i), except instead of restricting the capacity of the
vertices, give each directed edge capacity 1. 0
The two parts of the above theorem are called the vertex form of Menger's
theorem and the edge form of Menger's theorem. One can easily deduce
the edge form from the vertex form (Exercise 14), but the other implication
is not so easily proved. Since, as we have mentioned already, the max-flow
min-cut theorem can also be deduced from Menger's theorem, we shall give
another proof of the vertex form of Menger's theorem from first principles.
3 Matching
Given a finite group G and a subgroup H of index m, can you find m elements
of G, say gl' g2"'" gm, such that {glH, g2H, ... , gmH} is the set of left
co sets of Hand {Hgl> Hg 2 , ... , Hg m} is the set of right cosets? A reformula-
tion of this problem turns out to be a special case of the following problem
arising frequently in diverse branches of mathematics. Given a family
54 III Flows, Connectivity and Matching
2ND PROOF. In this proof, due to Halmos and Vaughan, we shall use the
matchmaking terminology. We shall apply induction on m, the number of
girls. For m = 1 the condition is clearly sufficient so we assume that m ~ 2
and the condition is sufficient for smaller values of m.
Suppose first that any k girls (1 ::;;; k < m) know at least k + 1 boys.
Then we arrange one marriage arbitrarily. The remaining sets of girls and
boys still satisfy the condition, so the other m - 1 girls can be married off
by induction.
Suppose now that for some k, there are k girls who altogether know ex-
actly k boys. These girls can clearly be married off by induction. What
about the other girls? We can marry them off (again by induction) if they
also satisfy the condition provided we do not count the boys who are already
married. But the condition is satisfied since if some I girls to be married
know fewer than I remaining boys then these girls together with the first k
girls would know fewer than k + I boys. 0
3RD PROOF. This proof is due to Rado. Let G be a minimal graph satisfying
the condition. It suffices to show that G consists of I VI I independent edges.
If this is not so then G contains two edges of the form al x, a2 x, where
aI' a2 E VI and x E V2 . Since the deletion of either of these edges invalidates
the condition, there are sets AI, A2 C VI such that I r(Ai) I = lAd and ai
is the only vertex of A;(i = 1, 2) adjacent to x. Then
Theorem 7'. A family d = {AI' A 2 , ... , Am} of sets has a set of distinct
representatives iff
U Ai I ~
I ,eF IFI for every Fe {l, 2, ... , m}. o
There are two natural extensions of the marriage theorem. Suppose the
marriage condition is not satisfied. How near can we come to marrying off
56 III Flows, Connectivity and Matching
all the girls? When can we marry off all the girls but d of them? Clearly
only if any k of them know at least k - d boys. This obvious necessary con-
dition is again sufficient.
Corollary 8. Suppose the bipartite graph G = Gim, n) with vertex sets Vi' V2
satisfies the following condition:
!r(S) I ;::: lSI - d for every S C Vi'
Then G contains m - d independent edges.
PROOF. Add d vertices to V2 and join them to each vertex in Vi' The new
graph G* satisfies the condition for a complete matching. At least m - d
of the edges in this matching belong to G. D
Corollary 9. Let G be a bipartite graph with vertex classes Vi = {Xl' ... ,xm}
and V2 = {Yl, ... ,Yn}' Then G contains a subgraph H such that dH(x;) = di
and 0 ~ dH(Yi) ~ 1 iff
Ir(S)I;::: L di for every S C Vi'
XiES
Of course, Corollary 9 also has a defect form which the reader is en-
couraged to state and deduce from this.
The reader is probably aware of the fact that these corollaries are still
special cases of the max-flow min-cut theorem. In fact, the bipartite graph
version of the max-flow min-cut theorem is considerably more general
than the corollaries above.
1~ i ~ m
and
1 ~ j ~ n,
3 Matching 57
Ld
X,ES
i ::; L min{Sj' ej} + d.
j=l
X,E
L d; + Lmin{Sj'
T 1
e).
The reader is invited to check that the second proof of Theorem 7 can be
rewritten word for word to give a proof of the exact form of this result (that
is with d = 0) and the defect form (the case d ~ 0) can be deduced from it
as Corollary 8 was deduced from Theorem 7 (Exercise 26).
To conclude this section we prove another extension of the marriage
theorem. This is Dilworth's theorem concerning partially ordered sets. A
partial order < on a set is a transitive and irreflexive relation defined on
some ordered pairs of elements. Thus if X < Y and Y < x then x < Z, but
x < Y and Y < x cannot both hold. A set with a partial order on it is a
partially ordered set. The relation x ::; Y expresses the fact that either x = Y
or else x < y. A subset C of a partially ordered set P is a chain (or tower) if
for x, Y E C either x ::; Y or Y < x. A set A c P is an antichain if x < Y
implies that {x, y} A. See Figure Ill.5 for an example.
Figure III.5. A partially ordered set and a maximal antichain. (An edge indicates
that its upper endvertex is greater than its lower endvertex.)
58 III Flows, Connectivity and Matching
Theorem 11. If every antichain in a (finite) partially ordered set P has at most
m elements then P is the union of m chains.
PROOF. Let us apply induction on 1P I. If P = 0 there is nothing to prove
so we suppose that 1PI> 0 and the theorem holds for sets with fewer ele-
ments.
Let C be a maximal chain in P. (Thus if x C then C u {x} is no longer a
chain.) If no antichain of P - C has m elements then we are home by in-
duction. Therefore we may assume that P - C contains an antichain
A = {aI, a2"" ,am}
Define the lower shadow of A as
s- = {x E P: x ::; a; for some i},
and define the upper shadow S + of A analogously. Then P is the union of the
two shadows since otherwise A could be extended to an antichain with
m + i elements. Furthermore, neither shadow is the whole of P since the
maximal element of C does not belong to S - and the minimal element of C
does not belong to S+. By the induction hypothesis both shadows can be
decomposed into m chains, say
m
and S+ = Uct.
I
Figure III.6. A graph G with a I-factor: lSI = 4 and G - S has 2 odd components.
PROOF. We know that the condition is necessary. We shall prove the suffi-
ciency by induction on the order of G. For IG I = 0 there is nothing to prove.
Now let G be a graph of order at least one satisfying (*) and suppose that
the theorem holds for graphs of smaller order.
Let So c V(G) be a non-empty set for which equality holds in (*). Denote
by C 10 C 2 , .. , Cm, m = I So I :2: 1, the odd components of G - So and let
D 1 , D2 , , Dk be the even components of G - So. If the theorem is true
and G does contain a I-factor F then for each Ci there is at least one edge
of F that joins a vertex of Ci to a vertex in So. Since m = I So I, for each Ci
there is exactly one such edge, say Ci Si' Ci E Ci , Si E So. Each Ci - Ci contains
a I-factor, (a subgraph of F), and each D j contains a I-factor (a subgraph of
F). Finally, the edges S1C1' S2C2,"" SmCm form a complete matching from
So into the set {C 1 , C 2 , . , Cm}.
The proof is based on the fact that one can find an So which has all the
properties described above. How shall we find such a set So? Let So be a
maximal non-empty subset of V(G) for which equality holds in (*). Of
course, a priori it is not even clear that there is such a set So. With S = 0
the condition (*) implies that G has an even order. If S is any vertex of G
then G - {s} has even ordet so it has at least one odd component. Since (*)
60 III Flows, Connectivity and Matching
holds, G - {s} has exactly one odd component. Hence for every S = {s}
we have equality in (*). This establishes the existence of So.
As before, C I , C 2 , , Cm, m = ISol, are the odd components of G - So
and D l , D2 , , Dk are the even components.
(i) Each Dj has a l1actor. Indeed, if S c V(D) then
q(G - So uS) = q(G - So) + q(D j - So) ~ ISo u SI = ISol + lSI,
so
q(Dj - S) ~ lSI.
Corollary 13. A graph G contains a set of independent edges covering all but
at most d of the vertices iff
q(G - S) ::;; lSI + d for every S c: V(G).
PROOF. Since the number of vertices not covered by a set of independent
edges is congruent to IG I modulo 2, we may assume that
d == IGI (mod 2).
Put H = G + K d , that is let H be obtained from G by adding to it a set W
of d vertices and joining every new vertex to every other vertex, old and new.
Then G contains a set of independent edges covering all but d of the vertices
itT H has got a I-factor. When does (*) hold for H? If W - S' "# 0 then
H - S' is connected so q(H - S') ::;; 1 and then (*) does hold; if W c: S'
then with S = S' - W we have q(H - S') = q(G - {S'\W}) = q(G - S),
so (*) is equivalent to
q( G - S) ::;; IS'I = ISI + d. o
EXERCISES
1.- Suppose F is a set of edges after whose deletion there is no flow from s to t with
positive value. Prove that F contains a cut separating s from t.
2.- By summing an appropriate set of equations show that the capacity of a cut is at
least as large as the maximum of the flow value.
3.- Let G = (V, E) be a directed graph and let c be an extended-real-valued capacity
function on E. (Thus c(x, y) is a non-negative real or + 00.) Let sand t be two
vertices. Prove that either there is a flow from s to t with infinite value or else there
is a flow with maximal finite value.
4. By successively reducing the number of circular flows in G, prove that there is a
maximal flow without circular flows in which no current enters the source and
no current leaves the sink.
5. Use the method of Exercise 4 to show that if the capacity function is integral then
there is a maximal flow that is also integral.
62 III Flows, Connectivity and Matching
6. Formulate and prove the max-flow min-cut theorem for multiple sources and
sinks with bounds on the capacity of the edges and vertices.
7. (Circulation theorem). A circulation in a directed graph G is a flow without a
source and a sink. Given a lower capacity I(x, y) and an upper capacity c(x, y)
for each edge xy with 0 S; I(x, y) s; c(x, y) we call a circulation 9 feasible if
I(x, y) s; g(x, y) s; c(x, y)
for every edge xy. Prove that there exists a feasible circulation iff
I(S, S) s; c(S, S) for every S c V.
[Note that the necessity of the condition is trivial since in a feasible circulation
the function I forces at least I(S, S) current from S to S and the function c allows
at most c(S, S) current into S from S. To prove the sufficiency, adjoin a sink sand
a source t to G, send an edge from s to each vertex of G and send an edge from
each vertex of Gto i. Define a capacity function c* on the edges of the new graph
G* by putting c*(x, y) = c(x, y) - I(x, y), c*(s, x) = I(V, x) and c*(x, t) = I(x, V) .
. Then the relation
f(x, y) = g(x, y) - I(x, y)
sets up a 1-1 correspondence between the feasible circulations 9 in G and flows
fin G* from s to t with value I( V, V). Rewrite the condition given in the max-flow
min-cut theorem in the form required in this result.]
8.+ Let H be a bipartite multigraph without loops, with vertex classes VI and V2 (Thus
H may contain mUltiple edges, that is two vertices belonging to different classes
may be joined by several edges, which are said to be parallel.) As usual, given a
vertex x we denote by rex) the set of edges incident with x and by d(x) = Irex) I
the degree of x. Prove that, given any natural number k, the set E of edges can be
partitioned into sets E I , E 2 , , Ek such that for every vertex x and every set E j
we have
lk
d(x)J
s; lr(x)nEjl S;
rd(X)l
k '
r
where, as in the rest of the book, z1 is the least integer not less than z and LzJ =
-r -zl
Thus if we think ofthe partition U~ E j as a colouring of the edges with k colours,
then the colouring is equitable in the sense that in each vertex the distribution of
colours is as equal as possible. [Hint. Construct a directed graph if = (VI U V2 , E)
from H by sending an edge from x to y iff x E VI' Y E V2 and H contains at least one
xyedge. Let G be obtained from Ii by adding a vertex u and all the edges yu, ux,
for x E VI and y E V2 , as shown in Figure III.8. Define an appropriate upper and
lower capacity for each edge of Gand prove that there is a feasible integral circula-
tion. Use this circulation to define one of the colour classes.]
9. (Exercise 8+ continued) Show that we may require that, in addition to the
property above, the colour classes are as equal as possible, say lEI I ::;; IE21
::;; ... ::;; IEk I ::;; lEI I + 1, and in each set of parallel edges the distribution of
colours is as equal as possible.
10. Let d l ::;; d2 ::;; ::;; dn be the degree sequence of a graph G. Suppose that
matrices, i.e. there are Ai ~ 0, Ii Ai = 1, and permutation matrices P" P2' ... , Pm
such that A = Ii AiPi' [Let aij = raijl, A* = (aij)~, and let G = G2 (n, n) be
the bipartite graph naturally associated with A*. Show that G has a complete
matching and deduce that there are a permutation matrix P and a real A,O < il ~ 1,
such that A - ilP = B = (bij)'j is such that bij ~ 0, Ii=,
bij = D=,
bij = 1 - il
for alli,j, and B has at least one more 0 entry than A.]
20. . Let A be an r x s Latin rectangle and denote by A(i) the number of times the
symbol i occurs in A. Show that A can be extended to an n x n Latin square
iff A(i) ~ r + s - n for every i = 1,2, ... , n.
21. Prove the following form of the Schroder-Bernstein theorem. Let G be a bi-
partite graph with vertex classes X and Y having arbitrary cardinalities. Let
A c X and BeY. Suppose there are complete matchings from A into Y and
from B into X. Prove that G contains a set of independent edges covering all
the vertices of A v B. [Hint. Consider the components of the union of the
matchings.]
22. Deduce from Exercise 20 that every bipartite graph contains a set of independent
edges such that each vertex of maximum degree (that is degree ~(G is incident
with one of the edges. Deduce that a non-empty regular bipartite graph has a
i-factor.
23. We say that G is an (r, r - k)-regular graph if r - k ::; beG) ::; ~(G) ::; r. Prove
that for 1 ::; k ::; s ::; revery (r, r - k)-regular graph contains an (s, s - k)-regular
factor. [Hint. Assume s = r - 1. Take a minimal (r, r - k)-regular factor. Note
that in this factor no two vertices of degree r are adjacent. Remove a set of in-
dependent edges covering the vertices of degree r.]
24;- Recall Tychonov's theorem from general topology: the product of an arbitrary
family of compact spaces is compact. Deduce from this the following extension
of Hall's theorem.
Let G be an infinite bipartite graph with vertex classes X and Y, such that each
vertex in X is incident with finitely many edges. Then there is a complete matching
from X into Y iff 1rcA) 1 ~ 1A 1 for every finite subset A of X.
Show that the finiteness condition cannot be omitted.
25. Prove that a 2-edge-connected cubic graph has a I-factor. [This result is called
Petersen's theorem. In order to prove it check that the condition of Tutte's
theorem is satisfied. If 0 =1= S c V(G) and C is an odd component of G - S
then there are at lea~t two S - C edges, since G is 2-edge-connected. Furthermore,
since G is cubic, there are at least three S - C edges. Deduce that q( G - S) ::; 1S I.]
Exercises 65
26. Imitate the second proof of Theorem 7 to give a direct proof of the case d =0
of Theorem 10 and then deduce from it the general case d :;:: O.
27. Let G be a graph of order n with at most r :;:: 2 independent vertices. Prove that
if G is any orientation of G which does not contain a directed cycle (acyclic
orientation) then G contains a directed path of length at least rn/r1 - 1. [Hint.
Apply Dilworth's theorem, Theorem I1.J
28. Deduce from Exercise 27 the following result. Given a set of rk + 1 distinct
natural numbers, either there exists a set of r + 1 numbers, none of which divides
any of the other r numbers, or else there exists a sequence ao < al < ... < ak
such that if 0 ::;; i < j ::;; k then ai divides aj.
29. Describe all maximal graphs of order n = 21 which do not contain a I-factor.
[Hint. Read it out of Tutte's theorem (Theorem 12).J
30. (cf. Exercise 29) Describe all maximal graphs of order n which contain at most k
independent edges. [Hint. Apply Corollary 13.J
31. Make use of Exercise 30 and the convexity of the binomial coefficient CD, x :;:: 2,
to prove that if n :;:: k + 1 then the maximal size of a graph of order n with at
most k independent edges is
Show also that the extremal graphs (that is the graphs for which equality holds)
are one or both of the graphs K2k+ I U En - 2k - 1 and Kk + E"-k. (See Figure 111.9.)
K3 + En
0
K7 U E2
33. Use the algorithm given in the previous exercise to decide which of the follow-
ing sequences are graphic: 5,4,3,2,2,2; 5,4,4,2,2,1; 4,4,3,3,2,2,2 and
5, 5, 5, 4, 2, 1, 1, 1. Draw tbe graphs realizing the appropriate sequences con-
structed by the algorithm.
66 III Flows, Connectivity and Matching
Notes
The basic book on flows is L. R. Ford, Jnr. and D. R. Fulkerson, Flows in
Networks, Princeton University Press, Princeton, 1962. It not only contains
all the results mentioned in the chapter concerning flows and circulations,
but also a number of applications to standard optimization problems.
The fundamental theorems of Menger, Hall and Tutte are in K. Menger,
Zur allgemeinen Kurventheorie, Fund. Math. 10 (1927) 96-115, P. Hall, On
representatives of subsets, J. London Math. Soc. 10 (1935) 26-30), and W. T.
Tutte, A factorization of linear graphs, J. London Math. Soc. 22 (1947)
107-111. The proof of Tutte's theorem we gave is due to T. Gallai, Neuer
Beweis eines Tutte'schen Satzes, Magyar Tud. Akad. Kozl. 8 (1963) 135-139,
and was rediscovered independently by I. Anderson, Perfect matchings in a
graph, J. Combinatorial Theory Ser. B 10 (1971) 183-186 and W. Mader,
Grad und lokaler Zusammenhang in endlichen Graphen, Math. Ann. 205
(1973) 9-11. The result in Exen::ises 8 and 9 is due to D. de Werra, Multi-
graphs with quasiweak odd cycles, J. Combinatorial Theory Ser. B 23 (1977)
75-82.
A slightly simpler form of the result in Exercise 23 is due to W. T. Tutte;
the proof indicated in the hint was found by C. Thomassen. An extensive
survey of results concerning connectivity and matching can be found in
Chapters I and II of B. BolloMs, Extremal Graph Theory, Academic Press,
London and New York, 1978.
CHAPTER IV
Extremal Problems
67
68 IV Extremal Problems
large size. Among others we shall give a good bound on ex(n; pi), the maximal
number of edges in a graph of order n without a path of length l. We shall
also present some fundamental results about Hamilton cycles.
One of the best known theorems in graph theory, Tunin's theorem,
determines the function ex(n; Kr). The second section is devoted to this
theorem together with some related results.
When discussing ex(n; pi) and ex(n; Kr), we most1y care about the case
when n is large compared to I and r. We get rather different problems if F
and G have the same order. A prime example of these problems will be
discussed in the third section, the problem of Hamilton cycles. Over the
years considerable effort has gone into the solution of this problem and in a
certain rather narrow sense the present answers are satisfactory.
The fourth section is devoted to a deep and surprising theorem of Erdos
and Stone. The theorem concerns ex(n; F), where F is a complete r-partite
graph with t vertices in each class, but as an immediate corollary of this
result one can determine lim n _ oo ex(n; F)/n 2 for every graph F.
Suppose now that g is even, say g = 2d. Pick two adjacent vertices, say
x and y. Then there are 2(0 - 1) vertices at distance 1 from {x, y}, 2(0 - 1)2
vertices at distance 2, and so on, 2(0 - l)d-1 vertices at distance d - 1 from
{x, y}, implying the required inequality. D
Theorem 2. Let G be a connected graph of order n ;;::: 3 such that for any two
non-adjacent vertices x and y we have
2----.~
---------
X"'-;----~-X
.. . i~-~
X~
-..--X
..... ~
XI- 1 Xl
----
Figure IV.2. The construction of a cycle of length I.
A graph is an extremal graph (that is equality holds for it) iff all its components
are complete graphs of order k.
Theorem 4. Let G be a graph of order n in which every cycle has length at most
k (k ~ 2). Then
k
e(G) s l(n - 1).
A graph is an extremal graph iff it is connected and all its blocks are complete
graphs of order k. D
2 Complete Subgraphs 71
The proof of this result is somewhat more involved than that of Theorem
3. Since a convenient way of presenting it uses 'simple transforms' to be
introduced in 3, the proof is left as an exercise (Exercise 25) with a detailed
hint.
2 Complete SUbgraphs
What is ex(n; K r ), the maximal number of edges in a graph of order n not
containing a K r , a complete graph of order r? If G is (r - I)-partite then it
does not contain a Kr since every vertex class of G contains at most one
vertex of a complete subgraph. Thus ex(n; Kr) is at least as large as the
maximal size of an (r - 1)-partite graph of order n. In fact, there is a unique
(r - I)-partite graph of order n that has maximal size. This graph is the
complete (r - I)-partite graph 1',.-l(n) that has L(n + k - I)/(r - I)J
vertices in the kth class (Figure IV.3). In other words, 1',.-1 (n) is the complete
(r - I)-partite graph of order n whose classes are as equal as possible: say
there are nk vertices in the kth class and n1 ::;; n2 ::;; ... ::;; nr - 1 ::;; n1 + 1.
Indeed, let G be an (r - 1)-partite graph of order n and maximal size.
Theorem 5. Let G be a graph with vertex set V that does not contain K r , a
complete graph of order r. Then there is an (r - I)-partite graph H with
vertex set V such that for every vertex Z E V we have
72 IV Extremal Problems
Theorem 6. ex(n; K') = t,-l(n) and T,.-l(n) is the unique graph of order nand
size t,_1 (n) that does not contain a complete graph of order r.
1sT PROOF. Since T,.-I(n) is the unique (r - I)-partite graph of order nand
maximum size, both assertions follow from Theorem 5. D
In order to emphasize the significance of Theorem 6, we prove it from
first principles also. This proof is based on the fact that T,.- 1(n) is almost
regular: .5(T,.- 1 (n = n - rnj(r - 1)1, ,1.(T,.- 1(n = n - Lnj(r - l)J, and if
x is a vertex of minimum degree in T,.-I(n) then T,.-I(n) - x is exactly
T,.-l(n - 1).
creating a K') the induction step will follow if we show that G is exactly a
1',. - 1 (n). Since the degrees in 1',. _ 1 (n) differ by at most 1, we have
n- 1- (n - rr ~ 11) = l: =~J
vertices of G x . Since x cannot be joined to a vertex in each class of Gx , it
has to be joined to all vertices of G x save the vertices in a smallest vertex
class. This shows that G is exactly a 1',.-1 (n) graph. 0
The proof above can easily be adapted to give a number of related results
(cf. Exercises 7, 8).
Now let us turn to the probLem of Zarankiewicz, which is the analog of
Tunin's problem in bipartite graphs. Write G 2 (m, n) for a bipartite graph
with m vertices in the first class and n in the second. What is the maximum
size of a G2 (m, n) if it does not contain a complete bipartite graph with s
vertices in the first class and t in the second? This maximum is usually
denoted by z(m, n; s, t). The following simple lemma seems to imply a very
good upper bound for the function z(m, n; s, t).
(1)
PROOF. Denote by VI and V2 the vertex classes of G. We shall say that at-set
(i.e., a set with t elements) T of V2 beLongs to a vertex x E VI if x is joined to
every vertex in T. The number of t-sets belonging to a vertex x E VI is (d}X).
Since the assumption on G i-s exactly that each t-set in V2 belongs to at most
s - 1 vertices of VI, we find that
PROOF. Let G = G2 (m, n) be an extremal graph for the function z(m, n; s, t),
that is let G be a bipartite graph of size z(m, n; s, t) = my without a K(s, t)
subgraph. As y :5: n, inequality (1) implies
(y - (t - l)Y :5: (s - l)(n - (t - 1)Ym- 1 . o
As a consequence of Theorem 8 we see that if t :c: 2 and c > (t - l)l/t
are fixed then for every sufficiently large n we have
z(n, n; t, t) < cn 2 -(1/t). (3)
The method of Lemma 7 gives also an upper bound for ex(n; Kz(t)), the
maximum number of edges in a graph of order n without a complete t by t
bipartite subgraph.
Theorem 9. ex(n; Kit)) :5: t(t - l)l/t(n - t + 1)n 1 -(I/t) + t{t - l)n
< t{t - l)l/t n Z-(I/t) + ttn.
Theorem 10. z(n, n; 2, 2) :5: tn{l + (4n - 3)I/Z} and equality holds for in-
finitely many values ofn.
~ 2 _ .: z(z - n) _ (n)
~ 2n e 2> 2n - 2'
This shows that the inequality does hold.
In fact, the proof so far tells us a considerable amount about the graphs
G for which equality can be attained. We must have d i = d 2 = ... = dn = d
and any two vertices in the second vertex class V2 of G have exactly one
common neighbour. By symmetry each vertex of V2 has degree d and any
two vertices in Vi have exactly one common neighbour.
Call the vertices in Vi points and the sets r(x), x E V2, lines. By the remarks
above there are n points and n lines, each point is on d lines and each line
containsd points, there is exactly one line through any two points and any
two lines meet in exactly one point. Thus we have arrived at the projective
plane of order d - 1. Since the steps are easy to trace back, we see that equa-
lity holds for every n for which there is a projective plane with n points. In
particular, equality holds for every n = q2 + q + 1 where q is a prime power.
In conclusion, let us see the actual construction of G for the above values
of n. Let q be a prime power and let PG(2, q) be the projective plane over
the field of order q. Let Vi be the set of points and V2 the set of lines. Then
I Vi I = I V2 1 = q2 +q+1= n.
Let G be the bipartite graph Gin, n) with vertex classes Vi and V2 in which
PI (P E VI' IE V2 ) is an edge iff the point P is on the line l. (See Figure IV.4.)
Then G has n(q + 1) = !n{l + (4n - 3)i/2} edges and it does not contain a
quadrilateral. D
n -> n + 0, 1,3
Lemma 11. G is Hamiltonian iff Cn(G) is and G has a Hamilton cycle iff so
does CiG). 0
Lemma 12. Let k, nand t be natural numbers, t < n, and let G be a graph with
vertex set V(G) = {Xl, X2,"" x n}, whose k-closure Ck(G) contains at most
t - 1 vertices of degree n - 1. Then there are indices i,j, 1 :::; i < j :::; n, such
that Xi X j E( G) and each of the following four inequalities holds:
j ~ max {2n - k - i, n - t + I}
d(x;):::; i +k - n, d(x) :::; j + k - n - 1, (4)
d(Xi) + d(x) :::; k - 1.
Remark. Note that it is not assumed that the degree sequence d(XI),
d(X2), ... , d(xn) of G is ordered in any way.
PROOF. The graph H = Ck(G) is not complete so we can define two indices
i and j as follows:
j = max{l: dH(XL) =F n - I},
i = max{l: x/Xj E(H)}.
Then XiXj E(H) so, by (3),
dH(xJ + dH(xj) :::; k - 1,
which implies the fourth inequality in (4). Each of the vertices
has degree n - 1 in H so
n-j:::;t-l
and
78 IV Extremal Problems
Theorem 13. Let G be a graph with vertex set V(G) = {Xl' X2' ... , Xn},
n ;;:: 3. Let e = 0 or 1 and suppose there are no indices i, 1, 1 ~ i < j ~ n,
such that X;Xj E(G) and
j;;::n-i+e,
d(x;) ~ i - e, d(x) ~ j - 1 - e,
d(x;) + d(xj) ~ n - 1 - e.
Ife = 0 then G has a Hamilton cycle and ife = 1 then G has a Hamilton path.
o
This theorem has the following beautiful consequence.
x o---oi( x iIE---o(
Theorem 16. Let W be the set of vertices of even degree in a graph G and let
Xo be a vertex of G. Then there are an even number of longest xo-paths ending
in W.
PROOF. Let H be the graph whose vertex set is the set L of longest xo-paths
in G, in which P l E L is joined to P 2 E L iff P 2 is a simple transform of Pl'
Since the degree of P = XOXl ... Xk E Lin H is d(xk) - 1, the set of longest
paths ending in W is exactly the set of vertices of odd degree in H. The
80 IV Extremal Problems
number of vertices of odd degree is even in any graph, so the proof is com-
plete. []
Theorem 17. Let G be a graph in which every vertex has odd degree. Then
every edge ofG is contained in an even number of Hamilton cycles.
PROOF. Let XoY E E(G). Then in G' = G - xoy only Xo and y have even
degree, so in G' there are an even number of longest xo-paths that end in y.
Thus either G has no Hamilton cycle that contains XoY or it has a positive
even number of them. []
so
en 2 - an + ah + h ~ (1 - a)h 2,
I 1
lAd ~ e.
rff (aij)
j= 1 t
centipedes. Since altogether there are m
r - 1 centipedes and each one of
them is contained in at most t - 1 sets Ai' we have
I rfl (aij)
i=lj=1 t
~ (t _ 1) (q)r-I.
t
The required estimate follows from this inequality and the convexity of
the binomial coefficients. Indeed putting ai = Ii:
t aij - (r - 2)q, one has
~nl (aij) ~ (q)r-2(ai),
J=I t t t
so
.f (a
,= 1 t
i) ~ (t - 1) (q).
t
Thus
and
M
I IAil < 2qM- 1/t + M((r - 2)q + t).
1
Since
N
I lAd :-s.; (N - M)((r - 2)q + t),
M+1
that is
2en l/t :-s.; (t - 1)l/t + tn - 1+ (lft).
However, this inequality cannot hold if n is sufficiently large.
Now assume that r > 2 and the result holds for smaller values of r. For
the sake of convenience we write Kix) for KiLxJ) and we denote by Gin)
a graph of order n and size at least {!(r - 2)/(r - 1) + c}n z .
Put Cr = H(r - 2)/(r - 1) - (r - 3)j(r - 2)} = {2(r - l)(r - 2)} -1 > 0
and er = d(c" r - 1) > O. Then er depends only on r, so by the induction
hypothesis if n is large then every Gin) contains a K r- 1(e r log n) = Kr-1(q).
We shall show that d = d(c, r) = er(r - 1)c/4 will do for the theorem, that is
every Gin) contains a KrCd log n) = KrCt) ifn is large enough.
Suppose that, contrary to this assertion, there are arbitrarily large values
ofnfor which some Gin) does not contain a KrCd log n) = Kr(t). Given any
ho ~ l/c, let G = Gin), n ~ ho/YJ, contain a K r- 1(q), say K, but no KrCt).
Hence by Theorem 9 there are at most !(t - l)qZ-(l/t) + !qt edges in a
subgraph spanned by the q vertices in a class of K, so there are at most
Corollary 21. Let F = Kit), where r 2': 2 and t 2': 1. Then the maximal size
of a graph of order n without a Kr(t) is
ex(n; F) = 2:1{r-2
r _ 1 + 0(1) } n 2. D
PROOF. Let Gr be the complete r-partite graph with infinitely many vertices
in each class. Since the density of Kit) tends to 1 - (1/r) as t tends to 00,
the upper density of Gr is 1 - (l/r), proving the second assertion.
Now let IY. be the upper density of G and suppose
1
IY. > 1 - -- (r ~ 2).
r - 1
EXCERCISES
1. (i) Let G be a graph of order n, maximum degree ~ :2: 3 and diameter d. Let
no(g, b) be as in Theorem 1. Prove that n ::;; no(2d + 1, ~) with equality iff G
is ~-regular and has girth 2d + 1.
(ii) Let G be a graph of order n, maximum degree ~ :2: 3, and suppose every
vertex is within distance d - 1 of each pair of adjacent vertices. Prove that
n ::;; no(2d, ~), with equality iff G is ~-regular and has girth 2d.
2. Prove Theorem 4 for k = 3 and 4.
3. Prove that the maximal number of edges in a graph of order n without an even
cycle is Lt(n - 1)J. Compare this with the maximum size of a graph without
an odd cycle.
4. Show that a tree with 2k endvertices contains k edge-disjoint paths joining distinct
end vertices.
5. Suppose x is not a cutvertex and has degree 2k. Prove that there are k edge-
disjoint cycles containing x. [Cf. Exercise 4.]
6: Show that a graph with n vertices and minimum degree L(r - 2)n/(r - l)J +1
contains a K'.
7. Let G have n :2: r + 1 vertices and t,-1 (n) + 1 edges.
(i) Show that G contains two K' subgraphs with r - 1 vertices in common.
(ii) Prove that for every p, r ::;; p ::;; n, G has a subgraph with p vertices and at least
t'-l(P) + 1 edges.
Exercises 85
8. Prove that for n 2: 5 every graph of order n with Ln 2/4J + 2 edges contains two
triangles with exactly one vertex in common.
9. Prove that if a graph with n vertices and Ln 2/4J - I edges contains a triangle
then it contains at least Ln/2J - 1- 1 triangles. [Hint. Let XIX2X3 be a triangle
and denote by m the number of edges joining {XI' X2, X3} to V(G) - {XI' X 2 , X3}
Estimate the number of triangles in G - {Xl> X2' X3} and the number of triangles
sharing a side with XIX2X3.J
10; (i) Show that the edges of a graph of order n can be covered with not more than
Ln2/4J edges and triangles.
(ii) Let G be a graph with vertices XI' X2, .. , Xn, n 2: 4. Prove that there is a
set S, IS I ::; Ln 2/4J, containing non-empty subsets X I, X 2, ... , X n such that
XiXj is an edge of G if Xi (\ Xj oft 0.
11~ Let 1 ::; k < n. Show that every graph of order n and size (k - l)n - +1 m
contains a subgraph with minimum degree k, but there is a graph of order nand
size (k - l)n - m in which every subgraph has minimum degree at most k - 1.
[Hint. Imitate the proof of Lemma 18.J
IT Show that a graph of order n and size (k - l)n - m+ 1 contains every tree
of order k + 1.
13. Let G be a graph of order n which does not contain a cycle and one of its diagonals.
Prove that if n 2: 4 then G has at most 2n - 4 edges.
Show that if n 2: 6 and G has 2n - 4 edges then G is the complete bipartite
graph K(2, n - 2). [Hint. Consider a longest path in G.J
14~ Let k 2: 1 and let G be a graph of order n without an odd cycle of length less than
2k + 1 2: 5. Prove that b(G)::; Ln/2J and Tin) is the only extremal graph,
unless n = 2k + 1 = 5, in which case there is another extremal graph, C 5
15 -; Let G be a graph of order n without an odd cycle of length less than 2k + 1 2: 5.
r
Prove that if G does not contain n/21 independent vertices then (j(G)::;
2n/(2k + 1). Show that equality holds only for n = (2k + l)t and the extremal
graphs are obtained from a cycle C 2 k+ I by replacing each vertex by t vertices,
as in Figure IV.6.
16. Let Xl> X2, ... , Xn be vectors of norm at least 1 in a Euclidean space. Prove that
there are at most Ln 2/4J unordered pairs i,j such that IXi + Xjl < 1. [Hint. Show
that if IXII = IX21 = IX31 = 1 then IXi + Xjl 2: 1 for some i,j, 1 ::; i < j ::; 3.J
1r Let X and Y be independent identically distributed random variables taking
values in a Euclidean space. Prove that P( IX + YI 2: x) 2: !P( IX I 2: X)2 for
every X 2: o.
86 IV Extremal Problems
18. Let x[, X2, ... , X3pE [R2 be such that IXi - xjl:$; 1. Prove that at most 3p2 of
the distances IXi - Xjl are greater than J2/2. [Hint. Show that among any four
of the points there are two within distance J2/2 of each other.]
19. The clique number cl( G) of a graph G is the maximum order of a complete subgraph
of G. Show that if a regular graph of order n contains a complete subgraph of
order Lnl2J + 1 then it is a complete graph, but for every p, I :$; p :$; n12, there
is a regular graph of order n with cl(G) = p.
20:- We say that a set We V(G) covers the edges of a graph G if every edge of Gis
incident with at least one vertex in W Denote by cxo(G) the minimum number of
vertices covering the edges of G. Prove that if G has n vertices and m edges then
cxo(G) :$; 2mnj(2m + n), with equality iff G = pK' for some p and r, that is iff each
component of G is a K' for some r. [Hint. Note that cxo(G) = n - cl(G), and if
cl(G) = p then by Tunin's theorem e(G) :$; tp(n), so m = (2) - e(G) ~ m- tin).]
21. (Cf. Corollary 14.) Let d 1 :$; d 2 :$; ... :$; d n be a graphic sequence such that for
some k
n
dk :$; k < 2 and dn - k :$; n - k - 1.
Show that there is a non-Hamiltonian graph G with vertex set {Xl' X2, ... , xn}
such that d(Xi) ~ d;, 1 :$; i :$; n (cf. Figure IV.7).
24. Given b < n12, determine the maximal number of edges in a graph G of order n
without a Hamilton cycle (path), provided beG) = b.
25. Prove Theorem 4 by making use of simple transforms of a longest xo-path P =
XOXI .. . x,. [Hint. Apply induction on n. If beG) :$; k12, the result follows by
induction, otherwise consider the set L of end vertices of simple transforms of P.
Put I = IL I, r = max xEL d(x) and note that I 2': r and the neighbours of each
X E L are contained in {x" X,_ [, ... , X'-k+ d. Deduce that e(G) - e(G - L)
:$; I(k - I) + I(r + I - k) :$; kl/2 and complete the proof by applying the induction
hypothesis to G - L.]
Notes 87
26. Let 1 < al < a2 < ... < ak S x be natural numbers. Suppose no ai divides
the product of any two others. Prove that k s n(x) + x 2i3 , where, as usual, n(x)
denotes the number of primes not exceeding x. [Hint. Put VI = {I, 2, ... , LX 213 J}
and V2 = {x: x2i3 S b s x and b is a prime}. Show first that ai = biCi' where
bi' ci E V = VI U V2 . Let G be the graph (with loops) with vertex set V whose
edges (loops) are biCi' Note that G does not contain a path of length 3.J
27.+ (Cf. Exercise 26). Let 1 < a l < a2 < ... < ak S x be natural numbers. Suppose
aiaj # akal unless {i,j} = {h, I}. Prove that k s n(x) + CX 314 for some constant
c> O. [Hint. The graph G of Exercise 26 contains no quadrilaterals; apply
Theorem 8 to the bipartite subgraph of G with vertex classes VI and V2 . Recall the
prime number theorem, namely that (n(x)log x)/x ---> 1 as x ---> oo.J
28. Denote by Dk(n) the maximum number of occurrences of the same positive
distance among n points in IRk. Prove that lim n _ oo Dk(n)/n 2 = t - (1/2Lk/2J) if
k ;::: 2. [Hint. (i) Note that if x E {z E IRk: ZI + d = 1 and Zi = 0 if i > 2} and
Y E {ZE IRk:Z~ + Z~ = 1 and Zi = 0 ifi # 3 or4} then Ix - yl = j2. (ii) Deduce
from Theorem 20 that Dk(n) is at least as large as claimed.J
Notes
The results concerning Hamilton cycles and paths presented in the chapter
all originate in a paper of G. A. Dirac: Some theorems on abstract graphs,
Proc. London Math. Soc. 2 (1952) 69-81. The notion of the k-closure dis-
cussed in 3 was introduced in 1. A. Bondy and V. Chvatal, A method in graph
theory, Discrete Math. 15 (1976) 111-135; Corollary 14, characterizing
minimal forcibly Hamiltonian degree sequences, is in V. Chvatal, On
Hamilton's ideals, J. Combinatorial Theory Ser. B 12 (1972) 163-168. The
special case of Theorem 17 concerning cubic (that is 3-regular) graphs was
proved by C. A. B. Smith, and was first mentioned in W. T. Tutte, On Hamil-
tonian circuits, J. London Math. Soc. 21 (1946) 98-101; the theorem itself is due
to A. G. Thomason, Hamiltonian cycles and uniquely edge colourable graphs,
Annals of Discrete Math. 3 (1978) 259-268.
The fundamental theorem of Turim concerning complete subgraphs is in
P. Turan, On an extremal problem in graph theory (in Hungarian), Mat. es
Fiz. Lapok 48 (1941) 436-452; its extension, Theorem 6, giving more in-
formation about the degree sequence of a graph without a f('" is in P. Erdos,
On the graph theorem of Tunin (in Hungarian), Mat. Lapok 21 (1970)
249-251. The Erdos-Stone theorem is in P. Erdos and A. H. Stone, On the
structure of linear graphs, Bull. Amer. Math. Soc. 52 (1946) 1087-1091, its
extension, Theorem 20, is in B. Bollobas and P. Erdos, On the structure of
edge graphs, Bull. London Math. Soc. 5 (1973) 317-321. A rather detailed
exposition of the results concerning the structure of extremal graphs,
referred to at the end of 4, can be found in Chapter VI of B. Bollobas,
Extremal Graph Theory, Academic Press, London-New York-San
Francisco, 1978; Chapter III of the same book concerns cycles and contains
many more results than we could present in this chapter.
CHAPTER V
Colouring
88
l Vertex Colouring 89
two adjacent edges have the same colour. This number, denoted by X'(H),
is the edge chromatic number of H.
In this chapter we shall present some of the basic properties of the vertex
and edge chromatic numbers. The final section (3) is devoted to colouring
planar graphs and to a very brief outline of the proof of the best known
result in graph theory, the so called four colour theorem.
1 Vertex Colouring
In Chapter I. 2 we noted the trivial fact that a graph is bipartite iff it does
not contain an odd cycle. Thus X(G) ;;::: 2 iff G contains an edge and X(G) ;;::: 3
iff G contains an odd cycle. For k ;;::: 4 we do not have a similar character-
ization of graphs with chromatic number at least k, though there are some
complicated characterizations (cf. Exercises 32-35). Of course, if G => Kk
then X( G) ;;::: k and if G does not contain h + 1 independent vertices then
X( G) ;;::: IG I/h. However, it is not easy to see that there are triangle-free
graphs of large chromatic number (cf. Exercise 11), though in Chapter VII
we shall show that there exist graphs with arbitrarily large chromatic
number and arbitrarily large girth. The difficulty we encounter in finding
such graphs shows that it would be unreasonable to expect a simple character-
ization of graphs with large chromatic number. Thus we shall concentrate
on finding efficient ways of colouring a graph.
How should one try to colour the vertices of a graph with colours 1,2, ... ,
using as few colours as possible? A simple way is as follows. Order the
vertices, say Xl' X 2 , , Xn and then colour them one by one: colour xlI,
then colour X 2 1 if X 1X 2 rtE(G) and 2 otherwise, and so on, colour each vertex
the smallest colour it can have at that stage. This so-called greedy algorithm
does produce a colouring, but this colouring may and usually does use many
more colours than necessary. Figure V.I shows a bipartite (i.e., 2-colourable)
graph for which the greedy algorithm wastes four colours. However, it is
easily seen (Exercise 3') that for every graph the vertices .can be ordered in
such a way that the greedy algorithm uses as few colours as possible. Thus it is
not surprising that it pays to investigate the number of colours needed by
the greedy algorithm in various orders of the vertices.
Figure V.l. In the order Xl>X2,"" Xs the greedy algorithm needs four colours.
90 V Colouring
Theorem 1. Let k = maxH c5(H), where the maximum is taken over all spanned
subgraphs of G. Then x( G) ::; k + 1.
It is, of course, very easy to improve the efficiency of the greedy algorithm.
If we already know a subgraph H 0 which can be coloured with few colours,
in particular, if we know a colouring of H 0 with X(H 0) colours, then we may
start our sequence with the vertices of H 0, colour H 0 in an efficient way
and apply only then the algorithm to colour the remaining vertices. This
gives us the following extension of Theorem 1.
1~1 lJ;l'
G
, 3 1
3~ G3
3 2
Figure V.2. The vertex set of the thick triangle disconnects G;
l Vertex Colouring 91
G G' GU
a and b get the same colour are in a 1-1 correspondence with the colourings
of Gil. In particular, if for a natural number x and a graph H we write PH(X)
for the number of colourings of a graph H with colours 1, 2, ... , x, then
PG(X) = pdx) + PG"(x), (1)
By definition X(G) is the least natural number k for which PG(k) ~ 1. Thus
both the remarks above and relation (1) imply that
x( G) = min {xC G'), X( Gil)}. (2)
The basic properties of PH(X) are given in our next result.
n-k
= xm - mx n - 1 + L (-l)iaixn-i,
i=2
2 Edge Colouring
In a colouring of the edges of a graph G the edges incident with a vertex
get distinct colours, so x'(G), the edge chromatic number, is at least as
large as the maximum degree, .1.(G) = max x d(x),
x'(G) ~ .1.(G). (3)
At first sight it is somewhat surprising that this trivial inequality is in fact,
an equality for large classes of graphs, including the class of bipartite graphs.
Indeed, Exercise 22 of Chapter III, which is a consequence of Hall's theorem,
asserts that the edge set E(G) of a bipartite graph G can be partitioned into
.1.(G) classes of independent edges, that is x'(G) = .1.(G).
Another trivial lower bound on x'(G) follows from the fact that if G does
not contain /3 + 1 independent edges, then each colour class has at most /3
edges so we need at least re( G)//31 colour classes to take care of all the edges:
x'(G) ~ re(G)//31. (4)
Similarly to Theorem 9 of Chapter 1, it is easily shown that if G is a complete
graph of order 2 then equality holds in (4), that is X'(Kn) = n - 1 if n is
even and x'(K n) = n if n ~ 3 is odd (Exercise 28).
How can one obtain an upper bound for x'(G)? Since each edge is adjacent
to at most 2(.1.(G) - 1) edges, Theorem 1 implies that
X'(G) :::; 2.1.(G) - 1.
Furthermore, if .1.(G) ~ 3, the theorem of Brooks gives
X'(G) :::; 2.1.(G) - 2.
At first sight this inequality seems reasonably good. However, the following
fundamental theorem of Vizing shows that this is not the case, for the edge-
chromatic number is almost determined by the maximum degree.
94 V Colouring
Note that the proof above gives an algorithm for colouring the edges
with at most ~ + 1 colours.
3 Graphs on Surfaces 95
3 Graphs on Surfaces
The most famous problem in graph theory is undoubtedly the four colour
problem: prove that every plane graph is 4-colourable. The weaker assertion,
namely that every plane graph is 5-colourable, is an almost immediate
consequence of Euler's formula.
4
-~--
2 3
5 5
4 4
2 3
Figure V.S. A drawing of K7 on the torus.
countries sharing an edge in their boundaries get the same colour. Show
that every plane map can be coloured with four colours. This is the original
form of the four colour problem, as posed by Francis Guthrie in 1852. His
teacher, de Morgan, circulated it amongst his colleagues, but the problem was
first made popular in 1878 by Cayley, who mentioned it before the Royal
Society. Almost at once "proofs" appeared, by Kempe in 1879 and by Tait in
1880. Heawood's refutation of Kempe's proof was published in 1890, though
he modified the proof to obtain the five colour theorem. Tait's paper also
contained false assumptions which prompted Petersen to observe in 1891
that the four colour theorem is equivalent to the conjecture that every cubic
planar graph has edge chromatic number three (Exercise 27). Contributions
to the solution since the turn of the century include Birkhoff's introduction
of the chromatic polynomial and works by various authors giving lower
bounds on the order of a possible counterexample. In 1943 Hadwiger made
a deep conjecture containing the four colour problem as a special case:
if X(G) = k then G is contractible to Kk (see Exercises 18-20).
In hindsight the most important advance was made by Heesch, who
developed the method of discharging to find unavoidable sets of reducible
configurations. The problem was at last solved by Appel and Haken in 1976,
making use of a refinement of Heesch's method and fast electronic com-
puters. The interested reader is referred to some papers of Appel and Haken,
and to the book of Saaty and Kainen for a detailed explanation of the under-
lying ideas of the proof. All we have room for is a few superficial remarks.
What makes the five colour theorem true? The following two facts: (i) a
minimal 6-colourable plane graph cannot contain a vertex of degree at
most 5, and (ii) a plane graph has to contain a vertex of degree at most 5.
We can go a step further and ask why (i) and (ii) hold. A look at the proof
shows that (i) is proved by making a good use of the paths P ii , called Kempe
chains after Kempe, who used them in his false proof of 1879, and (ii) follows
immediately from Euler's formula n - e + f = 2.
The attack on the four colour problem goes along similar lines. A con-
figuration is a connected cluster of vertices of a plane graph together with
the degrees of the vertices. A configuration is reducible if no minimal 5-
chromatic plane graph can contain it, and a set of configurations is un-
avoidable if every plane graph contains at least configuration belonging to
98 V Colouring
the set. In order to prove that every plane graph is 4-colourable, one sets out
to find an unavoidable set of reducible configurations. How should one show
that a configuration is reducible? Replace the cluster of vertices by a smaller
cluster, 4-colour the obtained smaller graph and use Kempe chains to show
that the 4-colouring can be "pulled back" to the original graph. How
should one show that a set of configurations is unavoidable? Make extensive
use of Euler's formula. Of course, one may always assume that the graph is a
maximal plane graph. Assigning a charge of 6-k to a vertex of degree k,
Euler's formula guarantees that the total charge is 12. Push charges around
the vertices, that is transfer some charge from a vertex to some of its neigh-
bours, until it transpires that the plane graph has to contain one of the con-
figurations.
Looking again at the five colour theorem, we see that the proof was based
on the fact that set of configurations of single vertices of degree at most 5 is
an unavoidable set of configurations (for the five colour theorem).
The simplistic sketch above does not indicate the difficulty of the actual
proof. In order to rectify this a little, we mention that Appel and Haken
had to find over 1900 reducible configurations to complete the proof.
Furthermore, we invite the reader to prove the following two simple
assertions.
1. The configurations in Figure V.6 are reducible.
+
Figure V.6. Three reducible configurations; in the second examples the outer vertices
may have arbitrary degrees.
EXERCISES
r Given a graph G, order its vertices in such a way that the greedy algorithm uses
only k = X(G) colours.
4.- Let d I 2':: d z 2':: .. 2':: dn be the degree sequence of G. Show that in an order
XI'Xz, ... , Xn' d(x;) = dj, the greedy algorithm uses at most max min{d i + 1, i}
colours, and so if k is the maximal natural number for which k ~ dk + 1 then
X(G) ~ k.
5. Deduce from Exercise 4 that if G has n vertices then
x(G) + X(G) ~ n + 1.
6.- Show that X(G) + X(G) 2':: 2J~.
10. Check that the Grotzsch graph (Figure V.7) has girth 4 and chromatic number 4.
Show that there is no graph of order 10 with girth at least 4 and chromatic number
4.
11 + Try to construct a triangle free graph of chromatic number 1526 without looking
at Chapters VI or VII.
12.+ Let H be a graph of order n with edges eh ez, ... , em and chromatic polynomial
PH(X) = 2:7=0 (-I)icixn- i. Call a set of edges a broken cycle if it is obtained from
the edge set of a cycle by omitting the edge of highest inClex. Show that cj is the
number of .i-element subsets of the edges containing no broken cycle [Hint.
Imitate the proof of Theorem 4, choosing e l for abo Put G = H - e l so that
H = G' and PII(X) = PG(x) - PG ..(x). If an edge of G" comes from two edges of G,
say from xa = ei and xb := eh' label it with eb where k = max{i, h}; otherwise
keep the label it had in G (and H). Let F be a set of edges of H containing no
100 V Colouring
13. Let PG(x) = Li'=o (-IYaixn-i be the chromatic polynomial of G. Prove that a2 =
(2) - k3(G), where m = e(G) and k 3(G) is the number of triangles in G.
14. Show that there is a unique graph Go of order n and size m = Ln 2 j4J such that if G
is also of order n and size m then
15.- Find graphs G and H of order n and same size such that X(G) < X(H) but PG(x) <
PH(X) if x is sufficiently large.
16:+ Given a connected graph G containing at least one cycle, define a graph H on the
.set S of all spanning trees of G by joining TI to T2 iff IE(T1 )\E(T2) I = 1. (Cf.
simple transform of an x-path, p. 79). Imitate the proof of the fact that PH(X) is a
polynomial (Theorem 4) and the proof suggested in Exercise 12 +, to show that
H is not only Hamiltonian, but every edge of it is contained in a Hamiltonian
cycle.
17.+ We say that a graph G has a subgraph contractible to a graph H with vertex
set {Y!, ... , Yk} if G contains vertex disjoint connected subgraphs G" ... , Gk
such that, for i #- j, YiYj E E(H) iff G has a GcG j edge.
Prove that for every natural number P there is a minimal integer c(p) such that
every graph with chromatic number at least c(p) has a subgraph contractible
to KP. Show that c(l) = I, c(2) = 2 and c(n + 1) ~ 2c(n) - I for n:2: 2.
[Hint. Pick Xo E G and let Sk be the "sphere" of centre Xo and radius k; Sk =
{x E G: d(xo, x) = k}. Show that X(G) ~ X(Sk) + X(Sk+ I) for some k.]
18.+ Hadwiger's conjecture states that c(P) = P for every p. Prove this for P ~ 4.
20. Show that the truth of Hadwiger's conjecture for P = 5 implies the four colour
theorem.
21.- Show that a map M = M(G) can be 2-coloured (see p. 96) iff every vertex of G
has even degree.
22:+ Suppose G is a cubic plane graph. Prove that the map M(G) is 3-colourable iff
each country has an even number of sides.
23:- Let M = M(G) be a triangular map, that is a map in which every country has
three sides. Show that M is 3-colourable unless G = K4.
24:- Prove that a map M = M(G) is 4-colourable if G has a Hamilton cycle.
25:- For each plane graph G construct a cubic plane graph H such that if M(H) is
is 4-colourable then so is M(G).
Exercises 101
26~ According to Tait's conjecture every 3-connected cubic plane graph has a Hamilton
cycle. (i) Show that Tait's conjecture implies the four colour theorem. (ii) By
examining the graph in Figure V.8 disprove Tait's conjecture.
27: Let G be a cubic plane graph. Show that G is 3-edge-colourable iff M(G) is 4-
colourable. [Hint. Let 1, a, band c be the elements of the Klein fourgroup C 2 x C 2 ,
so that a 2 = b 2 = c 2 = 1. Colour the edges with a, band c, and the ountries
with 1, a, b and c.]
28.- Find the edge chromatic number of K".
29. The cubic graph G has exactly one edge colouring with x'(G) colours. Show that
X'(G) = 3 and that G has exactly 3 Hamilton cycles.
30. Let n = 2P Show that K n + 1 is not the union of p bipartite graphs but K" is.
Deduce that if there are 2P + 1 points in the plane then some three of them deter-
mine an angle of size at least n(l - (lIp)).
31. Let X(G) = k. What is the minimal number of r-chromatic graphs whose union
is G?
32. Show that a k-chromatic graph can be oriented in such a way that a longest
directed path has k vertices.
33. Show that if a graph G can be oriented in such a way that no directed path contains
more than k vertices than X(G) :s; k. [Hint. Omit a minimal set of edges to destroy
all directed cycles. For a vertex x let c(x) be the maximal number of vertices on a
directed path in the new graph starting at x. Check that c is a proper colouring.]
34. Denote by cf/k the set of (isomorphism classes of) graphs of chromatic number
at least k. Let G 1 and G2 be vertex disjoint graphs in (f/k and let aibi be an edge
of Gi , i = 1,2. Let G = G 1 V G2 be obtained from G 1 U G2 by omitting the edges
alb l , azb z , adding the edge blb z and identifying the vertices al and az. (The opera-
tion v is said to be the Hajos operation, see Figure V.9.) Prove that G E (fjk'
35.+ Let Yf'k be the smallest collection of (isomorphism classes of) graphs such that
(I) KkEYf'k' (2) if HE,;ifk and G::J H then GE.;ifb (3) if HE,;ifk and Gis
obtained from H by identifying two non-adjacent vertices, then G E Yf'k> (4) if
G I , G z E Yf'k and G = GI V G z then G E Yf'k' Prove that Yf'k = Ck' [Hint.
Exercise 33 implies that Yf'k C Ck' Assume that the converse inclusion is false and
let G E Ck\Yf'k be a counterexample of minimal order and maximal size. G cannot
be a complete q-partite graph so it contains vertices a, b l and b z such that
blb z E E(G) but ab l , ab z rt E(G). Let G I = G + ab l and G z = G + ab z . Then
G I and G z are not counterexamples so belong to .Yf k . Find out how G can be
obtained from copies of G I and G z by the allowed operations.]
36. Let k be a natural number. Prove that an infinite graph is k-colourable iff every
finite subgraph of it is. [Hint. Apply Tychonov's theorem as in Exercise 24 of
Chapter IlL]
Notes
Theorem 3 is in R. L. Brooks, On colouring the nodes of a network, Proc.
Cambridge Phil. Soc. 37 (1941) 194-197, and Vizing's theorem, Theorem 5, is
in V. G. Vizing, On an estimate ofthe chromatic class of a p-graph (in Russian)
Diskret. Analiz 3 (1964) 23-30. A detailed account of results concerning
colouring graphs on surfaces, culminating in Ringel and Youngs' proof of
Heawood's conjecture, can be found in Map Color Theorem, Grundlehren
der math. Wiss. 209, Springer-Verlag, Berlin, 1974. The use of the dis-
charging procedure in attacking the four colour problem is described in H.
Heesch, Untersuchungen zum Vierfarbenproblem, B-I-Hochschulskripten
810/81 Oa/81 Ob, Bibliographisches Institut, Mannheim, Vienna, Zurich,
1969. The proof of the four colour theorem appears in K. Appel and W.
Haken, Every planar map is four colourable, Part I: discharging, Illinois J.
of Math. 21 (1977) 429-490 and K. Appel, W. Haken and J. Koch, Every
planar map is four colourable, Part II: reducibility, Illinois J. of Math. 21
(1977) 491-567. A history of the four colour problem and a digest of its
proof are provided byT. L. Saaty and P. C. Kainen, The Four Color'problem,
Assaults and Conquest, McGraw-Hill, New York, 1977. The partition results
of Exercises 7 and 8 are in L. Lovasz, On Decomposition of Graphs, Studia Sci.
Math., Hungar.l (1966) 237-238.
The result in Exercise 33 is due to T. Gallai, On directed paths and circuits,
in Theory of Graphs (P. Erdos and G. Katona, eds.), Academic Press, New
York, 1968, 115-118, and that of Exercise 35 was proved by G. Haj6s,
Uber eine Konstruktion nicht n-farbbarer Graphen, Wiss. Zeitschr. Martin
Luther Univ. Halle-Wittenberg, Math.-Natur. Reihe 10 (1961) 116-117.
Colouring is a naturally appealing part of graph theory and the subject
has a vast literature. Many of the fundamental results are due to G. A. Dirac;
for these and other results see Chapter V. of B. Bollobas, Extremal Graph
Theory, Academic Press, London and New York, 1978.
CHAPTER VI
Ramsey Theory
Show that in a party of six people there is always a group of three who
either all know each other or are all strangers to each other. This well known
puzzle is a special case of a theorem proved by Ramsey in 1928. The theorem
has many deep extensions which are important not only in graph theory and
combinatorics but in set theory (logic) and analysis as well. In this chapter
we prove the original theorems of Ramsey, indicate some variations and
present some applications of the "results.
s+t -
R(s, t) ::; ( s _ 1
2) . (2)
PROOF. (i) When proving (1) we may assume that R(s - 1, t) and R(s, t - 1)
are finite. Let n = R(s - 1, t) + R(s, t - 1) and consider a colouring of the
edges of K n with red and blue. Wd have to show that this colouring contains
either a red K S or a blue Kt. Let x be a vertex of Kn. Since d(x) = n - 1 =
R(s - 1, t) + R(s, t - 1) - 1, either there are at least nl = R(s - 1, t) red
edges incident with x or there are at least n2 = R(s, t - 1) blue edges incident
with x. By symmetry we may assume that the first case holds. Consider a
subgraph Knl of K n spanned by nl vertices joined to x by a red edge. If Knl
has a blue K t, we are home. Otherwise Knl contains a red K S - 1 which forms
a red K S with x.
(ii) Inequality (2) holds if s = 2 ot t = 2 (in fact, we have equality since
R(s,2) = R(2, s) = s). Assume now that s > 2, t > 2 and (2) holds for every
pair (s', t') with 2 ::; s', t' and s' + t' < s + t. Then by (1) we have
::; (s +t-
s-2
3) + (s +s - l 3) = (s + 2).
t - t -
s-1
D
The result easily extends to co lou rings with arbitrarily (but finitely)
many colours: given k and SI' S2' ... ' Sk' if n is sufficiently large then every
colour of K n with k colours is such that for some i, 1 ::; i ::; k, it contains a
KSi coloured with the i-th colour. (The minimal value of n for which this
holds is usually denoted by R k(SI, ... , Sk).) Indeed, if we know this for k - 1
colours, then in a k-colouring of K n we replace the first two colours by a new
colour. Ifn is sufficiently large (depending on SI' S2, . , Sk) then either there
is a KSi coloured with the i-th colour for some i, 3 ::; i ::; k, or else there is a
1 The Fundamental Ramsey Theorems 105
Km, m = R(sl> S2) coloured with the new colour, that is coloured with the
first two (original) colours. In the first case we are home and in the second, for
i = 1 or 2 we can find a K S ' in K m coloured with the i-th colour.
In fact, Theorem 1 also extends to hypergraphs, that is to colourings of the
set x(r) ofall r-tuples of a finite set X with k colours. This is one of the theorems
proved by Ramsey.
Denote by R(r)(s, t) the minimum of n for which every red-blue colouring
of x(r) yields a red s-set or a blue t-set, provided IX I = n. Of course, a set
Y c X is called red (blue) if every element of y(r) is red (blue). Note that
R(s, t) = R(2)(S, t). As in the case of Theorem 1, the next result not only
guarantees that R(r)(s, t) is finite for all values of the parameters (which
is not at all obvious a priori), but also gives an upper bound on R(r)(s, t). The
proof is an almost exact replica of the proof of Theorem 1. Note that if r >
min{s, t} then R(r)(s, t) = min{s, t} and ifr = s.::; t then R(r)(s, t) = t.
Theorem 2. Let 1 < r < min{s, t}. Then R(r)(s, t) is finite and
R(r)(s, t) .::; R(r-1)(R(r)(s - 1, t), R(r)(s, t - 1 + 1.
PROOF. Both assertions follow if we prove the inequality under the assump-
tion that R(r-l)(u, v) is finite for all u, v, and R(r)(s - 1, t), R(r)(s, t - 1) are
also finite.
Let X be a set with R(r-l)(R(r)(s - 1, t), R(r)(s, t - 1 + 1 elements.
Given any red-blue colouring of x(r), pick an x E X and define a red-blue
colouring of the (r - I)-sets of Y = X - {x} by colouring (J E y(r-l) the
colour of {x} U (J E x(r). By the definition of the function R(r- 1)(u, v) we may
assume that Y has a red subset Z with R(r)(s - 1, t) elements.
Now let us look at the colouring of z(r). If it has a blue t-set, we are home,
since z(r) c x(r) so a blue t-set of Z is also a blue t-set of X. On the other
hand if there is no blue t-set of Z then there is a red (s - I)-set, and its union
with {x} is then a red s-set of X. 0
Very few of the non-trivial Ramsey numbers are known, even in the case
r = 2. It is easily seen that R(3, 3) = 6 and with some work one can show
that R(3, 4) = 9, R(3, 5) = 14, R(3,6) = 18, R(3, 7) = 23 and R(4,4)
= 18. Because of (1) any upper bound on an R(s, t) helps to give an upper
bound on every R(s', t'), s' ~ s, t' ~ t. Lower bounds for R(s, t) are not easy
to come by either. In Chapter VII we shall apply the method of random
graphs to obtain lower bounds on the Ramsey numbers R(s, t).
As a consequence of Theorem 2 we see that in every red-blue colouring of
the r-tuples of the natural numbers contains arbitrarily large monochromatic
subsets; a subset if monochromatic if its r-tuples have the same colour.
Ramsey proved that, in fact, we can find an infinite monochromatic set.
Theorem 3. Let c: A (r) -> {l, . ~ . , k} be a k-colouring ofthe r-tuples (1 .::; r < (0)
of an infinite set A. Then A contains a monochromatic infinite set.
106 VI Ramsey Theory
Theorem 3'. Let kr EN, r EN, and colour the set N(r) of r-tuples of N with kr
colours. Then there is an infinite set MeN such that for every r any two r-
tuples of M have the same colour, provided their minimal elements are at least r.
PROOF. Put Mo = N. Having chosen infinite sets Mo::J ... ::J M r - l , let
Mr be an infinite subset of M r - l such that all the r-tuples of Mr have the same
colour. This way we obtain an infinite nested sequence of infinite sets:
Mo ::J Ml ::J '" .Pickal E Mba2 E M2 - {I, ... , ad,a3 E M3 - {l, ... ,a2},
etc. Clearly M = {ab a2,"'} has the required properties. 0
2 Monochromatic Subgraphs
Let H 1 and H 2 be arbitrary graphs. Given n, is it true that every red-blue
colouring of the edges of K n contains a red H 1 or a blue H 2? Since Hi is a
subgraph of KSi, where Si = IHd, the answer is clearly "yes" ifn ?: R(Sl, S2).
Denote by r(H 1, H 2) the smallest value of n that will ensure an affirmative
answer. Note that this notation is similar to the one introduced earlier:
R(s l ' S2) = r(K S" KS2). Clearly r(H 1, H 2) - 1 is the maximal value of n for
which there is a graph G of order n such that H 1 G and H 2 G.
The numbers r(H 1, H 2), sometimes called generalized Ramsey numbers,
have been investigated fairly extensively in recent years. We shall determine
r(H1' H 2) for some simple pairs (H1' H2).
PROOF. Let n be greater than the right hand side and suppose there is a red-
blue colouring of K n without a red G. Then n ?: r(G, H 2) implies that there
is a blue H 2 Remove it. Since n - IH21 ?: r(G, H 1 ), the remainder contains
a blue H 1. Hence K n contains a blue H 1 U H 2. 0
Theorem 6. If s ?: t ?: 1 then
r(sK2, tK2) = 2s +t - 1.
108 VI Ramsey Theory
r(sK 3, K 3) ~ 3s,
By elaborating the idea used in the proofs of the previous two theorems
we can obtain good bounds on r(sKP, tKq), provided max(s, t) is large
2 Monochromatic Subgraphs 109
Theorem 8. If s ~ t ~ 1 then
ps + (q - 1)t - 1 ~ r(sKP, tKq) ~ ps + (q - 1)t + C.
PROOF. The graph KPS- 1 U E(q- 1)1- 1 shows the first inequality. As in the
proofs of the previous theorems, we fix s - t and apply induction on t. By
Lemma 5 we have
r(sKP, tKq) ~ (s - t)p + r(tKP, tKq) ~ ps + C,
provided t ~ to. Assume now that t ~ to, and the second inequality holds
for s, t.
Let G be a graph of order n = p(s + 1) + (q - 1)(t + 1) + C + 1 such
that G t> (s + 1)KP and G t> (t + 1)Kq. Suppose no KP of G and Kq of G
ha ve a vertex in common. Denote by ~ the set of vertices of G that are in KP
subgraphs and put Vq = V - Vp, np = I Vp I, nq = I Vq I. No vertex x E Vq is
joined to more than r(KP-I, Kq) vertices of Vp since otherwise either there is
a KP of G containing x or else there is a Kq of G containing vertices of Vp.
Similarly every vertex Y E Vq is joined to all but at most r(KP, Kq-I) vertices
of Vp. Hence
nqr(KP-l, Kq) + npr(KP, Kq-I) ~ npnq.
However, this is impossible, since np ~ sp, nq ~ tq so np > 2r(KP-I, Kq)
and nq > 2r(KP, Kq- I). Therefore we can find a KP of G and a Kq of G with
a vertex in common.
When we omit the p + q - 1 vertices of these subgraphs, we find that the
remainder H is such that H t> sKP and H t> tKq. However, IHI = ps
+ (q - 1)t + C + 1, so this is impossible. 0
One is inclined to imagine that the various Ramsey theorems hold for
finite graphs because the graph whose edges we colour is K n and not some
sparse graph with few edges.
Let us consider now another generalization of the original Ramsey
problem for finite graphs. Let H, GI , G z , ... , Gk be graphs. Denote by
H -+ (G I , Gz ,., Gk )
the following statement: for every colouring of the edges of H with colours
C I, C 2, ... , C k there is an index i such that H contains a subgraph isomorphic
to G; whose edges are of colour C;. If G; = G for each i then instead of
H -+ (G I , Gz , ... , Gk) we usually write H -+ (G)k. Note that
r(G I , G z ) = min{n: K n + I -+ (G I , Gz )} = max{n: K n + (G I , G z )}.
110 VI Ramsey Theory
Theorem 10. M ..... (f!J)k iff there is a finite set X c M such that X ..... (f!J)k.
3 Ramsey Theorems in Algebra and Geometry 111
PROOF. Figure VI.2 shows the first assertion. For suppose that in a red-blue-
yellow colouring of the seven points there is no monochromatic adjacent
y,
pair. We may assume that x is red. Then Yl, Zl are blue and yellow so Xl is
red. Similarly X2 is red, but Xl and X2 are adjacent.
Figure VI.3 shows that [Rf -+ (Ph is false. 0
112 VI Ramsey Theory
Figure VI.3. The hexagons have side a, 1 < a < (4)5 - 5)/10.
Theorem 12. Let QZ be the (vertex set of a) unit square. Then 1R6 --+ (Qzh.
L z = {(Xl> ... , Xm, + m ,): (Xl,, Xm1 )EL I , (X m1 +l>"" Xm, + m')EL Z}'
PROOF. Given k, there is an m such that IRm --+ (Llh. Hence by the com-
pactness theorem there is aftnite subset X c IRm such that X --+ (LI)k' Put
I = klxl. Since L z is Ramsey, there is an n such that IRn --+ (LZ)I' Every k-
colouring of IRm +n = IRm x IRn restricts to a k-colouring c: X x IRn-+
[1, kJ = {l, 2, ... , k}. This gives an 1= k1xl-colouring of IRn with colours
[1, kY: simply colour Yo E IR" with the functionf E [1, kY that tells us how
the points of X x {Yo} are coloured: f(yo) = c(x, Yo). In this I-colouring
there is a monochromatic L z c IR", i.e., an L z c IRn such that for X E X,
and YI' Y2 E L z the points (x, YI), (x, Yz) have the same colour (in the original
k-colouring). Assigning this common colour to x, we obtain a k-colouring
of X. It has a monochromatic LI C X, providing us with a monochromatic
LI x L z . D
3 Ramsey Theorems in Algebra and Geometry 113
where ai > 0. A unit simplex in IRk shows that IRk ---+ ({O, 1})k so every 2-point
set is Ramsey. Hence Theorem 13 has the following consequence.
Theorem 16. Given a finite field F and natural numbers nand k, there is a
natural number N such that if F N, the N-dimensional vector space over F, is
coloured with k colours then FN contains a monochromatic n-dimensional
affine subspace.
Furthermore, given a finite field F and natural numbers n, m and k, there is
an M such that if the set of k-dimensional subspaces of FM is coloured with k
colours, then there is an n-dimensional subspace in which all k-dimensional
subspaces have the same colour. 0
and
C
( a + t
m+ 1
xjd j
)
is constant on each I-equivalence class of [0, IJ<m +). (See Figure VI.4.)
4 Subsequences 115
ex a +
1"'1
L x,d. a + d'W
I 1
a + 2d'W
1 I
.
a' a'
.
+ d'
. .
a' + 2d' W'
Figure VIA. Illustration to part (i). The colour ofj E [1, W'] tells us how It} is coloured.
(ii) IIS(l, m) hoidsior every m then S(l + 1,1) also holds. This is an almost
immediate consequence of the pigeonhole principle. For let c:[W(l, k, k)] ~
[1, k] be given. Then there exist a, d 1 , ,dk EN such that a + I L1 d i :::;;
W(l, k, k) and c(a + L1 XidJ is constant on I-equivalence classes. The.
colours c(a + L1ldJ, s = 0, 1, ... , k cannot be all different so there exist
: :;
s, t, s < t :::;; k, such that
Then
Van der Waerden's theorem has many interesting and deep extensions.
Among others, Rado determined when a system
n
L
j= 1
aijxj = 0, i = 1, ... , m,
4 Subsequences
Let Un) be a sequence of functions on a space T. Then we can find an in-
finite subsequence Un') such that one of the following two alternatives holds:
a. if Un) is any subsequence of (!",) then sup IL~ In; I ::::: l/Nforevery N ::::: 1,
b. ifUn)isanysubsequenceofUn,)thensupIL~ In;1 < l/N for some N ::::: L
116 VI Ramsey Theory
Lemma 18. If N rejects 0 then there exists an ME N(W) that rejects every
XcM.
PROOF. Note first that there is an M o such that every X c M o is either
accepted or rejected by Mo. Indeed, put No = N, a o = 1. Suppose that we
have defined No=> N I=> .. => Nk and ai E Ni - N i+ IO :s; i :s; k - 1. Pick
akEN k If Nk - {ak} rejects {a o , ,a k} then put Nk+1 = Nk - {ak},
otherwise let N k+ I be an infinite subset of Nk - {a k} that accepts {ao, ... , ak}'
Then M o = {ao, a l , ... } will do.
By assumption M rejects 0. Suppose now that we have chosen
bo , bI> ... , b k - I such that M o rejects every Xc {b o , b l , , bk - I }. Then
M o can not accept infinitely many sets of the form Xu {c),j = 1,2, ... ,
since otherwise {CI, C2, . '} accepts X. Hence M o rejects all but finitely
many sets of the form Xu {c}. As there are only 2k choices for X, there
exists a b k such that M rejects every X c {b o , b I, ... , b k }. By construction
the set M = {b o , b l , ... } has required property. 0
Corollary 20. Let fi' 0 c NI<W) be dense. Then there is an ME N'W) such that
every A c M has an initial segment belonging to fi' 0 .
PROOF. Let fi' = {F eN: F has an initial segment belonging to fi' o}. Then
fi' is open so there is an M E Nlw) such that either MIW) c fi', in which case
we are home, or else Mlw) c 2N - fi'. The second alternative cannot hold
since it would imply M'<W) n fi' 0 = 0. D
Corollary 21. Let fi' 0 c N'<W) be a thin family. Then for any k-colouring of
fi' 0 there is an irifjnite set A c N such that all members of fi' 0 contained in A
have the same colour.
PROOF. It suffices to prove the result for k = 2. Consider a red and blue
colouring of fi' 0: fi' 0 = fi'red U fi' blue. If fi'red is dense then let M be the
set guaranteed by Corollary 20. For every FE fi' 0 n 2M there is an infinite
set N c M with initial segment F. Since fi' 0 is thin, F is the unique initial
segment of N that belongs to fi' o. Hence FE fi'red, so every member of fi' 0
contained in M is red.
On the other hand if fi'red is not dense then 2M n fi'red = 0 for some
infinite set M. Hence 2M n fi' 0 c fi' blue. 0
We shall not give a detailed proof but only sketch one for those who are
(at least rather vaguely) familiar with ultrafilters on N and know that the
set f3N of all ultrafilters is a compact topological space (the Stone-Cech
compactification of N with, of course, the discrete topology). The proof
which is due to Glazer, is at least as beautiful as the theorem and it is con-
siderably more surprising.
118 VI Ramsey Theory
of N into colour classes. Exactly one of these colour classes, say Ci , belongs
to !I. Put Al = Ci . Select al E Al and A2 E g>, A2 C Al - {ad such that
a l + A z c AI' Then select a2 E A2 and A3 E g>, A3 c A2 - {a2} such that
az + A3 c A 2 , etc. The set A = {aI, a2,"'} clearly has the required
property: every infinite sum LXE x X, X c A, has colour i. 0
EXERCISES
3. Extending the construction in Figure VI.5, find for each t z 2 a t-regular graph
which shows that R(3, t + 1) z 3t.
4. By considering the graph with vertex set ;Z 17 (the integers modulo 17) in which i
is joined to j iff i - j = 1, 2, 4 or 8, show that R(4, 4) = 18.
5. Prove that R(3, 5) = 14.
6. Let e be an edge of K4. Show that r(K 4 - e, K4) = 11 (cf. Exercise 4).
7. By considering the 3-colouring of KI6 with vertex set GF(16), the field of order 16,
in which the colour of an edge ij depends on the coset of the cubic residues to which
i - j belongs, show that R3(3, 3, 3) = 17. (You have to check that the graph is
well defined.)
8. Establish the upper bound for Rt)(sJ, ... , Sk) given at the end of 1.
120 VI Ramsey Theory
9:- Given 2 :::;; k :::;; n, denote by ck(n) the maximal integer which is such that in every
k-colouring of the edges of K n we can find a connected monochromatic subgraph
of order ck(n). Show that cin) = n. (See Exercise 13 of Chapter 1.)
10:- Prove that Cn -I (n) = 2 if n ;?: 2 is even and Cn - I (n) = 3 if n ;?: 3 is odd. [Hint.
Use Theorem 9 of Chapter 1.J
11:- Prove that
if n == 2 (mod 4),
otherwise
e + k + 2.
15.+ Using two-dimensional vector spaces over finite fields (cf. Theorem 10 of Chapter
IV), show that
rk(C 4 , C 4 , .. , C4 ) = k2 + O(k).
16. By considering HI = p5 and H 2 = K 1,3, show that
19. Let b, Clo' .. , CI E [R, b =I O. Show that there exists an integer k and some k-colouring
of [RI such that the equation
I
Idxj - xo) = b
I
21. Let fen) be the minimal integer N such that whenever X is a set of N points
in a plane, no three of which are collinear, X contains n points forming a convex
n-gon. Show that fen) ~ R(4)(5, n) for every n ~ 4. Can you give a better bound
for f(5)?
22. Let S be an infinite set of points in the plane. Show that there is an infinite set A
such that either A is contained in a line or no three points of A are collinear.
23. Show that Rk(3, 3, ... , 3) ~ Lek!J + 1.
24. Deduce from Exercise 23 the following theorem of Schur: If we partition the
natural numbers not exceeding ek! into k classes then the equation x + y = z
is solvable in at least one of the classes.
25. Show that there is an infinite set of natural numbers such that the sum of any two
elements has an even number of prime factors.
26:' Show that there is a sequence nl < n2 < ... of natural numbers such that if
r ~ i l < i2 < ... < ir then 2:i= 1 nij has an even number of prime factors iff r
has an odd number of prime factors.
27. Define a graph with vertex set [1, N](2) by joining a < b to b < c. Show that this
graph does not contain a triangle and its chromatic number tends to infinity
with N. (See Exercise 11 of Chapter V.)
28. Let gl(X), g2(X), ... , gn(x) be bounded real functions and let f(x) be another
real function. Let e and 5 be positive constants. Suppose maXi (gi(X) - g;(y)) > 5
whenever f(x) - fey) > B. Prove that f is bounded.
Notes
The fundamental Ramsey theorems are in F. P. Ramsey, On a problem of
formal logic, Proc. Lond. Math. Soc. (2) 30 (1930) 264-286. Theorems 4,7
and 8 are due to V. Chvatal, P. Erdos and J. Spencer and can be found in
S. A. Burr, Generalized Ramsey theory for graphs-a survey, in Graphs
and Combinatorics (R. Bari and F. Harary, eds.) Springer-Verlag, 1974,
pp. 52-75. For some of the deep results of Nesetfil and Rodl, one of which is
Theorem 9, see J. Nesetril and V. Rodl, The Ramsey property for graphs
with forbidden subgraphs, J. Combinatorial Theory Ser. B, 20 (1976) 243-
249, and Partitions of finite relational and set systems, J. Combinatorial
Theory Ser. A 22 (1977) 289-312.
The geometric Ramsey results of 3 can be found in P. Erdos, R. L.
Graham, B. L. Rothschild, J. Spencer and E. G. Straus, Euclidean Ramsey
theorems, I, J. Combinatorial Theory Ser. A, 14 (1973) 344-363. Theorem 15
is in A. Hales and R. 1. Jewett, Regularity and positional games, Trans.
Amer. Math. Soc. 106 (1963) 222-229. Rota's conjecture is proved in R. L.
Graham and B. L. Rothschild, Ramsey's theorem for n-parameter sets,
Trans. Amer. Math. Soc. 159 (1971) 257-292. The results concerning Ramsey
122 VI Ramsey Theory
"Give a 'good' lower bound on the Ramsey number R(s, s), that is show
that there exists a graph of large order such that neither the graph nor its
complement contains a KS". "Show that for every natural number k there
is a k-chromatic graph which does not contain a triangle". It does not take
long to realize that the constructions that seem to be demanded by questions
like these are not easily come by. Later we show that for every k there is a
graph with the latter property, but even for k = 4 our graph has at least
232 vertices. This book does not contain a picture of such a graph. Indeed,
the aim of this chapter is to show that in order to solve these problems we
can use probabilistic methods to demonstrate the existence of the graphs
without actually constructing them. (It should be noted that we never use
more than the convenient language of probability theory, since all the
probabilistic arguments we need can be replaced by counting the number of
objects in various sets.) This phenomenon is not confined to graph theory
and combinatorics; in the last decade or two probabilistic methods have
been used with striking success in Fourier analysis, in the theory of function
spaces, in number theory, in the geometry of Banach spaces, etc. However,
there is no area where probabilistic (or counting) methods are more natural
than in combinatorics.
In most cases we use one of two closely related probabilistic models. We
start with a fixed set of n distinguished (labelled) vertices. Then either we
choose every edge with some probability p, 0 < p < 1, independently of
the choices of other edges or else we take all graphs of order n and size M,
and consider them as points of a probability space, having equal probability.
In the first case we shall write C(n, P(edge) = p) for the probability space,
in the second case we write c(n, M). Of course in a more complicated model
123
124 VII Random Graphs
we would choose the edges with given probabilities from several disjoint
subsets of edges.
In the first two sections we shall show that a random graph can be a
valuable weapon in attacking straightforward questions concerning graphs,
including the ones mentioned above. However, random graphs are clearly
of interest in themselves. A random graph can be viewed as an organism
that develops by acquiring more and more edges as p or M increases. It is
fascinating and rather surprising that a given property may appear rather
suddenly at a certain stage of the development. In the last two sections we
present some examples of this phenomenon.
n! = (~rjhmea/(12n), (1)
: ; e:r
binomial coefficient and occasionally applying Stirling's formula (1).
:;
2:ra (~r 2~ C~ br-b(~r (~) (a ~ br-b(~r:; :;
(2)
a- b- y)Y(~)x
(a-x-y a-x : ; (a -b-x
x- y)(a)-l
:; e:
b
br(~r :; e-(b/a)y-(l-(b/ax. (3)
I Complete Subgraphs and Ramsey Numbers-the Use of the Expectation 125
PROOF. Note first that the graph G = (t - 1)Ks- 1 does not contain a K S
and its complement, K s - 1(t - 1),
does not contain a K 1, so R(s, t) :2:
(s - l)(t - 1) + 1. Therefore we may assume that
n = r{
exp
(S - 1)(t -
2(s + t)
1)}1 :2: (s - l)(t - 1) + 1,
M= l_s
s+
NJ, t
M
I
=N-M<--N+l
+ s
t
t '
complement of such graphs (i.e., in the graphs G(n, M'. Let us estimate the
expression for E., given in Theorem 1, by using inequalities (2) and (3).
We obtain
t s(s - 1)
log Es ::; s(log n +1- log s) - - - 2
s+t
s(s - 1)
::; - +1- s(log s - 1) < - 3.
2(s + t)
Similarly
s t(t - 1) t(t - 1)
log Et ::; t(log n + 1 - log t) - - -
s+t
2 + nn-
( 1)
t(t - 1) t(t - 1)
= - +1- t(log t - 1) + < - 3.
2(s + t) n(n - 1)
l( l - ___
1 )nl-anl-pJ
s!t! ! z
that does not contain a K(s, t) (with s vertices in the first class and t vertices
in the second class).
PROOF. Let
n = nl + n2'
Vi = {l, 2, ... , nd,
Vz = {nl + 1, n l + 2, ... , n! + n2},
E = {ij: i E VI, j E Vz },
M = Lnl-an~-PJ.
since the first factor is the number of ways the first class of K(s, t) can be
chosen, the second factor is the number of ways the second class can be
chosen and since K(s, t) has st edges. By (3) we have
Thus there is a graph Go E Q that contains fewer than (l/s!t !)n~ -an~ - p
complete bipartite graphs K(s, t). Omit one edge from each K(s, t) in Go.
The obtained graph G = Gin 1 , n 2 ) has at least
Ln 1- an 1- PJ - _1_nl-an1-P >
1 2 s!t! 1 2 -
l(1 - _1_)n 1 - an 1 -
s!t! 1 2
fJ J
edges and contains no K(s, t). D
l! (1 - _1_)n
2 s!t!
2 -(S+I-2)/(SI-l)J
It is a fact of life that the answers produced with the aid of random graphs
usually differ from the best possible ones by a factor of 2. For example,
random graphs give R(s, s) > 2s / 2 , whereas one would expect the actual
value of R(s, s) to be around 2S Similarly it is thought that there are graphs
of order n with cl n2 -(1/1) edges containing no K(t, t), where C I is a positive
constant depending only on t; random graphs show that CI n2 - (2/1) edges
are possible. However, in both these cases random graphs produce the best
known lower bounds.
ZIZI
PROOF. Let 0 = rg(n, M), where n = (2b)g and M = bn. Denote by ZlG)
the number of cycles of length I in a graph G; thus is a random variable
on the space o. What is E(ZI), the expected value of ? A cycle Co of length
I determines I edges of a graph G containing it; the remaining M - I edges
of G have to be chosen from a set of CD - I = N - I edges. Since there are
(';) choices for the vertex set of Co and, given the vertex set, there are 1<1 - I)!
ways of choosing Co,
I
E(ZI)=1(I-l)! I - I) (N)-I
(n) (NM-I M 1 I(M)I
~2zn N .
The next result solves the second problem posed in the introduction of
this chapter.
ways of choosing I edges joining vertices of such a set; and the remaining
M - I edges can be chosen in
(N-m)
M -I
ways. Thus
L E(l P
3f +1 ):::; - -p2 )1exp { - M (p) (n)
L (en)p(e
3f -1}
1=0 1=0 P 2 2 2
< kPeP+3fp6fexp{ -kn}.
The logarithm of the right hand side is at most
n
n + - + n7/8 + !n 7/8 log n - kn < -tn.
3
Consequently
3f
L E(l;I) < e- n/ 2 < t
1=0
and so
Therefore
P(01 n O 2 ) ~ 1-
Every graph HE 0 1 n O 2 can be altered in a very simple way to provide
a graph with the required properties. Indeed, since H E 0 1 , it contains at
most 3J cycles of length less than g. Let F be obtained from H by omitting
3J edges of H, at least one from each cycle of length less than g. Then F has
girth g(F) ~ g. Since HE O 2 , this graph F does not contain p = (n/k) + 1
independent vertices and so X(F) ~ k. Let G be the disjoint union of a cycle
Cg and a k-chromatic subgraph of F. 0
l30 VII Random Graphs
R(3, t) ~ cCo~ tY
for every t ~ 2. o
It suffices to show that there is a (large) positive constant A such that for
every n there is a graph Gn without triangles and without LAnl/2 log nJ in-
dependent vertices. Indeed, it is easily checked that if there is such a constant
then c = tA - 2 will do in the theorem.
In order to show the existence of A, we choose a constant B > 0 and con-
sider the probability space Q = '!len, M), where M = LB- 1 / 2n 3 / 2J Given
G E Q, let E* be a minimal set of edges whose removal destroys every triangle
in G. If H = G - E* contains a set W of p = LBnl/2 log nJ independent
vertices, then every edge of G[W] has to be contained in a triangle of G whose
third vertex is outside W One can show that if Band n are sufficiently large,
say B ~ Bo and n ~ no, then most graphs G E Q do not contain such a set W
Clearly A = Bo n6 has the required properties.
Now we shall examine the model n = C(n, P(edge) = p) under the as-
sumption that 0 < p < 1 depends on n but pn 2 ~ 00 and (1 - p)n 2 ~ 00 as
n ~ 00. As before, we put N = mand for M = 0, 1, ... , N we denote by
n M the set of graphs in C(n, M). Clearly n = Uz.;o
nM' and the elements
ofn M have equal probability both in C(n, M) and C(n, P(edge) = p).
We shall show that the models n = C(n, P(edge) = p) and C(n, M) are
very close to each other, provided M is about pN, the expected number of
edges of a graph in n.
Writing P for the probability in n, we see that
Hence
p(n M ) M +1q
(4)
p(n M + 1) N - M p.
p(nM + 1 ) I + )-1
p(n M) e
Another consequence of (4) is that there is an YJ > 0 (in fact, any 0 < YJ < t
would do) such that
(6)
if n is sufficiently large. Now (5) and (6) imply that if n* c n is such that
p(n*) ~ 1 as n -+ 00, then for any e > 0 there are M 1 and M 2, such that
(1 - e)pN ~ M 1 ~ pN ~ M 2 ~ (1 + e)pN and
InM ( l n*1
, ~1 asn~oo (i = 1, 2,). (7)
InMil
4 Almost Determined Variables-the Use of the Variance 133
(7')
t - 1
P(X ~ ta) ~ - - for t > 1.
t
Thus if the expectation of X is very small then X is small for most graphs.
This simple fact was used over and over again in the first two sections.
However, if we want to show that X is large or non-zero for almost every
graph in Q then the expected value itself very rarely can help us, so we have
to try a slightly more sophisticated attack. We usually turn to the variance
for help. Recall that if J1. = E(X) is the expectation of X then
so
a2
P(X = 0) ~ 2. (8)
J1.
where the summation is over all ordered pairs (F', F"), F', F" E!F.
In this section we shall consider the space Q = <;(n, P(edge) = p), where
o < p < 1 is fixed; we know that this space is near to <;(n, M), where M =
LPn2j2J. As before, we write q = 1 - p for the probability that two given
vertices are not adjacent. Furthermore, we use Landau's notation O(J(n))
for a term that, when divided by fen), remains bounded as n -+ 00. Similarly,
o(J(n)) denotes a term that, when divided by fen), tends to 0 as n -+ 00.
Thus 0(1) is a bounded term and 0(1) is a term tending to o.
Our aim is to make use of the variance to show that certain graph in-
variants are almost determined in our model <;(n, P(edge) = p). The first
theorem concerns the maximal degree. In its proof we shall make use of a
special case of the classical De Moivre-Laplace theorem concerning the
approximation of the binomial distribution by the normal distribution.
Let 0 < c = c(n) = 0(1) and put d(c) = LPn + c(pqn log n)1/2 J Suppose
x(c) = c(log n)1/2 -+ 00. Then
Furthermore
k
=dIe)
{(n)pkqn_k}2
k
= (1 + 0(1))(2npqn)-1/2 foo e-
x(e)
u2 du
Theorem 9. IfO < P < 1 is fixed then in Q = C(n, P(edge) = p) the maximal
degree of almost every graph is
and
+ n(n - 1) L:
n-l L:
n-l ( n- 2)( 2) n- pk,+k 2 -Z q Zn-Z-k,-k 2
k, =d(c) k2 =d(c) k, - 1 kz - 1
= I1c + (1 + 0(111;
In the estimation of E(X;) the term
P(Xc = 0) = 0(1).
o
The result above has an interesting consequence.
Corollary 10. IfO < P < 1 and c > J(3/2) then in C(n, P(edge) = p) almost
no graph has two vertices of equal degree whose degrees are at least
1. P
1m n p
(Q) = {O if p/t(n) ~ 0,
. (
n-oo' 1 If p/t n) ~ 00.
Here Pn.p(Q) denotes the probability that in ~(n, P(edge) = p) a graph has
property Q. The existence of a threshold function means that in the evolu-
tion of a random graph, i.e. in the process a graph acquires more and more
edges, the property emerges rather abruptly. In this section we prove a basic
result about threshold functions. The next section will be devoted to the
beautiful result that the property of being Hamiltonian has a sharp threshold
function.
PROOF. Let p = yn- k/1, 0 < y < nk/l, and denote by X = X(G) the number
of copies of F contained in G E ~(n, P(edge) = p). Denote by kF the number
of graphs with a fixed set of k labelled vertices that are isomorphic to F.
Clearly kF :::; k!. Then
where Ls
means that the summation is over all pairs (P', F") with s vertices
in common. Clearly
As ~ L (k) (n - k)k!pl-tq(~)-l+t
/1 t -5, ls/k S k- s
~ L c2nk-S(yn-k/I)I-t
t -5, ls/k
Here in the last step we separated the term with t = 0 from the rest. Con-
sequently, making use of (12), we find that
since we have G) choices for the vertex set of a K' and, having chosen the
vertex set, we have no choice for the m
edges. Let d = d(n, p) be the positive
real number for which
138 VII Random Graphs
For simplicity we put b = lip. It is easily checked with the aid of Stirling's
formula that
and
2 log n
d = log b + O(log log n). (6)
Theorem 12. Let 0 < p < 1 be fixed. Then the clique number of almost every
graph G E ~(n, P(edge) = p) is LdJ or rdl.
Since
,
:0::; I r2I n- 1b(l-I)I/2.
1=2
5 Hamilton Cycles-the Use of Graph Theoretic Tools 139
clog n
~(n, P(edge) = p), p = ~-.
n
Lemma 13. Let c > 3 and 0 < y < !- be constants and let p = (c log n)/n.
Then in ~(n, P(edge) = p) we have
P(D t > 0 for some t, 1 S t S yn) = O(n 3- C).
L: E(Dt) = L:
[ynl [ynl (
n) (
n - t ) (1 _ py(n-3t)
t; 1 t~ 1 t n - 3t
+ L:
[ynl
22n(1 - py(n-3t).
[f/nl+ 1
and
22n(1 - py(n-3t) < n(2n/(logn))-n-3t)t/n) = O(n-f/(l-3 y)n) if f3n S t S yn.
Consequently
[ynl
L: E(D t) = O(n 3 - C ),
t; 1
PROOF. Choose y < !- in such a way that cy > 3 if c > 9 and cy > 1 if c > 3.
Let us introduce the following notation for certain events in
~(n, P(edge) = p), whose general element is denoted by G.
provided I WI = n - 2 or n - 1, WE Wand x W.
Note now that F(x) c E(V - {x}, x), so
This proves that if c > 3 then almost every graph has a Hamilton path.
Now let x and y be distinct vertices and put W = V - {x, y}. By the
first part
P(H(W:s:; 2n 1 - cy + O(n 3 - c).
Since
H(x, y) c H(W) n E(W, y) n E(W, xly),
we have
Therefore, if c > 3 then alm<;>st every graph contains a Hamilton path from
x to y.
142 VII Random Graphs
Finally, as there are G) choices for an unordered pair (x, y), x "# y,
P(HC) ~ L P(H(x, y)) ~ n 3 - cy + O(n 2 - Cy ).
x=y
EXERCISES
1. Let G = (V, E) be a directed graph with m edges and without loops. Prove that V
can be partitioned into sets VI and V2 such that Gcontains more than m/4 edges
from VI to V2 .
2. Given an integer k :2: 2 and a graph G, denote by p(k)(G) the minimal number of
edges of G whose omission results in a k-partite graph. Prove that if G = G(n, m)
then
7. Show that a given vertex has degree 1 in about 2/e 2 of the graphs in <'(n, n).
In Exercises 8-13 the model <'(n, P(edge) = p) is used and 0 < p < 1 is assumed
to be fixed. The same model is used in Exercises 14-19 but p varies with n as
indicated.
8 ~ Show that for I: > 0 a.e. graph has at least t(p - l:)n 2 edges and at most t(p + l:)n 2
edges.
12. Estimate the maximal value of t for which a.e. graph contains a spanned K'" =
K(t, t). Estimate the corresponding value for Kr(t) = K(t, ... , t).
13. Let 0 < C < I. Prove that a.e. graph has the property that for every set Wof
k = Lc log2 nJ vertices there is a vertex X z for each subset Z of W such that Xz is
joined to each vertex in Z and to none in W - Z. Note that for c = 1 it is
impossible to find even a set of 2k vertices disjoint from W. [Hint. Refine the proof
of Theorem 7.]
14. Prove that (log n)/n is a sharp threshold function for connectivity, in the sense
that if e > 0 and p = 1 - e)log n)/n then almost no graph is connected while
if e > 0 and p = 1 + I:)log n)/n then a.e. graph is connected.
15:'" Sharpen the previous result as follows. If p = ((log n)/n) + (2x/n) then the prob-
ability that G is connected is e - e - 2 x. [Show first that a.e. G consists of a component
and isolated vertices.]
16. Let p = ((log n)/n) + (C(n)/n), where C(n) -> 00 arbitrarily slowly. Prove that
a.e. G contains a I-factor. [Use Tutte's theorem, Theorem 12 of Chapter III,
ignoring the parity of the components.]
17. Show that l/n is a threshold function for F 1 in Figure VII.1, that is if pn -> 0 then
almost no graph contains F 1 and if pn -> 00 then a.e. graph does.
A
Figure Vn.1. The graphs F l' F 2 and F 3 .
144 VII Random Graphs
19. Let e > O. Prove that if p = n-(1/2)-e then almost no graph contains F 3 in Figure
VII.l but if p = 11-(1/2)+e then a.e. graph does. [Find a suitable graph Fj that has
average degree 2 + e.J
20:- Consider random directed graphs in which all edges are chosen independently
and with the same probability p. Prove that there is a constant c such that if
p = c((log n)ln)1/2 then a.e. directed graph contains a directed Hamilton cycle.
[Hint. What is the probability that a graph contains both edges ab and bQ?
Apply Theorem 14 to the random graph formed by the double edges.J
21:- Note that the suggested solution of Exercise 20 gives two directed Hamilton
cycles with the same underlying (non-directed) edge set. Show that with p =
(1 - e)((log n)ln)1/2 almost no directed graph contains such a pair of Hamilton
cycles.
22. Show that there are at least (2N In!) + O(2NIII !) non-isomorphic graphs of order n.
[Hint. Show that a.e. graph in '09'(11, P(edge) = 1) has trivial automorphism group;
for the automorphism group see p. 157.J
Notes
Perhaps the first combinatorial result proved by probabilistic methods is
the assertion of Exercise 3, proved by T. Szele in Combinatorial investi-
gations concerning directed complete graphs (in Hungarian), Mat. Fiz.
Lapok 50 (1943) 223-256; for a German translation see Kombinatorische
Untersuchungen tiber gerichtete vollstandige Graphen, Publ. Math. Debre-
cen 13 (1966) 145-168. However, the first papers that gave real impetus to
the use of random graphs are two papers of P. Erdos: Graph theory and
probability, Canad. J. Math. 11 (1959) 34-38, contains Theorem 6 and Graph
theory and probability II, Can ad. J. Math. 13 (1961) 346-352, contains the
lower bound on R(3, t) given in Theorem 6.
The result about first order sentences which we mentioned after Theorem
7 is due to R. Fagin, Probabilities on finite models, J. Symb. Logic 41 (1976)
50-58.
The fundamental paper on the growth of random graphs is P. Erdos and
A. Renyi, On the evolution of random graphs, Publ. Math. Inst. Hungar.
A cad. Sci. 5 (1960) 17-61. This paper contains a detailed discussion of
sparse random graphs, covering amongst other things the distribution oftheir
components and the occurrence of small subgraphs (Theorem 11).
The sharpest results in the direction of Theorem 12 are in B. Bollobas
and P. Erdos, Cliques in random graphs, Math. Proc. Cambridge Phil. Soc.
80 (1976) 419-427. P6sa's theorem (Theorem 14) is in L. P6sa, Discrete Math.
14 (1976) 359-364, its sharper form is in A. D. Korshunov, Solution of a
problem of Erdos and Renyi, on Hamilton cycles in non oriented graphs,
Soviet Mat. Doklady 17 (1976) 760-764.
For standard results of probability theory, including Chebyshev's in-
equality and the approximation of the binomial distribution by the Poisson
Notes 145
146
l Cayley and Schreier Diagrams 147
Figure VIII.1. The Cayley diagrams of (i) the cyclic group C 4 generated by a, (ii) the
Klein four-group with generators a, b and (iii) the symmetric group S 3 with generators
a = (123) and b = (12).
problem). All these problems have turned out to be problems in logic, and
cannot be solved in general. Explicit solutions of these problems are always
based on specific presentations and often make use of group diagrams.
(Dehn himself was a particularly enthusiastic advocate of group diagrams.)
Let A = <a, b, ... IR Jl , R" .. .). We shall attempt to construct the Cayley
diagram of A with respect to the generators a, b, . ... Having got the Cayley
diagram, we clearly have a solution to the word problem for this presentation.
The Cayley diagram has the following two properties. (a) The (directed)
edges have a regular colouring with a, b, ... , that is for each vertex x and
generator g there is exactly one edge coloured g starting at x and exactly
one edge coloured g ending at x. (b) Every relation is satisfied at every
vertex, that is if x is a vertex and Rv is a relator then the walk starting at x
corresponding to Rv ends at x. How shall we go about finding the Cayley
diagram? We try to satisfy (a) and (b) without ever identifying two vertices
unless we are forced to do so. Thus at each stage we are free to take a new
vertex and an edge into it (or from it). We identify two vertices when either
(b) or (a) force us to do so. If the process stops, we have arrived at the Cayley
diagram. Note that until the end we do not know that distinct vertices rep-
resent distinct group elements.
As an example, let us see how we can find the Cayley diagram of A =
<a, bla 3 = b2 = (ab)2 = I). We replace each double edge corresponding to
b by a single undirected edge; this makes the Cayley diagram into a graph.
We start with the identity and with a triangle 123 corresponding to a 3 = 1;
for simplicity we use numbers 1,2, ... to denote the vertices, reserving 1 for
the identity element. An edge coloured b must start at each of the vertices
1, 2 and 3, giving vertices 4, 5 and 6. Now a 3 = 1 must be satisfied at 6,
giving another triangle, say 678, whose edges are coloured a, as in Figure
VIII.2. At this stage we may care to bring in the relation (ab)2 = abab = 1.
Checking itat 8, say, we see that the walk 86314 must end at 8, so the vertices
so far denoted by 8 and 4 have to coincide. Next we check abab = 1 at 7:
the walk 7(8 == 4)/125 must end at 7 so 5 and 7 are identical. All that remains
to check is that the diagram we obtained satisfies (a) and (b), so it is the
Cayley diagram of the group in question. In fact, the diagram is exactly the
third picture in Figure VIII.1, so the group is S3.
For p ;::: q ;::: r;::: 2 denote by (p, q, r) the group <a, b, claP = b q = cr =
abc = I). Given specific values of p, q and r, with a little effort the reader
I
--a
: -----b
I
I
I
~------2~------~,
Figure VIII.2 .. Construction of a Cayley diagram.
150 VIII Graphs and Groups
--a
---- b
........ c
a4 = b = c J = abc = I
Figure VIII.3. Some Cayley diagrams. The shaded regions correspond to abc = 1.
can find the Cayley diagram of the group (p, q, r) with respect to the genera-
tors a, band c. Figure VIII.3 shows some of these diagrams.
The diagrams above indicate some connection with tessellations. The
beauty of the use of Cayley diagrams is that one can make good use of this
connection. Indeed, the reader who is slightly familiar with tessellations of
the sphere, the Euclidean plane and the hyperbolic plane, can easily prove
the following result.
Theorem 1. If (l/p) + (l/q) + (l/r) < 1 then the group (p, q, r) is finite and
has order 2s where l/s = (l/p) + (l/q) + (l/r) - 1. The Cayley diagram is
a tessellation of the sphere (as in the first two pictures in Figure VIII.3).
If (l/p) + (l/q) + (1/r) ::;; 1 then the group (p, q, r) is infinite. If equality
holds, the Cayley diagram is a tessellation of the Euclidean plane, otherwise
it is a tessellation of the hyperbolic plane (as in the last two pictures in Figure
VIIl.3).
into a plane. The projection of the knot forms .the boundary of certain
bounded domains of the plane. To each of these domains there corresponds
a generator (the identity corresponds to the unbounded domain) and to
each cross-over there corresponds a relator. The general form of these
relators is easily deduced from the two examples shown in Figure VIll.4.
(Indeed, readers familiar with the fundamentals of algebraic topology can
easily prove the correctness of this presentation.) The group of the trefoil
(or clover leaf) knot is <a, b, e, d Iad - 1b, cd - I a, ebr I ) and the group of the
figure of eight knot is <a, b, e, d, e Iab -Ie, ad-Ieb -1, ed- 1 eb -1, aed- l ).
Of course, before embarking on an investigation of the group, it is sensible
to attempt to simplify the presentation. For example, ebd- 1 = 1 means that
d = eb or br Ie = 1. Thus the group of the trefoil knot is
<a,b,e,dlad- 1 b,bd- Ie,ed- 1 a)
or, equivalently,
<a, b, eleb = ba = ae).
We invite the reader to check that the Cayley diagram of this group is made
up of replicas of the ladder shown in Figure VIll.5. (Exercise 4). At each
edge three ladders are glued together in such a way that when looking at
these ladders from above, we see an infinite cubic tree (Figure VIIl.5).
a
b d
d
c
d
a
c d
d
Figure VIII.5. The ingn::dients of the Cayley diagram of the trefoil knot.
152 VIII Graphs and Groups
Having obtained the Cayley diagram, we can read off the properties we are
interested in. In the case of this group the method does not happen to be
too economical, but this is the way Dehn proved in 1910 that the group of
the trefoil knot is not the group of a circle, which is infinite cyclic.
Schreier diagrams can be constructed analogously to Cayley diagrams.
In fact, in order to determine the structure of a largish group given in a
presentation it is often more advantageous to determine first the Schreier
diagram of a subgroup. In order to show this, we work through another
example, once again due to Dehn. What is the group
A = <a, bla 2 = b S = (ba)3 = I)?
Let us construct the Schreier diagram of the cosets of the subgroup B gene-
rated by b. As before, we take a vertex 1 for B and try to construct as big a
diagram as conditions (a) and (b) allow us. (Recall that (a) requires the
colouring to be regular and (b) requires that each defining relation is satisfied
at each vertex.) However, in this case there is one more condition: the edge
coloured b starting at 1 must end in 1 (so it is a loop) since Bb = B. Thus
after two steps we have the diagram shown in Figure VIII.6. (Once again the
edges coloured a will not be directed since a 2 = 1.)
--a
,i ---- b
/-~
r
\
\ I
\ I
\,1
Now let us check the condition bababa = 1 at vertex 6. The walk babab
takes us from 6 to 3, so there must be an edge coloured a from 3 to 6. In
order to have edges coloured a starting at 4 and 5, we take up new vertices
7 and 8, together with edges 47 and 58 coloured a. Next we check the con-
dition ab-1ab-1ab- 1 = 1, which is equivalent to (ba)3 = 1 at 7, and find
that there is an edge from 7 to 8 coloured b. To satisfy b S = 1 at 7 we take
three new vertices, 9, 10 and 11. Checking (ba)3 = 1 at 11 we find that there
is an edge from 9 to 11 coloured a. At this stage we are almost home, but no
edge coloured a begins at 10, so we take a new vertex 12 joined to 10 by an
edge coloured a. What does the condition ab - 1 ab - 1 ab - 1 = 1 tell us at
vertex 12? The walk ab-1ab-1a starting at 12 ends at 12, so there must be
an edge coloured b starting at 12 and ending at 12, giving us Figure VIII.7.
This is the Schreier diagram we have been looking for, since the colouring
is clearly regular and it is a simple matter to check that each defining relation
l Cayley and Schreier Diagrams 153
I
I
/ -- ,
\
f
I
/
3
/ -...- -,_ 4 7
,.-
_JlJ..-
11
\
\
(
\
,
~
/
I
.
\ \ I
I I I \
,
\
\ \ I
J / I I /
Ito
\j:
f f
1 2\ I I
12
-5
I
~\
\
\ _4:- L
8 -~-
- '* --a
6 9 ---b
Figure VIII.7. The complete Schreier diagram.
K[k]
\
\
\
\
\
a[lX] ~ b[P]
\
\
\
\
\
\
H[h] ..................................... :. L[I]
cry]
Figure VIII.S. A cycle in a decorated Schreier diagram.
154 VIII Graphs and Groups
b[b] 3
/-~
{ \
'. f
\
B= 1~-+---<
a[l]
4
Figure VIII.9. The decorations induced by a spanning tree.
It is amusing to note that Theorem 3 implies that the rank of a free group
is well defined. Indeed, suppose that A is freely generated by a, b, .... Then
every directed multigraph with a distinguished vertex (corresponding to
the subgroup) and a regular colouring (by a, b, ...) is the Schreier diagram
of some subgroup B of A, for threre are no relations to be satisfied. Hence
subgroups of index n are in 1-1 correspondence with regularly coloured
multigraphs of order n. In particular, if A has k 2 2 generators, it has 2k - 1
subgroups of index 2, for there are 2k multigraphs of order 2 regularly
coloured with k colours, but one of those is disconnected. The number of
subgroups of index 2 is clearly independent of the presentation, so k is
determined by A.
n
- L: aijX j - L: aijXj = - I aijXj = - AX i = -A(bx);.
VjEV t VjEV2 j= 1
2 Applications of the Adjacency Matrix 157
Figure VULlO. A graph with automorphism group S3' constructed from the Cayley
diagram in Figure VIII. I.
158 VIII Graphs and Groups
2
from the definition that G is regular, say every vertex has degree k. In this
case each column sum in the collapsed matrix is k. The collapsed matrix C
:: 2*2
1
3 3
3 3
3 3 3
Figure VIlLI I. The pentagon, the cube and the Petersen graph together with collapsed
adjacency matrices.
2 Applications of the Adjacency Matrix 159
The point is exactly that the above sum is independent of the representative
Vt of Jt;. We are especially interested in the collapsed adjacency matrix C
if it is of a much smaller size than A.
Consider a partition VI = {v d, Vz , ... ,~ belonging to the vertex
x = VI' Let P be the p-dimensional complex vector space of formal sums
Lf= I Zi Jt;, Zi E C, and let n: Co(G) -+ P be the linear map given by
Theorem 6.
(i) nA = Cn, that is n(Ax) = C(nx) for every x E Co(G).
(ii) The adjacency matrix A and the collapsed adjacency matrix C have the
same minimal polynomial. In particular, A is an eigenvalue of A iff it is a
root of the characteristic polynomial of C.
PROOF. (i) Let us show that n(Av t) = C(nv t), where Vt is the basis vector
corresponding to an arbitrary vertex Vt E lj. To do this it suffices to check
that the ith coordinates of the two sides are equal. Clearly nV t = lj so
(n(Avt))i = Last
VsEVi
and
This result enables us to restrict rather severely the matrices C that may
arise as collapsed adjacency matrices.
Lmi=n-l
i= 1
and
I: m;A'i = - k.
i= 1
PROOF. We know from Theorem 5 that ..1. 1 , A. z , ... ,A.r are the eigenvalues of
A in addition to k, which has multiplicity 1. Thus if m(A.;) is the multiplicity
of A.i then
r
1 + I: m(A.;) = n,
i= 1
that is
162 VIII Graphs and Groups
Sporadic simple groups are those simple groups which do not belong to
one of the infinite sequences consisting of cyclic groups of prime order,
alternating groups of degree at least 5 and simple groups of Lie type. As
we remarked earlier, sporadic simple groups are often connected to strongly
regular graphs. For example, there is a strongly regular graph with param-
eters (162, 105, 81) and the Maclaughlin group of order 898 128000 is a
subgroup of index 2 of the automorphism group of this graph. Similarly,
there is a strongly regular graph with parameters (416, 100,96) and the
Suzuki group, which is a simple group of order 448 345 497 600, is a sub-
group of index 2 of the automorphism group of this graph.
We cannot end the book without considering perhaps the most basic ques-
tion about graphs, namely, how many of them are there? We may want to
count graphs with a given set of vertices or we may be interested in the
number of isomorphism classes of certain graphs. As we saw in Chapter VII,
counting labelled graphs is relatively easy, for instance there are 2m = 2N
labelled graphs on n vertices, of which (~) have m edges. Furthermore, by
applying Theorem 8 of Chapter II to the complete graph, one can easily
show that there are nn-2 labelled trees of order n. This result was first ob-
tained by Cayley; we present it here with a proof due to PrOfer, which is
independent of Theorem 8 of Chapter II.
PROOF. As in Chapter VII, let V = {l, 2, ... , n} be the set of vertices. Given
a tree T, associate a code with T as follows. Remove the end vertex with the
smallest label and write down the label of the adjacent vertex. Repeat the
process until only two vertices remain. The code obtained is a sequence of
length n - 2 consisting of some numbers from 1, 2, ... , n; of course any
number may occur several times in the code (see Figure VIII.12). As the
reader should check, each of the nn- 2 possible codes corresponds to a unique
tree. 0
3 Enumeration and P6lya's Theorem 163
6
7
9
5
10 4
Figure VIII.l2. The Priifer code of this tree is (3, 8, 11,8, 5, 8, 3, 5, 3).
(
d1 -
n- 2
1, d z - 1, ... , dn -
)
1 .
o
The difficulties we encounter change entirely if we wish to count certain
graphs within isomorphism. Given graphs G 1 and Gz with a common
vertex set V, when are they isomorphic? They are isomorphic if there is a
permutation 1[ of V which maps G 1 onto G z . Of course, strictly speaking 1[
does not act on graphs, it only induces a permutation a of X = VIZ), the
pairs of vertices, and it is a that maps an edge of G 1 into an edge of G z and a
non-edge of G 1 into a non-edge of Gz . Now G; is naturally identified with a
subset of X or, equivalently, with a function/;: X ~ {O, I}. Therefore G 1 is
isomorphic to Gz iff there is a permutation a of X = VIZ) (coming from a
permutation 1[ of V) such that a*fl = fz, where a* is the permutation of the
set of functions {O, I}X induced by a. Thus counting graphs within iso-
morphism is a special case of the following problem. Given sets X and Y,
and a group r acting on X, let r act on the set offunctions yX in the natural
way. How many orbits are there in yX? The main aim of this section is to
present a beautiful theorem of P61ya that answers this question.
Let r be a group of permutations acting on a (finite) set X. For x, y E X
put X ~ Y iff y = ax for some a E r. Then '" is an equivalence relation on
X; if x '" y we say that x is equivalent to y under r. The equivalence class of
x is called the r-orbit (or simply orbit) of x, and is denoted by [x]. For
x, yE X put
r(x, y) = {a E r: ax = y}.
Of course, r(x, y) is non-empty iff [x] = [y], that is x and y belong to the
same orbit. r(x) = r(x, x) is the stabiliser of x; it is a subgroup of r. Note
that if y = f3x then
r(x, y) = {a: ax = y} = {a: ax = f3x} = {IX: p-l a E r(x)} = f3r(x),
164 VIII Graphs and Groups
EXAMPLE 1. Let X = {l, 2,3, 4} and r = {l, (12), (34), (l2)(34)}. What is
N(r)? Clearly F(1) = {I, 2, 3, 4}, F(12 = {3, 4}, F34 = {I, 2} and
F(12)(34 = 0. Thus N(r) = i{4 + 2 + 2 + O} = 2.
EXAMPLE 2. Consider all bracelets made up of 5 beads. The beads can be red,
blue and green, and two bracelets are considered to be identical if one can
be obtained from the other by rotation. (Reflections are not allowed!) How
many distinct bracelets are there?
3 Enumeration and P61ya's Theorem 165
In this case we choose X to be the set of all 35 = 243 bracelets and let r
be C s , the cyclic group of order 5, acting on X. Then the question is: how
many orbits does r have? For the identity 1 E r clearly F(1) = X. For
every non-trivial rotation rx E r only the 3 monochromatic bracelets are
invariant under rx, so N(r) = !{243 + 3 + 3 + 3 + 3} = 51.
The second example resembles a little the problem we really want to
tackle. Let r be a group of permutations of a (finite) set D. Let R be another
(finite) set and let us consider the set RD of all functions from D into R. Each
rx E r can be made to act on RD; namely define rx*: RD --+ RD by
(rx*f)(d) = f(rxd),
Then
r* = {rx*: rxE r}
is a group of permutations of RD; as an abstract group, it is isomorphic to
r and we distinguish it from r only to emphasize that it acts on RD while
r acts on D.
As customary in connection with P6lya's theorem, we adopt an intuitive
terminology. D is called the domain and its elements are places, R is the
range and its elements are figures, the functions in RD are called configura-
tions, finally a pattern is an equivalence class of configurations under r*,
that is a r*-orbit. Our main aim is to calculate the number of distinct pat-
terns.
The origin of this terminology is that a functionf E RD is an arrangement
of some figures into the places in such a way that for each place there is
exactly one figure in that place, but each figure can be put into as many
places as we like. Two configurations mapped into each other by an element
of r* have the same pattern and are not distinguished. Thus in the second
example the places are, say, 1, 2, 3, 4 and 5, the figures are r, band g (for red,
blue and green) and a configuration is a sequence of the type g, b, b, r, b, that
is a bracelet. The group r is generated by (12345) and distinct patterns
correspond to distinguishable bracelets.
In addition to counting the number of distinct patterns, we may wish to
count the number of patterns of a certain type. It turns out that all these
problems can be solved at once, provided we learn enough about the cycle
structure of permutations in r acting on D, and are willing to store much
information about the patterns.
Each element rx E r is an essentially unique product of disjoint cycles
(cyclic permutations) acting on D. If rx = ~1 ~2 .. ~m is such a product, we
say that ~ 1, ... , ~m are the cycles of rx. In the product we include cycles of
length 1 as well so that every rx E D appears in exactly one cycle; if I~ I denotes
the number of elements in ~ then Lk'=1 I~k I = d, where d = ID I is the number
of elements in D. Denote by Nrx) the number of cycles of rx having length k;
by the previous equality Lk'= 1 kNrx) = d. Note that IF(rx) I, appearing in
Burnside's lemma, is exactly jl(rx), the number of elements of D fixed by rx.
166 VIII Graphs and Groups
Clearly any two configurations equivalent under r* have the same weight,
so we may define the weight of a pattern 0i by
w(0;) = w(f),
Our aim is to learn about the pattern sum
1
S= L w(O;),
i= I
PROOF. By Lemma 12
I
Now clearly
F(rx*) = {fERD:f is constant on cycles of rx}, so if ~1' ~2"'" ~m are
the cycles of rx and a E ~; means that a is an element of the cycle ~; then
Hence
)jk(a)
I w(f) = I TI w(rJI~;I = TI I
m d (
w(r)k = TI si da ),
d
giving
d
InS = L TI slk(a) = z(r; SI' S2"'" Sd)' o
aE 1 k = 1
EXAMPLE 3. Let us consider again the bracelets made up of five beads, which
can be red, blue and green. Then D = {1, 2, 3, 4, 5} is the set of places of the
beads, R = {r, b, g} is the set of colours (figures) and r is C s , the cyclic
group of order 5 generated by the permutation (12345). The cycle sum is
Z = a~ + 4a s . On choosing A = 7L and w(r) = w(b) = w(g) = 1, we find
that Sk = 3 for every k, so 5S = 3 s + 4.3. Since each pattern (bracelet) has
weight 1, there are !{3s + 12} = 51 distinct patterns (bracelets).
On choosing A = 7L[x, y] and w(r) = 1, w(b) = x, w(g) = y, we find that
S = !{(l + x + y)S + 4(1 + X S + yS)}. Now it is easy to extract much
information from this form of S. For example, a bracelet has weight xy2 iff
it has 2 red, 1 blue and 2 green beads. Thus the number of such bracelets is
the coefficient of xy2 in the polynomial S, that is 0/5)(5 !/2!2!) = 6.
EXAMPLE 5. This is the example P6lya used to illustrate his theorem. Place
3 red, 2 blue and 1 yellow balls in the 6 vertices of an octahedron. In how
many distinct ways can this be done? The group of symmetries of the octa-
hedron has cycle sum a~ + 6ai a4 + 3ai a~ + 6a~ + 8a~: a~ comes from
the identity, 6ai a4 from rotations through rc about axes through the vertices,
6a~ from rotations through rc about axes through midpoints of edges, and,
finally, a~ is the summand corresponding to a rotation through 2rc/3 about
an axis going through the centre of a face. On taking A = Z[x, y], w(r) = 1,
w(b) = x and w(y) = y, we see that the required number is the coefficient of
x 2 y in
l4{(1+ x + y)6 + 6(1 + x + y)2(1 + X4 + y4)
+ 3(1 + x + y)2(1 + x 2 + y2)2 + 6(1 + x 2 + y2)3 + 8(1 + x 3 + y3)2},
that is, 3.
It should be clear by now that the theorem loses nothing from its general-
ity if instead of a general commutative ring A we take Z[x,: r E R], the poly-
nomial ring over the integers in variables with the elements of R, and we
define the weight function as w(r) = x,. Then the pattern sum S contains all
the information the theorem can ever give us. In particular, if w: R ~ A is
an arbitrary weight function then the corresponding pattern sum is obtained
by replacing x, by w(r) in S. However, if R is large, the calculations may get
out of hand if we do not choose a "smaller" ring than Z[x,: r E R], which is
tailor-made for the problem at hand. The choice of a smaller ring is, of
course, equivalent to a substitution into S.
EXAMPLE 6. Place red, blue, green and yellow balls into the vertices of an
octahedron. Denote by Pi the set of patterns in which the total number of
red and blue balls is congruent to i modulo 4. What is 1Pol - 1P 21 ?
The cycle sum of the rotation group of the octahedron was calculated in
Exercise 5 and was found to be a~ + 6ai a4 + 3ai a~ + 6a~ + 8a~.
Let A = C, the field of complex numbers, and put w(r) = w(b) = i,
w(g) = w(y) = 1. Then for a pattern/we have Re w(f)= 1 iffEP o , Re w(f)=
- 1 if / E P 2 and Re w(f) = 0 if / E PI U P 3 Thus IF 01 - jP 21 is exactly
the real part of the pattern sum. As s 1 = 2(1 + i), s 2 = 0, S 3 = 2(1 - i) and
S4 = 4, we see immediately that after substitution the real part of each term
is 0, so IF0 1= 1P 2 I
cycle sum, though we don't display it here since its form is not very in-
spiring. Furthermore, except for small values of n it is too unwieldy for
practical calculations and it is much easier to use asymptotic formulae
derived by random graph techniques (see Exercises 22 and 23 of Chapter
VII).
We remark finally that an extension of P6lya's theorem covers the case
when there is also a group acting on the range of the functions. For instance,
if we let S2 act on {a, I} in the example above, we do not distinguish between
a graph and its complement, and may thereby compute the number of graphs
which are isomorphic to their complements.
EXERCISES
6. Prove that no two of the groups of the knots shown in Figures VIllA and VIII. 13
are isomorphic.
7. A closed orientable surface of genus 2 is obtained by identifying pairs of non-
adjacent sides of an octagon, say as in Figure VIII.14. The fundamental group
has a presentation <a" a2, a3, a41 a,az'a4ai'a3a2a4'a3'). Show that the Cayley
diagram is a tessellation of the hyperbolic plane. Deduce that any non-empty
reduced word W equal to 1 must contain a subword of length at least 5 which is
part of the cyclically written relator or its inverse. (A reduced word is one in which
no generator occurs next to its inverse.) [Hint. Consider the part of the walk W
furthest from 1.]
170 VIII Graphs and Groups
8. Show that the dihedral group Dn, the group of symmetries of a regular n-gon,
has a presentation of the form (a, bla n = b 2 = (ab)2 = 1). What is its Cayley
diagram?
9. Give a group whose Cayley diagram is the truncated cube having 8 triangular and
(i octagonal faces.
10. Draw the Cayley diagram of (i) (a, blab = ba) in the Euclidean plane, (ii)
(a, b Ibn, ab = ba) on an infinite cylinder, (iii) (a, b Iam = bn = 1, ab = ba) on a
torus, (iv) (a, b, c Ia4 = b 4 = c4 = abc = 1) in the hyperbolic plane.
11. Check the examples of Cayley diagrams illustrated in Figure VIII.3 and prove
Theorem 1.
12:- Let A = (a, bla 3 = b 4 = (ba)2 = 1) and B = (b). What is the Schreier diagram
of A mod B?
13.- A group A is generated by a, band c, the Schreier diagram of A modulo a subgroup
B is shown in Figure VIII.15. Read off a set of generators of B.
~/// ............... ~
--a
---b
......... c
14. Let A be the free group on a, band c, and let B be the subgroup consisting of all
squares. What is the Schreier diagram of A mod B? Find a set of free generators
for B.
15. How many subgroups of index 2 are there in a free group of rank k?
16. How many subgroups of index n are there in a free group on 2 generators?
Exercises 171
17. Show that a subgroup B of a finitely generated free group F is of finite index in F
iff B is finitely generated and there is a natural number n for which W" E B for
every word W
18. What is the automorphism group of the Petersen graph (shown in Figure VIII.ll)?
Find the automorphism group of the Kneser graph Krl, where s ;::: 2r + 1 (see
p. 99. Deduce that the automorphism group of K~;+ I is 3-arc-transitive, that
is any path of length 3 can be mapped into any other path of length 3 by an auto-
morphism.
19. The Tutte 8-cage has vertices n l , n3, n5 for n = 1,2, ... , 10, with edges joining
n5 to nl and n3, and ni to mi iff In - ml == i (mod 10). Show that the auto-
morphism group of the Tutte 8-cage is 5-arc-transitive.
20. Find the automorphism group of the Grotzsch graph (see p. 99).
21. Does every tree have an Abelian automorphism group?
22. Construct a non-trivial tree with trivial automorphism group.
23. Let fen) be the minimal size of a graph of order with trivial automorphism group.
Prove that fen) < n for every n ;::: 7 and f(n)/n -> 1 as n -> 00.
24. Show that if 11 E Aut G has k odd cycles and 1 even cycles then G has at most
k + 21 simple eigenvalues.
25. Show that a connected graph G of odd order whose automorphism group is
vertex transitive has exactly one simple eigenvalue.
26.- Let A be the adjacency matrix of a graph G. Show that (A1)ij is the number of
Vi-Vj walks of length I.
27. Given k ;::: 2, Po (x), PI (x), ... be polynomials defined by Po(x) = 1, PI (x) = x,
pz(x) = X Z - k and
I ;::: 3.
Show that if A is the adjacency matrix of a k-regular graph then (Pl(Aij is the
number of Vi-Vj paths of length I.
28. Complete the details of the second proof of Theorem 8, as suggested on p. 161.
29. Prove that the matrix J (all of whose entries are 1) is a polynomial in the adjacency
matrix A iff G is regular and connected.
30. Combine Theorem 5(vi) and Theorem 1 of Chapter V to deduce that X(G) ::;
Am.x( G) + 1.
31. Let fG(x) = D~o CkX"-k be the characteristic polynomial of (the adjacency
matrix of) a graph G. Show that Co = 1, CI = 0, C2 = -e(G) and -C 3 is twice
the number of triangles in G.
32. Let k(x) be the characteristic polynomial of G. Show that if e = xy is a bridge
of G then
172 VIII Graphs and Groups
Now let F be a forest with 2n vertices and denote by dk the number of k-element
sets of independent edges. [Thus d; is the number of I-factors.] Prove that
k
- R(n, k) = (n - k)R(n - 1, k - 1) + kR(n - 1, k).
n
How many bracelets are there with 20 beads coloured red, blue and green?
51. How many distinct ways are there of colouring the faces of a dodecahedron
with red, blue and green, using each colour at least once?
Notes
There is a vast literature concerned with group presentations, including
the use of Cayley and Schreier diagrams. The basic book is perhaps W.
Magnus, A. Karrass and D. Solitar, Combinatorial Group Theory, Second
Edition, Dover, New York, 1976; the connections with geometry are
emphasised in H. S. M. Coxeter, Regular Complex Polytopes, Cambridge
University Press, New York, 1974. Numerous articles deal with the com-
putational aspect, in particular J. A. Todd and H. S. M. Coxeter, A practical
method for enumerating cosets of a finite abstract group, Proc. Edinburgh
Math. Soc. (2) 5 (1936) 26~34, which was the first paper in this line and J.
Leech, Computer proof of relations in groups, in Topics in Group Theory
and Computation (M. P. J. Curran, ed.), Academic Press, New York, 1977,
in which some more recent developments are described.
174 VIII Graphs and Groups
175
176 Subject Index
Face 17
Latin rectangle 64
Factor 45, 58
Fan 63 Length 4
Figure 165 Line graph 63
Loop 5
sum 166
Filter 118
Flow 45 Map 96
Forbidden subgraph problem 67 Max-flow min-cut theorem 47
Forest 5 Maximum degree 3
Four colour problem 97 Method of Heesch 97
Free group 148 Minimum degree 3
Fundamental cut 37 Monochromatic set 105
vector 37 Monotone class of graphs 75
Fundamental cycle 37 Moore graph 69, 161
vector 37 Multigraph 5
Multiple edge 5
Girth 18,68
Graph 1 Neighbouring 1
Graphic sequence 65 countries 17
Greedy algorithm 89
Grotzsch graph 99 Odd component 59
Odd cycle 4
Hadwiger's conjecture 97, 100 Ohm's law 26
Haj6s operation 102 Orbit 163
Hamilton cycle 12 Order of a graph 2
Hamiltonian graph 12 Oriented graph 6
Hamilton path 12
Handshaking lemma 4 Partially ordered set 57
Heawood's conjecture 96 Partition calculus 119
Subject Index 177
179
180 Index of Symbols