FJKL
FJKL
FJKL
https://www.ime.usp.br/~pf/graph-exercises/
Paulo Feofiloff
Department of Computer Science
Institute of Mathematics and Statistics
University of São Paulo
1 Basic concepts 7
1.1 Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Bipartite graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3 Neighborhoods and vertex degrees . . . . . . . . . . . . . . . . . . . . . 17
1.4 Paths and circuits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5 Union and intersection of graphs . . . . . . . . . . . . . . . . . . . . . . 22
1.6 Planar graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.7 Subgraphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.8 Cuts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.9 Paths and circuits in graphs . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.10 Connected graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.11 Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.12 Bridges . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.13 Edge-biconnected graphs . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1.14 Articulations and biconnected graphs . . . . . . . . . . . . . . . . . . . 43
1.15 Trees and forests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
1.16 Graph minors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
1.17 Plane maps and their faces . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.18 Random graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2 Isomorphism 59
4 Bicolorable graphs 67
5 Stable sets 71
6 Cliques 77
7 Vertex covers 81
3
FEOFILOFF 4
8 Vertex coloring 83
9 Matchings 95
15 Flows 125
Bibliography 157
Index 159
Preface
Graph theory studies combinatorial objects called graphs. These objects are
a good model for many problems in mathematics, computer science, and
engineering. Graph theory is not really a theory, but a collection of problems.
Many of those problems have important practical applications and present
intriguing intellectual challenges.
The present text is a collection of exercises in graph theory. Most exercises
have been extracted from the books by Bondy and Murty [BM08, BM76],
Wilson [Wil79], Diestel [Die00, Die05], Bollobás [Bol98], Lovász [Lov93], Mel-
nikov et alii [MST+ 98], Lucchesi [Luc79] and Lovász and Plummer [LP86].
Some are byproducts of research projects. Others were born from conversa-
tions with teachers (especially my supervisor Dan Younger), colleagues and
students.
The text has many hyperlinks, which take you from one part of the text
to another and point to supplementary material. To take advantage of those
links, you should read the text on your computer screen (rather than printed
on paper).
The website www.ime.usp.br/~pf/graph-exercises/ has an up-to-date version
of the text.
1
For many of these problems, a fast algorithm is not (yet?) known; the only known al-
gorithms are not much better than patiently checking a very long list of would-be solutions.
In technical terms, such a problem is NP-complete or NP-hard. See the books by Garey–
Johnson [GJ79], Harel [Har92], and Sipser [Sip97].
5
FEOFILOFF 6
But this classification is not very reliable and was not made in a very system-
atic way.
Basic concepts
This chapter formalizes the notion of a graph and introduces some basic con-
cepts, such as vertex degree, cut, subgraph, connection, component, bridge,
articulation, union, intersection, complement, minor, etc. The chapter also
introduces some important types of graphs, such as
paths,
circuits,
trees,
bipartite graphs,
edge-biconnected graphs,
biconnected graphs,
planar graphs,
interval graphs,
random graphs, etc.
Various examples of graphs that are found in nature are also presented. That
is the case of
grids,
cubes,
Petersen’s graph,
graphs for various chess pieces,
graphs of chemical compounds, etc.
These examples will be useful in the other chapters of the text.
After studying the first section of this chapter the reader may move to
the following chapters (beginning with chapter 2, which deals with isomor-
phism). She/he can return to chapter 1 and study the other sections when
this becomes necessary. The index may be useful in this process.
7
FEOFILOFF Graphs 8
1.1 Graphs
A graph1 is a structure made up of two types of objects: vertices and edges.
Each edge is an unordered pair of vertices, i.e., a set with exactly two ver-
vw tices.2 An edge like {v, w} will simply be denoted by vw or wv; we will say
that the edge is incident to v and to w; we will also say that v and w are
the endpoints of the edge; we will say, moreover, that vertices v and w are
neighbors, or adjacent.
u
t
x
v y z
w
V (2) The complement of a graph (V, E) is the graph (V, V (2) r E), where V (2)
is the set of all unordered pairs3 of elements of V . The complement of G is
G usually denoted by G.
(2)
Kn A graph G is complete if EG = VG . The expression “G is a Kn ” is an
abbreviation for “G is a complete graph on n vertices.” A graph G is empty
Kn if EG = ∅. The expression “G is a Kn ” is an abbreviation for “G is an empty
graph on n vertices.”
1
The term was used for the first time (in the sense that concerns us here) by James Joseph
Sylvester ( − ). (See Wikipedia article.)
2
We will assume that the vertex and edge sets of a graph are finite and mutually disjoint.
We will also assume that the vertex set is not empty.
3
Diestel [Die05] writes “[V ]2 .” Other authors write “ V2 .”
FEOFILOFF Graphs 9
Exercises
E 1.1 List all graphs that have {a, b, c} as their vertex set.4 Organize the list
so that each graph appears besides its complement.
E 1.3 The adjacency matrix of a graph G is the matrix A defined as follows: adjacency
for any two vertices u and v, matrix
1 if uv ∈ EG ,
A[u, v] =
0 otherwise.
Clearly, the matrix is indexed by VG × VG . (The adjacency matrix is a kind
of “figure” of the graph. It has some advantages over the points-and-lines
figure we used above.)
Write the adjacency matrix of the graph defined in the example that ap-
pears on page 8. Write the adjacency matrix of a K4 . What is the relationship
between the adjacency matrix of a graph and the adjacency matrix of its
complement?
E 1.4 The incidence matrix of a graph G is the matrix M defined as follows: incidence
for every vertex u and every edge e, matrix
E 1.5 The hydrocarbons known as alkanes have chemical formula Cp H2p+2 , alkanes
where C and H represent atoms of carbon and hydrogen, respectively.
Alkane molecules can be represented by graphs such as those in figure 1.1.
Draw a figure of a methane C1 H4 molecule. How many “different” C3 H8
molecules are there?
4
In a set, the order in which the elements are presented is irrelevant. Thus, {a, b, c} =
{b, c, a} = {c, b, a}.
FEOFILOFF Graphs 10
Figure 1.1: Ethane (C2 H6 ), butane (C4 H10 ) and isobutane (C4 H10 ). The
vertices with only one incident edge represent hydrogen (H) atoms; the
others represent carbon (C) atoms. (See exercise 1.5.)
E 1.6 Let V be the Cartesian product {1, 2, . . . , p} × {1, 2, . . . , q}, i.e., the set of
all ordered pairs5 (i, j) with i in {1, . . . , p} and j in {1, . . . , q}. Let us say that
two elements (i, j) and (i0 , j 0 ) of V are adjacent if
i = i0 and |j − j 0 | = 1 or j = j 0 and |i − i0 | = 1 .
This adjacency relation defines a graph over the set V of vertices. The graph
grid is known as the p-by-q grid.
How many edges does the p-by-q grid have? Write the adjacency and
incidence matrices of a 4-by-5 grid.
E 1.7 Given integer numbers p and q, let V be the set {1, 2, 3, . . . , pq −2, pq −1,
pq}. Let us say that two elements k and k 0 of V , with k < k 0 , are adjacent if
k 0 = k + q or6
k mod q 6= 0 and k 0 = k + 1.
This adjacency relation defines a graph with vertex set V .
Draw a figure of the graph with parameters p = 3 and q = 4. Draw a
figure of the graph with parameters p = 4 and q = 3. What is the relationship
between these graphs and the grid defined in exercise 1.6?
queen E 1.8 The graph of the queen’s moves, or simply the queen graph, is defined
like this: the vertices of the graph are the squares of a chess board with t rows
and t columns (the usual board has t = 8) and two vertices are adjacent if a
queen in the game of chess can jump from one of them to the other in a single
5
An ordered pair is a sequence of length 2. In a sequence, the order of the elements is
essential. Thus, (1, 2) 6= (2, 1) and (1, 2, 1) 6= (1, 1, 2).
6
The expression “k mod q” denotes the remainder of the division of k by q, i.e., k/q −
bk/qc.
FEOFILOFF Graphs 11
move. To make explicit the number of rows and columns, we may say that
this is t-by-t queen graph. (See figure 1.3.)
Draw a figure of the 4-by-4 queen graph. Write the adjacency and inci-
dence matrices of the 4-by-4 queen graph. How many edges does the 8-by-8
queen graph have? How many edges does the t-by-t queen graph have?
E 1.9 The t-by-t knight graph is defined like this: the vertices of the graph knight
are the squares of a chess board with t rows and t columns; two vertices are
adjacent if a knight in the game of chess can jump from one of them to the
other in a single move. (See figure 1.3.)
Draw a figure of the 3-by-3 knight. Write the adjacency and incidence
matrices of the 3-by-3 knight graph. How many edges does the 8-by-8 knight
graph have? How many edges does the t-by-t knight graph have?
Figure 1.3: 8-by-8 chess boards. The figure on the left indicates all the
neighbors of vertex • in the queen graph (see exercise 1.8). The one on
the right indicates all the neighbors of vertex • in the knight graph (see
exercise 1.9).
E 1.10 The t-by-t bishop graph is defined as follows: the vertices of the graph bishop
are the squares of a chess board with t rows and t columns; two vertices are
adjacent if a bishop in the game of chess can jump from one of them to the
other in a single move.
Draw a figure of the 4-by-4 bishop graph. Write the adjacency and
incidence matrices of the 4-by-4 bishop graph. How many edges does the
8-by-8 bishop graph have? How many edges does the t-by-t bishop graph
have?
E 1.11 The t-by-t rook graph is defined as follows: the vertices of the graph rook
are the squares of a chess board with t rows and t columns; two vertices are
adjacent if a rook in the game of chess can jump from one of them to the other
in a single move.
Draw a figure of the 4-by-4 rook graph. Write the adjacency and inci-
dence matrices of the 4-by-4 rook graph. How many edges does the 8-by-8
rook graph have? How many edges does the t-by-t rook graph have?
FEOFILOFF Graphs 12
E 1.12 The t-by-t king graph is defined like this: the vertices of the graph king
are the squares of a chess board with t rows and t columns; two vertices are
adjacent if a king in the game of chess can jump from one of them to the other
in a single move.
Draw a figure of the 4-by-4 king graph. Write the adjacency and inci-
dence matrices of the 4-by-4 king graph. How many edges does the 8-by-8
king graph have? How many edges does the t-by-t king graph have?
words E 1.13 The words graph is defined like this: each vertex is a word in the
English language and two words are adjacent if they differ in exactly one po-
sition. (This graph is adapted from ladders in Stanford GraphBase [Knu93].)
For example, cords and corps are adjacent, while corps and crops are not.
Draw a figure of the part of the graph defined by the following words:
words cords corps coops crops drops drips grips gripe
grape graph
Write the adjacency and incidence matrices of this graph.
cube E 1.14 For any positive integer k, a k-dimensional cube (or k-cube) is the
graph defined as follows: the vertices of the graph are all the sequences7
b1 b2 · · · bk of bits8 ; two vertices are adjacent if and only if they differ in exactly
one position. For example, the vertices of the 3-dimensional cube are 000,
001, 010, 011, 100, 101, 110, 111; vertex 000 is adjacent to vertices 001, 010, 100
Qk and to no other; and so on. The k-dimensional cube will be denoted by Qk .
Draw figures of the cubes Q1 , Q2 and Q3 . Write the adjacency and
incidence matrices of Q3 . How many vertices does Qk have? How many
edges?
E 1.15 Let X be the set {1, 2, 3, 4, 5} and V the set X (2) (therefore, V is the set
of all subsets of X that have exactly 2 elements). Let us say that two elements
v and w of V are adjacent if v ∩ w = ∅. This adjacency relation on V defines
Petersen the Petersen graph.9 Draw a figure of the graph. Write the adjacency and
incidence matrices of the graph. How many vertices and how many edges
does the graph have?
E 1.16 Let V be the set of all subsets of {1, 2, . . . , n} that have exactly k ele-
ments, with k ≤ n/2. Let us say that two elements v and w of V are adjacent
Kneser if v ∩ w = ∅. This adjacency relation on V defines the Kneser graph K(n, k).10
7
The expression “b1 b2 · · · bk ” is an abbreviation for “(b1 , b2 , . . . , bk ).”
8
Therefore, each bi belongs to the set {0, 1}.
9
Reference to Julius Petersen (Denmark, − ). (See article on Wikipedia.)
10
Lásló Lovász used this graph in 1978 to prove a conjecture proposed by M. Kneser
in 1955.
FEOFILOFF Graphs 13
In particular, K(5, 2) is the Petersen graph. Draw figures for K(n, 1), K(n, n),
K(n, n−1), K(4, 2), K(5, 3), K(6, 2) and K(6, 3).
E 1.17 The graph of Europe is defined like this: each vertex is one of the countries
countries of Europe; two countries are adjacent if they have a common bor-
der. Draw a figure of the graph. How many vertices does the graph have?
How many edges?
E 1.18 Consider the large cities and the major roads in a country. Let us say
that a city is large if it has at least 300 thousand inhabitants. Let us say the a
road is a major road if it is a divided highway. Let us say that two large cities
are adjacent if a major road or a concatenation of major roads connects those
two cities directly (i.e., without passing through a third large city). Draw a cities
figure of the graph of the large cities defined by the adjacency relation we
have just described.
E 1.19 Let V be a set of points in the plane. Let us say that two of these
points are adjacent if the distance between them is smaller than 2. This
adjacency relation defines the graph of poins in the plane (on the set V ). points in
Draw a figure of the graph defined by the following points. the plane
E 1.20 Given a set V , let E be the set defined in the following manner: for
each unordered pair of elements of V , flip a coin; if the result is heads, add
the pair to E. The graph (V, E) so defined is random. random
Take your favorite coin and draw a figure of a random graph with
vertices 1, . . . , 6. Now repeat the exercise with a biased coin which produces
heads with probability 1/3 and tails with probability 2/3.
E 1.21 Let S be a square matrix of integer numbers. Suppose that the rows of
S are indexed by a set V and that the columns are indexed by the same set V .
The graph of matrix S is defined as follows: the set of vertices of the graph is
V and two vertices i and j are adjacent if S[i, j] 6= 0.
Is the graph of S well-defined? Which conditions must be imposed on
the matrix to make the graph well-defined?
graph.
Draw a figure of the graph defined by the intervals [0, 2], [1, 4], [3, 6], [5, 6]
and [1, 6]. Write the adjacency and incidence matrices of the graph.
E 1.24 Two edges of a graph G are adjacent if they have a common endpoint.
line This adjacency relation defines the line graph of G. More formally, the line
graph of a graph G is the graph (EG , A) in which A is the set of all pairs
L(G) of adjacent edges of G. The line graph of G will be denoted by L(G). (See
figure 1.4.)
Draw a figure of L(K3 ). Draw a figure of L(K4 ). Write the adjacency
and incidence matrices of L(K4 ). How many vertices and edges does L(Kn )
have? Draw a figure of the graph L(P ), where P is the Petersen graph (see
exercise 1.15).
u
t vu ux
x xy
v y z yz
w vw wx
Exercises
◦ E 1.25 A small factory has five machines — 1, 2, 3, 4 and 5 — and six
workers — A, B, C, D, E and F . The table specifies which machines each
worker is allowed to operate:
A 2, 3 B 1, 2, 3, 4, 5
C 3 D
E 2, 4, 5 F 2, 5
Draw a figure of the bipartite graph which represents the relationship be-
tween workers and machines.
◦ E 1.27 How many edges does a Kp,q have? How many edges does a Kp,q
have?
E 1.28 Draw a figure of a K3,4 . Write the adjacency and incidence matrices of
a K3,4 . Draw a figure of a star with 6 vertices.
E 1.31 The bipartition matrix of a {U, W }-bipartite graph is defined like this:
each row of the matrix is an element of U , each column of the matrix is an
element of W , and at the intersection of line u and column w we have a 1 if
uw is an edge, and a 0 otherwise.
Write the bipartition matrix of the graph from exercise 1.25. Adopt the
obvious bipartition: U = {A, . . . , F } and W = {1, . . . , 5}.
FEOFILOFF Neighborhoods and vertex degrees 17
dG (v)
or simply d(v). Clearly, d(v) = |N(v)| for every vertex v. A vertex v is isolated d(v)
if d(v) = 0.
The minimum degree and the maximum degree of the vertices of a
graph13 G are the numbers δ(G)
∆(G)
δ(G) := min dG (v) and ∆(G) := max dG (v)
v∈VG v∈VG
1
P
respectively. The average of the degrees of G, i.e., |V | v∈V d(v), will be
denoted by µ(G).14 As we will see in exercise 1.43, µ(G)
µ(G) = 2m(G)/n(G) .
A graph is regular if all its vertices have the same degree, i.e., if δ = ∆. A
graph is r-regular if d(v) = r for every vertex v. A cubic graph is the same as
a 3-regular graph.
Exercises
◦ E 1.32 What are the degrees of the vertices of a star (see section 1.2)?
◦ E 1.33 If G is a Kn , what are the values of δ(G) and ∆(G)? What are the
values of the parameters δ and ∆ for a Kp,q (see section 1.2)?
E 1.35 What are the degrees of the vertices of an alcane molecule (see exer-
cise 1.5)?
E 1.36 Calculate the values of the parameters δ, ∆ and µ for the k-cube (see
exercise 1.14) and for the Petersen graph (see exercise 1.15 or figure 1.6).
FEOFILOFF Neighborhoods and vertex degrees 18
E 1.37 Calculate the values of the parameters δ and ∆ for the graph of Euro-
pean countries (see exercise 1.17).
E 1.38 Calculate the values of the parameters δ, ∆ and µ for the queen graph
(see exercise 1.8) and for the knight graph (see exercise 1.9).
E 1.39 Let A be the adjacency matrix (see exercise 1.3) and M be the incidence
matrix (see exercise 1.4) of a graph G. What is the sum of the elements in row
v of A? What is the sum of the elements in row v of M ?
E 1.41 Is it true that every graph with at least two vertices has two vertices
with the same number of neighbors? In other words, if a graph has more
than one vertex, is it true that it has two distinct vertices v and w such that
|N(v)| = |N(w)|? (An informal way to say this: is it true that every town
with at least two inhabitants has two people with exactly the same number
of friends in the town?)
? E 1.42 Show15 that, in every graph, the sum of the degrees of the vertices
is equal to twice the number of edges. I.e., every graph (V, E) satisfies the
identity P
v∈V d(v) = 2|E| . (1.1)
12
Some authors write “Adj (v)” instead of “N(v).” Others write “Γ(v).”
13
The expression “minimum degree of a graph” is not very grammatical, since “degree
of a graph” makes no sense.
14
Unlike δ and ∆, the notation µ is not universal. Diestel [Die05] and Bondy and
Murty [BM08], for example, write d instead of my µ.
15
Show = prove.
FEOFILOFF Neighborhoods and vertex degrees 19
◦ E 1.44 Show that every graph G has a vertex v such that d(v) ≤
2m(G)/n(G), and a vertex w such that d(w) ≥ 2m(G)/n(G). Is it true
that every graph G has a vertex x such that d(x) < 2m(G)/n(G)?
E 1.46 Show that every graph with n vertices has at most n(n − 1)/2 edges.
. E 1.47 Show that, in any graph, the number of vertices with odd degree is
necessarily even.
E 1.48 How many edges does the 8-by-8 queen graph have (see exercise 1.8)?
How many edges does the t-by-t queen graph have?
E 1.49 How many edges does the 4-by-4 knight graph have (see exercise 1.9)?
How many edges does the t-by-t knight graph have?
E 1.50 How many edges does a r-regular graph with n vertices have?
E 1.52 How many edges does the line graph (see exercise 1.24) of a graph G
have?
E 1.54 Let G be a graph such that m(G) > n(G). Show that ∆(G) ≥ 3.
E 1.55 Suppose that a graph G has less edges than vertices, i.e., that m(G) <
n(G). Show that G has (at least) one vertex of degree 0 or (at least) two
vertices of degree 1.
! E 1.56 Pick two natural numbers n and k and consider the following game
for two players, A and B. Each iteration of the game begins with a graph G
on n vertices. At the beginning of the first iteration, we have that EG is empty.
In every odd iteration (first, third, etc.), player A picks two non-adjacent
vertices u and v and adds uv to the edge set of the graph. In every even
iteration (second, fourth, etc.), player B does an analogous move: picks two
non-adjacent vertices u and v and adds uv to the edge set of the graph. The
first player to yield a graph G such that δ(G) ≥ k loses the game. Problem:
determine a winning strategy for A and a winning strategy for B.
FEOFILOFF Paths and circuits 20
Exercises
◦ E 1.57 Draw a figure of a path of length 0, of a path of length 1 and of a path
of length 2. Draw a figure of a circuit of length 3 and of a circuit of length 4.
Why does the definition of a circuit require “n ≥ 3”?
16
It should be stressed that, for us, paths and circuits are graphs. In some books, paths
and circuits are treated as sequences of vertices and edges rather than as graphs.
17
A permutation of a set X is a sequence in which each element of X appears once and
only once.
18
Some authors [Per09] say that a path is only a path if it has 2 or more vertices. For us,
however, the graph ({v}, ∅) is a path. This detail is not as irrelevant as it may seem.
19
Some authors say “cycle” instead of “circuit.”
20
The expression “size of a path” is ambiguous: one cannot tell if we are talking about
the number of vertices or the number of edges in the path.
FEOFILOFF Paths and circuits 21
◦ E 1.58 Let V be the set {a, b, c, d, e} and E be the set {de, bc, ca, be}.
Verify that the graph (V, E) is a path. Now suppose that F is the set
{bc, bd, ea, ed, ac} and verify that the graph (V, F ) is a circuit.
◦ E 1.62 Give the adjacency and incidence matrices of a path of length 4. Give
the adjacency and incidence matrices of a circuit of length 5.
◦ E 1.64 Verify that the 1-by-n grid is a path of length n − 1. Which grids are
circuits?
E 1.67 How many different paths with vertex set {1, 2, 3} are there? How
many different circuits with vertex set {1, 2, 3} are there? How many different
circuits with vertex set {1, 2, 3, 4} are there?
Exercises
◦ E 1.70 Let G be a complete graph with vertex set {1, 2, 3, 4, 5} and H be a
complete graph with vertex set {4, 5, 6, 7, 8}. Draw figures of the graphs G∪H
and G ∩ H.
E 1.71 Let G be the bishop graph and H be the rook graph (see exercises 1.10
and 1.11). Show that G ∪ H is the queen graph.
E 1.73 Let P be a set with endpoints u and v and Q be a path with endpoints v
and w. Show that if VP ∩ VQ = {v} then the graph P ∪ Q is a path.
E 1.74 Suppose that paths P and Q have the same endpoints, say u and v.
Suppose also that VP ∩ VQ = {u, v}. Under which conditions is the graph
P ∪ Q a circuit?
E 1.75 Let A, B and C be the sets {1, 2, 3, 4}, {5, 6, 7} and {9, 10, 11}. Let G be
the complete {A, B}-bipartite graph. Let H be the complete {B, C}-bipartite
graph. Draw figures of the graphs G ∪ H and G ∩ H.
Exercises
◦ E 1.77 Check that every path is planar. Check that every circuit is planar.
E 1.79 Show that the graph of European countries (see exercise 1.17) is pla-
nar.
E 1.80 Is the graph of points in the plane described in exercise 1.19 planar?
E 1.82 Show that every K2,3 is planar. Is it true that every K3,3 is planar?
E 1.83 Show that the graph Q3 (see exercise 1.14) is planar. Is the graph Q4
planar as well? Is the graph Q5 planar?
E 1.85 Is the t-by-t queen graph (see exercise 1.8) planar? Is the t-by-t knight
graph (see exercise 1.9) planar?
1.7 Subgraphs
A subgraph of a graph G is any graph H such that VH ⊆ VG and EH ⊆ EG . It
H⊆G is natural to write “H ⊆ G” to say that H is a subgraph of G.
A subgraph H of G is spanning if VH = VG . A subgraph H of G is proper
H ⊂ G if VH 6= VG or EH 6= EG . Sometimes it is convenient to write “H ⊂ G” to say
that H is a proper subgraph of G.21
The subgraph of G induced by a subset X of VG is the graph (X, F ),
G[X] where F is the set EG ∩ X (2) . This subgraph is denoted by
G[X] .
G−X For any subset X of VG , we will denote by G − X the subgraph G[VG r X].
In particular, for any vertex v,
G−v
is an abbreviation for G − {v}. For any edge e of G,
G−e
Exercises
◦ E 1.87 Let H be a subgraph of G. If VH = VG , is it true that H = G? If
EH = EG , is it true that H = G?
E 1.89 Repeat exercise 1.42: Use induction22 on the number of edges of the
graph to prove that every graph (V, E) satisfies the identity
P
v∈V d(v) = 2|E| .
◦ E 1.90 Let v be a vertex and e be an edge of a circuit O. Show that the graph
O − v is a path. Show that the graph O − e is a path.
E 1.91 Show that every subgraph of a planar graph is planar. In other words,
show that if G has a non-planar subgraph then G is not planar.
21
We write “X ⊂ Y ” or “Y ⊃ X” to say that the set X is a proper subset of Y , i.e., that
X ⊆ Y but X 6= Y .
22
Induction is the art of reducing a problem to a smaller version of itself.
FEOFILOFF Subgraphs 25
E 1.92 Let v and w be two vertices of a graph G. Suppose that d(v) = δ(G)
and d(w) = ∆(G). Is it true that δ(G−v) = δ(G)−1? Is it true that ∆(G−w) =
∆(G) − 1?
◦ E 1.93 Verify that the t-by-t bishop graph is a subgraph of the t-by-t queen
graph. Verify that the t-by-t rook graph is a subgraph of the t-by-t queen
graph.
◦ E 1.95 Let G be a {U, W }-bipartite graph. Show that the induced subgraphs
G[U ] and G[W ] are empty.
◦ E 1.97 Let G be the graph represented in figure 1.8 and X be the set {a, b, f,
e, g, l}. Draw a figure of G[X].
a b c d
e f g h
i j k l
E 1.98 ♥ Let H be the line graph (see exercise 1.24) of a graph G (whence
H = L(G)). Show that H does not contain K1,3 as an induced subgraph, i.e.,
show that there is no subset X of VH such that H[X] is a K1,3 . Show that the
converse is not true.
E 1.99 Let H be the line graph (see exercise 1.24) of a graph G (whence H =
L(G)). Let H 0 be an induced subgraph of H. Show that H 0 is the line graph
of some graph G0 .
E 1.101 Let G be a graph such that n(G) > 1 and δ(G) ≤ 12 µ(G). Show that G
has a vertex x such that
µ(G − x) ≥ µ(G) .
In other words, show that it is possible to remove a vertex without reducing
the average of the degrees in the graph.
E 1.102 Show that every graph G with at least one edge has a subgraph H
such that
δ(H) > µ(H)/2 but µ(H) ≥ µ(G) .
FEOFILOFF Cuts 27
1.8 Cuts
Let X be a set of vertices of a graph G. The cut induced by X (or the fringe
of X) is the set of all the edges with an endpoint in X and another in VG r X.
The cut induced by X will be denoted by ∂(X)
∂G (X)
Exercises
◦ E 1.103 Let X be a set of vertices of a graph G. Show that (VG , ∂(X)) is a
bipartite spanning subgraph of G.
E 1.104 Let G be the graph represented in figure 1.8. Is it true that the set
{ae, ef, f j, jk, cd, dh} is a cut?
a b c d
e f g h
i j k l
E 1.105 Find the smallest non-trivial cut you can in the 8-by-8 queen graph.
Find the largest non-trivial cut you can in the queen graph.
E 1.106 Find the smallest non-trivial cut you can in the t-by-t bishop graph.
23
Do not confuse ∂ with the Greek letter δ.
FEOFILOFF Cuts 28
E 1.107 Find the smallest cut you can in the Petersen graph. Find the largest
cut you can in the Petersen graph.
N(X) ◦ E 1.108 For any set X of vertices, we denote by N(X), the set of vertices in
VG r X that have one or more neighbors in X. Is it true that d(X) = |N(X)|
for every X?
It is clear that N(X) ⊆ x∈X N(x).24 Is it true that both sets are equal?
S
? E 1.109 Show that, for any graph G and any subset X of VG , we have that
P
x∈X dG (x) = 2m(G[X]) + dG (X) . (1.2)
E 1.110 Suppose that all the vertices of a graph G have even degree. Is it true
that d(X) is even for every subset X of VG ?
Suppose that all the vertices of a graph G have odd degree. Is it true that
d(X) is odd for every proper non-empty subset X of VG ?
E 1.111 (L ARGE CUT) Show that every graph has a cut containing at least
half the edges of the graph. In other words, show that every graph G has a
set X of vertices such that d(X) ≥ 12 m(G).
E 1.112 Show that every graph G has a bipartite spanning subgraph H that
satisfies the condition dH (v) ≥ dG (v)/2 for every vertex v.
Operations on cuts
E 1.113 (S YMMETRIC DIFFERENCE) Show that ∂(X ⊕ Y ) = ∂(X) ⊕ ∂(Y ) for
A⊕B any sets X and Y of vertices of a graph. Here, A ⊕ B denotes the symmetric
difference25 of sets A and B.
24
S
If X = {x1 , x2 , . . . , xk }, then x∈X N(x) is the set N(x1 ) ∪ N(x2 ) ∪ · · · ∪ N(xk ), where
N(xi ) is the set of neighbors of xi , as defined in section 1.3.
25
The symmetric difference of two sets A and B is the set (A r B) ∪ (B r A). It is easy to
check that A ⊕ B = (A ∪ B) r (A ∩ B).
FEOFILOFF Cuts 29
26
The term isolator is not standard. We use it here (and in chapter 15) for lack of a better
word.
FEOFILOFF Paths and circuits in graphs 30
Exercises
◦ E 1.116 Let G be the graph represented in figure 1.8. Is it true that e a b f g k
is a path in G? Is it true that e a b f c d is a path in G? Is it true that e a b f g k j i e
is a circuit in G?
E 1.117 Let G be the graph in figure 1.8. Is it true that G contains a circuit of
length 6? Is it true that G contains an induced circuit of length 6? (I.e., is it
true that there exists a subset X of VG such that G[X] is a circuit of length 6?)
Show an induced path of length 3 in G. (I.e., show a set X of vertices such
that G[X] is a path of length 3.) Show a path of length 3 in G which is not
induced.
. E 1.118 Let P be a path with endpoints x and x0 , and let Q be a path with
endpoints y and y 0 . Suppose that VP ∩ VQ 6= ∅. Show that there exists a path
with endpoints x and y in the graph P ∪ Q (see section 1.5).
Additional question: If z is a vertex in VP ∩ VQ , is it true that there exists,
in the graph P ∪ Q, a path from x to y that passes through z?
E 1.119 Find a circuit of minimum length in the Petersen graph (see exer-
cise 1.15 or figure 1.6). Find a circuit of maximum length in the Petersen
graph. Find a path of maximum length in the Petersen graph.
◦ E 1.120 Verify that the 3-by-3 knight graph contains a circuit. Find the
longest circuit you can in the 4-by-4 knight graph.
27
I would like to say “subpath of G” and “subcircuit of G”, but these expressions are not
used in the literature.
FEOFILOFF Paths and circuits in graphs 31
E 1.121 Find the longest path you can in the queen graph. Find the longest
circuit you can in the queen graph.
E 1.122 The Heawood28 graph has vertex set {0, 1, 2, . . . , 13}. Each vertex i
is a neighbor of (i + 1) mod 14 and of (i + 13) mod 14.29 Furthermore, each i
is a neighbor of a third vertex, which depends on the parity of i: if i is even,
then it is neighbor of (i + 5) mod 14, and if i is odd, then it is neighbor of
(i + 9) mod 14. Draw a figure of the graph. Find a circuit of minimum length
in the Headwood graph.
E 1.123 Suppose that a graph G has an odd circuit. Show that G also has
an induced odd circuit, i.e., show that there exists a set X of vertices such
that G[X] is an odd circuit. Does something analogous hold for even circuits?
. E 1.125 ♥ Suppose that d(v) ≥ k for every vertex v of a graph. Show that
the graph has a path of length at least k. (Hint: take a maximal path.)30
The problem could be formulated like this: show that every graph G
contains a circuit with at least δ(G) + 1 vertices.
. E 1.126 Let G be a graph such that δ(G) ≥ 2. Prove that G has a circuit.
E 1.127 Let G be a graph such that δ(G) ≥ 3. Prove that G has a circuit of
even length.
E 1.128 Let k be a natural number greater than 1. Suppose that d(v) ≥ k for
every vertex v of a graph G. Show that G has a circuit of length at least k + 1.
In other words, show that G has a circuit with at least δ(G) + 1 vertices, as
long as δ(G) > 1. (See exercise 1.125.)
E 1.130 Let G be a graph with n > 1 vertices and at least 2n edges. Show
that G has a circuit of length ≤ 2 log2 n.
28
Percy John Heawood ( − ). (See article in Wikipedia.)
29
The expression “i mod j” denotes the remainder of the division of i by j.
30
Chapter 17 discusses the important but difficult problem of finding a path of maximum
length in a graph.
FEOFILOFF Paths and circuits in graphs 32
E 1.131 Let G be a graph without circuits of length smaller than 5. Show that
n(G) ≥ δ(G)2 + 1.
E 1.132 Show that every graph G with at least k n(G) edges contains a path
of length k. (Combine exercises 1.102 and 1.125.)
? E 1.134 Prove that, for any pair (x, y) of vertices of a graph, one and only
one of the following statements is true: (1) a path connects x to y or (2) an
empty cut separates x from y. (Another formulation of the same exercise:
prove there exists a path from x to y if and only if no empty cut separates x
from y.)
A walk (v0 , . . . , vk ) is closed if its origin coincides with its terminus, i.e., if
v0 = vk . A cycle is a closed trail, i.e., a closed walk without repeated edges.31
31
According to this definition, a cycle may have length 0. On the other hand, every circuit
has length at least 3.
FEOFILOFF Connected graphs 34
Exercises
E 1.140 Is the 3-by-3 knight graph connected? Is the t-by-t bishop graph
connected?
E 1.141 Show that the graph Qk is connected (whatever the value of k).
E 1.142 Show that every path is a connected graph. Show that every circuit
is a connected graph.
. E 1.143 Let P and Q be two paths such that VP ∩ VQ 6= ∅. Show that the
graph P ∪ Q (see section 1.5) is connected.
◦ E 1.145 Let G and H be two graphs. Which of the following statements are
true? 1. If VG ∩ VH = ∅ then G ∪ H is not connected. 2. If G ∪ H is connected
then VG ∩ VH 6= ∅. 3. If G ∪ H is not connected then VG ∩ VH = ∅.
◦ E 1.150 Which of the following statements are true for any graph G? 1. If G
is connected, then ∂(X) 6= ∅ for every X such that ∅ ⊂ X ⊂ VG . 2. If G is
connected, then ∂(X) 6= ∅ for some X such that ∅ ⊂ X ⊂ VG . 3. If ∂(X) 6= ∅
for every X such that ∅ ⊂ X ⊂ VG , then G is connected. 4. If ∂(X) 6= ∅ for
some X such that ∅ ⊂ X ⊂ VG , then G is connected.
E 1.159 Suppose that G is a connected graph with at least one edge. Is it true
that there exists an edge a such that G − a is connected?
E 1.161 ♥ Show that every connected graph G with two or more vertices has
a vertex v such that G − v is connected.
E 1.164 Let G be a graph such that δ(G) ≥ n(G)/2. Show that G is connected.
◦ E 1.166 Suppose that d(v) + d(w) ≥ n − 1 for every pair (v, w) of non-
adjacent vertices of a graph G. Show that G is connected.
E 1.167 Show that every graph with n vertices and more than 21 (n − 1)(n − 2)
edges is connected.
E 1.169 Let G be a connected graph. Prove that the line graph L(G) is also
connected.
E 1.170 (M AXIMUM PATHS ARE NOT DISJOINT) Let P ∗ and Q∗ be two paths
of maximum length in a connected graph G. Show that P ∗ and Q∗ have a
common vertex.
32
By definition, bxc is the only integer i such that i ≤ x < i + 1.
FEOFILOFF Components 37
1.11 Components
A connected subgraph H of a graph G is maximal (with regard to the prop-
erty of being connected) if it is not part of a greater connected subgraph, i.e.,
if there is no connected graph H 0 such that H ⊂ H 0 ⊆ G.
A component of a graph G is any maximal connected subgraph of G. The
number of components in a graph G will be denoted by c(G)
c(G) .
Clearly a graph G is connected if and only if c(G) = 1.
The number of components of any graph G is at least n(G) − m(G). (See
exercise 1.192.)
Exercises
E 1.171 How many components does the 3-by-3 knight graph have? How
many components does the t-by-t bishop graph have?
E 1.175 Let O be a circuit and S be a subset of VO such that 0 < |S| < n(O).
Prove that c(O − S) ≤ |S|.
E 1.176 Suppose that exactly two vertices, say u and v, of a graph G have odd
degree. Show that there exists a path in G whose endpoints are u and v.
◦ E 1.179 Show that, in any graph, every vertex belongs to one and only one
component. In other words, show that the sets of vertices of all components
form a partition of VG .
FEOFILOFF Components 38
? E 1.183 Let x be a vertex of a graph G. Let X be the set of all vertices that
are connected to x. Show that G[X] is a component of G.
E 1.190 Let G be a connected graph and suppose that d(v) is even for every
vertex v of G. Show that, for every vertex v, the number of components of
G − v is not greater than 21 d(v).
m ≤ 21 (n − c)(n − c + 1) .
FEOFILOFF Bridges 40
1.12 Bridges
A bridge (or isthmus, or cut edge) in a graph G is any edge e such that
c(G − e) > c(G), i.e., such that G − e has more components than G.
An edge e is a bridge if and only if the set {e} is a cut in the graph. (See
exercise 1.197.)
There is an interesting dichotomy between bridges and circuits: in any
graph, every edge is either a bridge or belongs to a circuit. (See exer-
cise 1.199.)
Exercises
◦ E 1.194 Does the t-by-t bishop graph have bridges?
E 1.195 Suppose that a graph G has a bridge uv. What does the adjacency
matrix of G look like? What does the incidence matrix of G look like?
◦ E 1.198 Let G be the graph with vertices a, b, . . . , g and edges ab, bc, cd, de,
ec, bf , gb, ag. Which edges belong to circuits? Which edges are bridges?
E 1.200 What is the shape of a graph all of whose edges are bridges? What
is the shape of a graph all of whose edges belong to circuits?
E 1.201 Suppose that all the vertices of a graph G have even degree. Show
that G has no bridges.
Exercises
◦ E 1.205 Show that every circuit is edge-biconnected. Show that paths are
not edge-biconnected.
E 1.206 Show that one of the two components of the 3-by-3 bishop graph is
edge-biconnected.
33
In some branches of Computer Science, we say that such a graph is “fault tolerant.”
34
See a generalization in chapter 15, exercise 15.7.
FEOFILOFF Articulations and biconnected graphs 43
Exercises
E 1.210 Let v be a vertex in a graph G. Show that v is an articulation if and
only if there are two vertices x and y in VG r {v} such that (1) some path in G
connects x to y and (2) every path between x and y contains v.
E 1.216 The 3-by-3 bishop graph has two components. Show that only one
of them is biconnected.
◦ E 1.217 Show that not all edge-biconnected graphs are biconnected. Show
that every biconnected graph is edge-biconnected.
35
In some branches of Computer Science, we may say that such a graph is “fault tolerant.”
FEOFILOFF Articulations and biconnected graphs 44
E 1.220 Show a graph that satisfies the following property: every two ver-
tices of the graph belong to a common circuit, but there are three vertices
that do not belong to a common circuit.
36
See a generalization in chapter 16, exercise 16.8.
FEOFILOFF Trees and forests 45
Exercises
◦ E 1.222 Show that every path is a tree. Show that every star (see section 1.2)
is a tree.
? E 1.223 Show that a graph is a forest if and only if each of its edges is a
bridge. (See exercise 1.199.)
? E 1.226 Show that a graph is a forest if and only if it has the following
property: for every pair (x, y) of its vertices, there exists at most one path
with endpoints x and y in the graph.
37
In Computer Science, the word “tree” brings to mind the ideas of parent and child. In
the present context, however, the expressions “parent of a vertex” and “child of a vertex” do
not make sense. (They only acquire meaning if one of the vertices in the tree is chosen to
play the role of a “root.” If r is the root of the tree, then the parent of any other vertex v is the
vertex adjacent to v in the only path (see exercise 1.226) that connects v to r. Every neighbor
of v which is not its parent is a child of v.)
FEOFILOFF Trees and forests 46
? E 1.229 Let G be a connected graph such that m(G) = n(G) − 1. Prove that
G is a tree.
E 1.230 Let F be a forest such that m(F ) = n(F ) − 1. Prove that F is a tree.
? E 1.231 Show that a graph G is a forest if and only if m(G) = n(G) − c(G).
(Compare to exercise 1.192.)
. E 1.232 Show that every tree with at least one edge has at least two leaves.
E 1.234 Let T be a tree with two or more vertices. LetPX be the set of vertices
whose degree is greater than 2. Show that T has 2 + x∈X (d(x) − 2) leaves.
E 1.235 Let T be a tree with vertices 1, . . . , n. Suppose that the degrees of the
vertices 1, 2, 3, 4, 5, 6 are 7, 6, 5, 4, 3, 2 respectively, and that vertices 7, . . . , n
are leaves. Determine n (and therefore the number of leaves of the tree).
E 1.236 Let T be a tree with p + q vertices. Suppose that p of the vertices have
degree 4 and q are leaves. Show that q = 2p + 2.38
E 1.237 Let T be a tree with at least three vertices. Is it true that the comple-
ment T of T is connected unless T is a star?
Figure 1.10: The graph on the right, H, is a minor of the graph on the
left, G. (This is a very special minor, since V1 ∪ · · · ∪ Vp = VG .)
40
A subpartition of a set V is a collection {V1 , . . . , Vp } of non-empty subsets of V such
that Vi ∩ Vj = ∅ whenever i 6= j.
FEOFILOFF Graph minors 49
Exercises
◦ E 1.241 Let H be a subgraph of a graph G. Show that H is a topological
minor of G.
E 1.245 Let G be the 4-by-4 king graph. Let u be the vertex with coordinates
(2, 2), and v be the vertex with coordinates (3, 3). Show that G + uv does not
have a subgraph isomorphic to K4 but has a topological minor isomorphic
to K4 .
E 1.246 Let G be the 5-by-5 king graph. Let u be the vertex with coordinates
(2, 2) and v be the vertex with coordinates (4, 4). Show that G + uv has no
subgraph isomorphic to K4 but has a minor isomorphic to K4 .
Let x be the vertex with coordinates (2, 4) and y be the vertex with
coordinates (4, 2). Show that G + uv + xy has a minor isomorphic to K4 .
E 1.247 Show that the Petersen graph has a minor isomorphic to K5 (but
has neither a subgraph isomorphic to K5 nor a topological minor isomorphic
to K5 ).
E 1.248 Show that the Petersen graph has a topological minor isomorphic
to K3,3 . Show that the Petersen graph has a minor isomorphic to K3,3 .
Figure 1.11: The map on the left is not plane. The plane
map on the right represents a K4 .
The graph of a plane map (V, E) is defined in the obvious way: the vertex graph of
set of the graph is V, and two vertices v and w are adjacent in the graph if a a map
line on the map has endpoints v and w. (We must be careful with the notation,
since the letter ”V” is being used to name both the set of points of a plane map
and the set of vertices of the corresponding graph. Similarly, the letter “E” is
41
From a technical point of view, it would be more convenient to use the surface of the
sphere instead of the plane. But the results are equivalent.
42
By definition, the two endpoints are distinct.
43
Some authors say “plane graph.” Do not mistake this expression with “planar graph.”
44
I prefer not to say “vertices” to avoid confusion with the vertices of a graph.
45
I prefer not to say “edges” to avoid confusion with the edges of a graph.
FEOFILOFF Plane maps and their faces 52
being use to name both the set of lines of a plane map and the set of edges of
the corresponding graph.)
map We say that a plane map M represents a graph G if the graph of M is
represents isomorphic (see chapter 2) to G. Generally, a graph can be represented by
graph many different plane maps.
A graph G is planar if it is representable by a plane map, i.e., if there is a
plane map whose graph is isomorphic to G. This is the precise version of the
vague definition we gave in section 1.6.
Exercises
E 1.253 See the “planarity game” in www.planarity.net.
◦ E 1.256 Show that a graph is planar if and only if each of its components is
planar.
46
S
If X = {X1 , X2 , . . . , Xk }, then X denotes the set X1 ∪ X2 ∪ · · · ∪ Xk .
47
The topological concept of connection is formally analogous to the concept of connec-
tion in graph theory: a subset X of the plane is connected if, for any points x and x0 in X,
there is a polygonal arc with endpoints x and x0 whose points are all in X.
FEOFILOFF Plane maps and their faces 53
Exercises
E 1.258 Let M be a plane map, and suppose that the graph of the map is a
path. Show that M has only one face.
Let M be a plane map, and suppose that the graph of the map is a
circuit. Show that M has exactly two faces (and the two faces have the same
boundary).
E 1.259 Show that a plane map has exactly one face if and only if the graph
of the map is a forest.
E 1.260 Consider a plane map that represents the p-by-q grid. How many
faces does the map have?
E 1.261 Let M be a plane map that represents the 3-by-4 grid. Draw a figure
of the graph of the faces (i.e., of the dual graph) of M.
E 1.262 How many faces does a plane map representing the cube Q3 have?
E 1.263 Draw a figure of the graphs of the faces of each of the plane maps in
figures 1.12 and 1.13.
48
The study of the planar duality is “cleaner” if the definition of a graph is relaxed to
allow “parallel edges” (i.e., two or more different edges with the same pair of endpoints)
and “loops” (i.e., an edge with two equal endpoints). Of course the definition of plane map
should be relaxed accordingly. I prefer not to adopt such a relaxation in the present text. To
make up for that, it will be often necessary to avoid graphs with articulations or vertices of
degree 2.
49
But see exercise 1.282.
FEOFILOFF Plane maps and their faces 54
50
Leonhard Euler ( − ). See article on Wikipedia.
FEOFILOFF Plane maps and their faces 55
E 1.274 Let G be a graph and k be a natural number not less than 3. Suppose
that G has at least 21 (k + 2) vertices and girth at least k. Assuming G is planar,
show that m(G) ≤ (n(G) − 2)k/(k − 2). (Compare to exercise 1.271.)
? E 1.275 Show that every planar graph has at least one vertex with degree
at most 5. In other words, show that δ(G) ≤ 5 for every planar graph G.
Give an example of a planar graph that has no vertices of degree smaller
than 5.
◦ E 1.277 A plane map “of type (n, m, d, g)” is a plane map with n points and
m lines whose points have degree d and whose faces have degree g. Show a
plane map of type (4, 6, 3, 3). Show a plane map of type (6, 12, 4, 3). Show a
plane map of type (8, 12, 3, 4).
E 1.279 Let G be a graph with 11 or more vertices. Show that G and its
complement G cannot be both planar.
E 1.280 A plane map is self-dual if its graph is isomorphic to its dual graph.
Show that 2|V| = |E| + 2 if (V, E) is self-dual. Show that not every plane map
(V, E) such that 2|V| = |E| + 2 is self-dual.
E 1.284 Show that the dual graph of an outerplane map (see exercise 1.283)
may not be planar.
E 1.285 Let M be an outerplane map (see exercise 1.283). Let F be the face
whose boundary contains all the points of M. Let G∗ be the graph of the faces
(i.e., the dual graph) of M. Show that G∗ − F is a tree.
|G(n)| = 2N , com N := n2 .
Any graph property (like, for example, the property of being connected)52 N
defines a subcollection of G(n). Thus, we do not distinguish the concepts of
“property” and “subcollection” of G(n). We will say that almost every graph
has a given property P(n) if
|P(n)|
lim = 1.
n→∞ |G(n)|
One way to study the set G(n) is based on the introduction of a probabil-
ity measure in this set. Let p be a number in the interval (0, 1), and choose
each element of V (2) , independently, with probability p. (See exercise 1.20.)
If A is the set of chosen pairs, then (V, A) is a random graph in G(n). The
probability that a graph (V, A) built in this way is identical to a given element
of G(n) with m edges is
pm (1 − p)N −m .
If p = 21 , then all the 2N graphs in G(n) are equiprobable: the probability of
obtaining any one of them is 1/2N .
Exercises
◦ E 1.287 Show that almost every graph in G(n) has more than 10000 edges.
E 1.288 Show that almost every graph G in G(n) is connected. (See sec-
tion 1.18.)
51
“Collection” is the same as “set.”
52
Naturally, we are only interested in properties that are invariant under isomorphism
(see chapter 2).
FEOFILOFF Random graphs 58
Chapter 2
Isomorphism
Two graphs are isomorphic if they have the same “structure.” The exact
definition of the concept is a bit laborious, as we will see next.
An isomorphism between two graphs G and H is a bijection1 f from VG
to VH such that, for every pair (v, w) of elements of VG , v and w are adjacent
in G if and only if f (v) and f (w) are adjacent in H.
Two graphs G and H are isomorphic if there exists an isomorphism
between them. In other words, two graphs are isomorphic if it is possible
to change the names of the vertices in one of them in such a way that the two
graphs become equal. The expression “G ∼ = H” is an abbreviation for “G is ∼
=
isomorphic to H.”
Exercises
E 2.1 A graph G has vertex set {a, b, c, d} and edge set {ab, bc, cd, da}. A
graph H has vertex set {a, b, c, d} and edge set {ab, bd, dc, ca}. Are graphs G
and H equal?
59
FEOFILOFF Isomorphism 60
E 2.4 Show that two paths are isomorphic if and only if they have the same
length. Show that two circuits are isomorphic if and only if they have the
same length.
E 2.5 List all the graphs with vertex set {1, 2, 3, 4} that are pairwise non-
isomorphic. (In other words, make the list in such a way that every graph
with 4 vertices is isomorphic to one and only one of the graphs in the list.)
E 2.6 For n = 1, 2, 3, . . . , make a list of all the trees with vertex set {1, 2,
3, . . . , n} that are pairwise non-isomorphic.
E 2.8 Are the graphs in figure 2.3 isomorphic? Justify your answer.
. .
E 2.9 Are the graphs in figure 2.4 isomorphic? Justify your answer.
E 2.10 Let G be the 3-by-4 grid and H be the 4-by-3 grid (see exercise 1.6).
Are graphs G and H equal? are they isomorphic?
E 2.11 Show that the p-by-q grid and the graph defined in exercise 1.7 are
isomorphic.
E 2.13 Show that the cube Q4 has a subgraph isomorphic to the 4-by-4 grid.
E 2.14 For which values of t are the two components of the t-by-t bishop
graph isomorphic?
E 2.16 Suppose that graphs G and H are isomorphic. Show that n(G) = n(H)
and m(G) = m(H). Show that, for any isomorphism f from G to H, we have
dG (v) = dH (f (v)) for every v in VG . Assuming G has a circuit of length k,
show that H also has a circuit of length k.
◦ E 2.20 True or false? To show that two graphs G and H with the same
number of vertices are not isomorphic, it suffices to exhibit a bijection f
from VG to VH and a pair of vertices u and v in VG such that (1) uv ∈ EG
but f (u)f (v) ∈
/ EH or (2) uv ∈
/ EG but f (u)f (v) ∈ EH .
E 2.21 Let A be the set of all graphs that represent the alkanes that have
formula C4 H10 . (See exercise 1.5.) Each of these alkanes has 4 vertices of
degree 4 and 10 vertices of degree 1. How many pairwise non-isomorphic
graphs are there in A?
E 2.22 Show that the line graph (see exercise 1.24) of a K5 is isomorphic to
the complement of the Petersen graph.
E 2.23 Is it true that every graph is isomorphic to the line graph (see exer-
cise 1.24) of some other graph?
E 2.25 Let G be the Petersen graph. Given any two vertices u and v in G,
show that there exists an isomorphism from G to G (isomorphisms of this
kind are known as automorphisms) which maps u to v. Given any two
edges uv and xy of G, show that there exists an isomorphism from G to G
that maps uv to xy (i.e., maps u to x and v to y, or maps u to y and v to x).
Exercises
E 3.1 Consider the sequences (2, 2, 0), (1, 1, 2, 2), (0, 3, 1, 0), (0, 1, 2, 2, 3),
(3, 3, 2, 2, 1), (6, 6, 5, 4, 3, 3, 1) and (7, 6, 5, 4, 3, 3, 2). Which of these sequences
are graphic?
E 3.3 Show that (g1 , g2 , . . . , gn ) is a graphic sequence if and only if (n−g1 −1,
n−g2 −1, . . . , n−gn −1) is a graphic sequence. (This fact can be used as a basis
for an algorithm to recognize graphic sequences.)
E 3.4 Prove that, for each n ≥ 5, there is a 4-regular graph with n vertices.
E 3.5 Is it true that, for every number r, there is a r-regular graph? Is it true
that, for every pair (r, n) of numbers such that r < n, there is a r-regular
graph with n vertices?
1
The set of the natural numbers is {0, 1, 2, . . .}.
65
FEOFILOFF Graph design with given degrees 66
k
X n
X
gi ≤ k(k − 1) + min (k, gi )
i=1 i=k+1
2
Published in 1955 by Václav Havel, and in 1962 by S. Louis Hakimi.
3
Paul Erdős ( − ). (See article on Wikipedia.)
4
Tibor Gallai ( − ).
Chapter 4
Bicolorable graphs
Deciding whether the problem has a solution at all — i.e., whether the
graph admits2 a bicoloring — is part of the problem.3 We will say that a
graph is bicolorable if it admits a bicoloring. Therefore, a bicolorable graph
is the same as a bipartite graph.4
As we will see later (exercise 4.15), a graph is bicolorable if and only if it
does not contain an odd circuit. We say that a circuit is odd if its length is an
odd number.
Exercises
? E 4.1 Show that a graph G is bicolorable if and only if EG is a cut.
67
FEOFILOFF Bicolorable graphs 68
◦ E 4.6 Show that every path is bicolorable. Show that every even-length
circuit is bicolorable.
E 4.7 Show that a graph may have two or more different bicolorings. Show
that connected graphs have at most one bicoloring.
E 4.12 ♥ How many edges can a bicolorable graph with n vertices have?
◦ E 4.13 Suppose that a graph G has an odd circuit. Show that G is not
bicolorable.
? E 4.15 (S OLVING THE BICOLORING PROBLEM) Deduce from 4.13 and 4.14
that a graph is bicolorable if and only if it has no odd circuits.
5
Therefore, an odd circuit is a certificate of inexistence of a bicoloring of the graph.
Conversely, a bicoloring of the graph is a certificate of absence of odd circuits.
FEOFILOFF Bicolorable graphs 69
E 4.18 (E VEN / ODD PATH) Let G be a biconnected graph. Let r and s be two
vertices of G. There is an even-length path from r to s and an odd-length
path from r to s (the two paths are not necessarily disjoint) if and only if G is
not bicolorable.
Characterization of cuts
E 4.20 Characterize the sets of edges of a graph that are cuts, i.e., give condi-
tions under which a set of edges of a graph is a cut.
E 4.24 Let D be a cut and P a path in a graph G. What can you say about the
parity of |D ∩ EP |?
Stable sets
α(G) .
Exercises
E 5.1 Show that the stability number is invariant under isomorphism. In
other words, if G and H are isomorphic graphs, then α(G) = α(H).
1
The expression “A ⊃ B” means “B is a proper subset of A”, i.e., B ⊆ A but B 6= A.
71
FEOFILOFF Stable sets 72
a Kn .
E 5.3 In the graph of figure 5.1, show a maximal stable set which is not
maximum.
◦ E 5.4 Suppose that X and Y are maximal stable sets of a graph. Is it true
that X and Y are disjoint (i.e., that X ∩ Y = ∅)?
E 5.10 Find a maximum stable set in the queen graph. (In other words,
arrange the greatest possible number of queens on the board so that they
do not attack each other.)
E 5.12 Find a maximum stable set in the Kneser graph K(n, k) (see exer-
cise 1.16).
E 5.13 Find a maximum stable set in the graph of Europe (see exercise 1.17).
◦ E 5.18 Let A be the adjacency matrix of a graph G (see exercise 1.3). Let X
be a stable set of G. What does the restriction of A to X × X look like?
E 5.19 (A LGORITHM) Discuss the following algorithm for the maximum sta-
ble set problem:
given a graph G, examine each of the subsets of VG ;
discard the non-stable subsets;
find a largest among the remaining.
E 5.23 ♥ Prove that every maximal stable set of any graph G has at least
l n(G) m
∆(G) + 1
2
A fast algorithm to find a maximum stable set in any graph is not (yet?) known. In
technical terms, this problem is NP-hard. See observation in page 5.
3
Greedy algorithms grab the object that seems best in the current iteration, without
regard for the consequences of this choice in the long term.
FEOFILOFF Stable sets 74
n(G)
vertices.4 From this, deduce that α(G) ≥ ∆(G)+1
for every graph G.
1
P
I.e., prove that G has a stable set with d(v)+1
vertices.
E 5.25 Let Gt be the t-by-t queen graph. Use exercise 5.24 to estimate α(Gt ).
E 5.26 Let X be P
the stable set produced by the algorithm in exercise 5.22.
Show that |X| ≥ v∈VG 1/(d(v) + 1).
E 5.31 Let n and a be two positive integers. Let k = bn/ac and r = n − ka.
Let H be the graph resulting from the union of r copies of Kk+1 and a − r
copies of Kk (the vertex sets of the copies are pairwise disjoint). Observe that
n(H) = n, m(H) = r k+1 + (a − r) k2 and α(H) = a .
2
4
By definition, dxe is the only integer number j such that j − 1 < x ≤ j.
5
We will discuss this algorithm in detail in chapter 10.
6
By definition, bxc is the only integer i such that i ≤ x < i + 1.
FEOFILOFF Stable sets 75
Show that α(G) > α(H) for any graph G such that n(G) = n and m(G) <
m(H).7
Random graphs
E 5.32 Show that the stability number of most graphs is not much more than
2 log2 n(G). More precisely, show that, for any positive real number ε, one has
7
It can be shown that H is the only graph (up to isomorphism) with n vertices, m(H)
edges and stability number a. This fact is a known theorem by Paul Turán ( − ).
(See article on Wikipedia.) The complement of H is known as the Turán graph.
FEOFILOFF Stable sets 76
Chapter 6
Cliques
Exercises
◦ E 6.1 Find a maximum clique in a Kn . Find a maximum clique in a Kn .
E 6.4 Show a graph and a clique that is maximal but not maximum.
77
FEOFILOFF Cliques 78
E 6.10 Show that every maximal clique of the Kneser graph K(n, k) (see
exercise 1.16) has bn/kc vertices. Show a maximum clique in K(n, k).
E 6.11 What is the relationship between the maximum clique problem and
the maximum stable set problem (see chapter 5)? How is it possible to use an
algorithm that solves one of these problems to solve the other?
E 6.13 Show that the following relation is valid for any set X of vertices of a
graph G: X is a clique in G if and only if X is a stable set in G. Deduce that
ω(G) = α(G).
E 6.14 Suppose that a graph G has the following property: for each vertex v,
the set N(v) is a clique. Show that each component of G is a clique.
E 6.15 Show that ω(G) ≥ 3 for every graph G with more than n(G)2 /4 edges.
(See exercise 4.12.)
E 6.16 Suppose that ω(G) ≤ k. What is the maximum number of edges (in
relation to the number of vertices) that G can have?
E 6.20 Let L(G) be the line graph (see exercise 1.24) of a graph G. Show that,
for each vertex v of G, the set ∂G (v) is a clique in L(G). Show that the edge set
of any triangle in G is a clique in L(G). Show that any clique in L(G) whose
size is not 3 is a subset of some set of the form ∂G (v).
1
A fast algorithm for the maximum clique problem is not (yet?) known. In technical
terms, this problem is NP-hard. See observation in page 5.
FEOFILOFF Cliques 79
E 6.21 Given a graph G, compute a maximum clique in the line graph L(G).
(See exercise 6.20.)
E 6.22 Show that a graph H is isomorphic to the line graph (see exercise 1.24)
of some other graph G if and only if there is a collection of cliques of H such
that each edge of H has both endpoints in one and only one of the cliques,
and every vertex of H belongs to at most two of the cliques.
E 6.23 Let G be a planar graph (see section 1.6). Show that ω(G) ≤ 4.
FEOFILOFF Cliques 80
Chapter 7
Vertex covers
A vertex cover1 , or simply cover, of a graph is any set of vertices that contains
at least one of the endpoints of each edge. In other words, a set X of vertices
is a cover if every edge has at least one of its endpoints in X.
Exercises
E 7.1 An art gallery consists of a large number of straight corridors that
interconnect small halls. A guard standing in a hall can watch over all the
corridors that radiate from the hall. What is the smallest number of guards
needed to watch over the whole gallery?
E 7.2 Find a minimum cover in the knight graph. Find a minimum cover in
the bishop graph.
◦ E 7.5 What is a minimal cover? Use the graph in figure 5.1 to give an
1
Maybe it would be better to say “cover of edges by vertices.”
81
FEOFILOFF Vertex covers 82
? E 7.6 Prove the following relationship between covers and stable sets: in
any graph G, a set X of vertices is a cover if and only if VG r X is stable.
Deduce that β(G) = n(G) − α(G).
E 7.7 Show that the minimum cover problem is equivalent to the maximum
stable set problem. (In other words, show that any algorithm for one of the
problems can be converted into an algorithm for the other.)
E 7.11 Consider the equivalence discussed in exercise 7.7, and the approx-
imate solution discussed in exercise 7.10. Is it possible to obtain a similar
approximation for the maximum stable set problem (see chapter 5)?
Chapter 8
Vertex coloring
χ(G) .
1
Even if some Xi is empty.
83
FEOFILOFF Vertex coloring 84
See the WWW site Graph Coloring Page by Joseph Culberson at the Uni-
versity of Alberta, Canada.
Exercises
E 8.1 A factory must store a set of chemicals. For safety reasons, certain pairs
of chemicals should be kept in separate compartments of the warehouse.
How many compartments, at least, should the warehouse have?
E 8.5 Let Rt be the t-by-t rook graph. Find a minimum vertex coloring of Rt .
E 8.6 Let Bt be the t-by-t bishop graph. Find a minimum vertex coloring
of Bt .
E 8.7 Let Bt be the t-by-t bishop graph. Find a minimum clique cover of the
graph Bt .
E 8.8 Let Kt be the t-by-t knight graph. Find a minimum vertex coloring
of Kt . Find a minimum clique cover of Kt . (Start with the cases t = 2, . . . , 6.)
E 8.9 Let Qt be the t-by-t queen graph. Find a minimum vertex coloring
of Qt . (Consider first the cases t = 2, . . . , 6.)
E 8.10 Let Kt be the t-by-t king graph. Find a minimum vertex coloring of Kt .
E 8.11 Find a minimum vertex coloring of the graph of Europe (see exer-
cise 1.17).
FEOFILOFF Vertex coloring 85
E 8.14 Find a minimum vertex coloring of the graph G defined in the follow-
ing manner: begin with five mutually disjoint copies, say B1 , . . . , B5 , of a
complete graph on 3 vertices; for each i, add edges connecting all vertices of
Bi to all vertices of Bi+1 ; finally, add edges connecting all vertices of B5 to
all vertices of B1 . (This graph was used by Catlin2 as a counterexample for
Hajós’ conjecture. See exercise 8.71.)
◦ E 8.17 Suppose that a graph G has a vertex coloring with k colors. Is it true
that G has a coloring {X1 , . . . , Xk } such that X1 is a maximum independent
set?
◦ E 8.18 Let G be a graph with at least one edge. Prove that there is a partition
{A, B} of VG such that χ(G[A]) + χ(G[B]) = χ(G).
E 8.21 Let e be a bridge of a graph G with two or more edges. Show that
χ(G − e) = χ(G).
E 8.23 Let v be a vertex of a graph G. Suppose that d(v) < χ(G) − 1. Show
that χ(G) = χ(G − v).
FEOFILOFF Vertex coloring 86
E 8.24 Show that, for every graph G, every vertex coloring of G uses at least
dn(G)/α(G)e colors. In other words, show that χ(G) ≥ n(G)/α(G). χ≥
E 8.26 Show that every graph with n vertices and chromatic number k has at
χ≥ most 21 (n2 −n2 /k) edges. Deduce that χ(G) ≥ n2 /(n2 −2m) for every graph G
with n vertices and m edges.3 Deduce that χ(G) ≥ n/(n − r) if G is r-regular.4
q
1 1
E 8.27 Show that χ(G) ≤ 2
+ 2m(G) + 4
for every graph G.
E 8.28 (A LGORITHM) Does the following algorithm solve the vertex color-
ing problem? For an input graph G, the algorithm does the following:
Picks a maximum stable set, say X1 , in G. Then, picks a maximum stable
set X2 in G − X1 . Then, picks a maximum stable set X3 in (G − X1 ) − X2 .
And so on, until there are no more vertices to pick.
E 8.30 ♥ Prove that every graph G has a vertex coloring with only ∆(G) + 1
colors. In other words, prove that χ(G) ≤ ∆(G) + 1 for every graph G.
◦ E 8.31 Is it true that χ(G) ≥ ∆(G) for every graph G? In other words, is it
true that every vertex coloring of G uses at least ∆(G) colors?
2
P. A. Catlin, 1979.
3
Some examples: if m > 0 thenχ > 1; if m > n2 /4 then χ > 2; if m > 4n2 /9 then χ > 9.
4
Examples: if r > 0 then χ > 0; if r > n/2 then χ > 2; if r > 2n/3 then χ > 3.
FEOFILOFF Vertex coloring 87
E 8.32 Prove that every graph G admits a clique cover of size at most n(G) −
δ(G). In other words, show that χ(G) ≤ n(G) − δ(G).
E 8.35 Show that the difference ∆(G) − χ(G) may be arbitrarily large. Show
that the quotient ∆(G)/χ(G) may be arbitrarily large. (Compare to exer-
cise 8.30.)
E 8.37 Let G be a graph with the following property: every pair of odd
circuits has (at least) one vertex in common. Prove that G has a 5-coloring.
? E 8.38 Suppose a graph G has a clique with k vertices. Show that every
vertex coloring of G uses at least k colors. In other words, show that χ≥
χ(G) ≥ ω(G)
E 8.39 Suppose a graph G has a clique with k vertices and a vertex coloring
that uses k colors. Prove that the clique is maximum and that the coloring is
minimum.6
E 8.42 Show that, for every k, there is a graph without cliques of size k that
does not admit a coloring with k (or less) colors. In other words, show that
there are graphs G such that χ(G) > ω(G). Show that for every k there is a
graph G such that χ(G) = k and ω(G) = 2.
E 8.43 Suppose a graph G has a stable set with k vertices. Show that every
clique cover of VG uses at least k cliques. Deduce that χ(G) ≥ α(G).
while N(w) ∩ Xi 6= ∅ do i ← i + 1
Xi ← Xi ∪ {w}
W ← W r Xi
return X1 , X2 , X3
Does the algorithm keep its promise?
E 8.53 What is the maximum number of edges in a graph with n vertices that
admits a 3-coloring?
E 8.54 Imagine a grid in which all the vertices except for one are colored.
Each colored vertex has one of 3 possible colors. Devise a “color swapping
heuristic in bicolored components” (compare to exercise 12.22) to obtain,
from the given partial coloring, a coloring of all the vertices with only 3
colors.
12
According to Wilf (in Algorithms and Complexity, Prentice-Hall, 1986), heuristics are
“methods that seem to work well in practice, for reasons nobody understands.”
13
A fast algorithm to decide whether a given graph is 3-colorable is not (yet?) known. In
technical terms, this decision problem is NP-complete. See observation in page 5.
FEOFILOFF Vertex coloring 91
E 8.60 Show that χ(G) ≤ 6 for every planar graph G. (See exercises 1.275
and 8.30.)
!! E 8.63 (F OUR C OLOR T HEOREM15 ) Show that every planar graph admits
a vertex coloring with 4 or less colors. In other words, show that
χ(G) ≤ 4
for every planar graph G.
◦ E 8.64 Show that there are planar graphs that do not admit a vertex color-
ing with only 3 colors.
E 8.65 Is it true that χ(G) = ω(G) for every planar graph G? (See exer-
cises 8.38 and 8.39.)
E 8.66 Let G be the graph of Europe (see exercise 1.17). Show that χ(G) = 4.
E 8.68 Show that α(G) ≥ 41 n(G) for every planar graph G. (It would be
very interesting to have a proof of this fact that did not rely on the four color
theorem, exercise 8.63.)
E 8.70 Show that the set of faces of every outerplanar graph (see exer-
cise 1.283) is 3-colorable.
14
Percy John Heawood ( − ).
15
Proved in 1976 by Kenneth Appel and Wolfgang Haken. Proof simplified in 1997 by
Neil Robertson, Daniel P. Sanders, Paul D. Seymour and Robin Thomas. See the pages “The
four color theorem”, “Four-Color Theorem” and “Four-Color Theorem.”
FEOFILOFF Vertex coloring 92
! E 8.71 Prove that the following conjecture by Hajós16 is false: For every
graph G, if χ(G) ≥ k, then G has a topological minor (see section 1.16)
isomorphic to Kk .
E 8.72 Let G be a graph such that χ(G) ≥ 3. Show that G has a minor (see
section 1.16) isomorphic to K3 . (Compare to exercise 8.38.)
E 8.73 Let G be a graph such that χ(G) ≥ 4. Show that G has a minor
isomorphic to K4 .
!! E 8.74 Let G be a graph such that χ(G) ≥ 5. Show that G has a minor iso-
morphic to K5 . (This is equivalent to the Four Color theorem, exercise 8.63.)
1 n
χ(G) >
2 + ε log2 n
1 n
χ(G) <
2 − ε log2 n
Perfect graphs
A graph is perfect if χ(G[X]) = ω(G[X]) for every subset X of VG . (See
exercise 8.38.)
18
Published by Lásló Lovász in 1972.
19
This theorem was proved in 2002 by Maria Chudnovsky and Paul D. Seymour, based
on previous work by Neil Robertson and Robin Thomas.
FEOFILOFF Vertex coloring 94
Chapter 9
Matchings
95
FEOFILOFF Matchings 96
Exercises
◦ E 9.1 Let M be a set of edges of a graph G. Let H be the graph (VG , M ).
Show that M is a matching in G if and only if dH (v) ≤ 1 for every vertex v
of H.
◦ E 9.5 Suppose that a graph G has a perfect matching. Show that n(G) is
even.
E 9.12 How many edges does a maximum matching in the cube Qk have?
E 9.15 Show that the maximum matching problem is a special case of the
maximum stable set problem.
E 9.18 Suppose that a graph has a bridge a. Show that either every perfect
matching contains a, or no perfect matching contains a.
E 9.19 Prove that every forest has at most one perfect matching.
|M | ≤ |K| .
◦ E 9.32 Let K be a minimal cover of a graph (see chapter 7). Is it true that
every edge of any matching has only one of its endpoints in K?
E 9.36 Suppose that a graph G has a perfect matching. Show that, for every
vertex v, the graph G − v has exactly one component with an odd number of
vertices.
E 9.37 Let G be a graph with n(G) ≥ 2k and δ(G) ≥ k. Show that G has a
matching with a least k edges.
FEOFILOFF Matchings 100
Chapter 10
Exercises
E 10.1 Show a maximum matching in the graph shown on figure 10.1.
101
FEOFILOFF Matchings in bipartite graphs 102
◦ E 10.5 Is it true that every bipartite graph has an edge that belongs to
all maximum matchings? (Compare to exercise 10.4.) Is it true that every
bipartite graph has an edge that does not belong to any maximum matching?
? E 10.6 Show that every bipartite graph has a matching M and a cover K
such that
|M | = |K| .
(Compare to exercise 9.30. See exercise 10.4.)
Figure 10.3: The gray circles indicate a cover. The gray lines
indicate a matching. (Exercise 10.6.)
E 10.9 Find a maximum matching and a minimum cover in the graph shown
on figure 10.1.
Algorithms
◦ E 10.13 Let G be a {U, W }-bipartite graph. Let {U 0 , U 00 } be a partition of U ,
and {W 0 , W 00 } be a partition of W . Show that N(U 0 ) ⊆ W 0 if and only if
N(W 00 ) ⊆ U 00 . Show that if N(U 0 ) ⊆ W 0 then W 0 ∪ U 00 is a cover.
For any cover K of G, show that N(U r K) ⊆ W ∩ K and N(W r K) ⊆
U ∩ K.
E 10.18 Use the Hungarian algorithm (exercise 10.16) to prove the Kőnig–
Egerváry theorem (exercise 10.7).
Semi-perfect matchings
A matching in a bipartite graph is semi-perfect if it saturates one of the “sides”
of the graph. Clearly, every semi-perfect matching is maximum, but not
every maximum matching is semi-perfect.
◦ E 10.21 Let G be a {U, W }-bipartite graph. Suppose that |N(Z)| < |Z| for
some subset Z of U . Show that G has no matching that saturates U .
E 10.28 Let G be a {U, W }-bipartite graph with at least one edge. Suppose
that d(u) ≥ d(w) for every u in U and w in W . Prove that there is a matching
that covers U .
E 10.29 Let G be an r-regular bipartite graph with r > 0. Show that G has a
perfect matching.
E 10.30 Prove that a bicolorable graph G has a perfect matching ifSand only
if |N∗ (Z)| ≥ |Z| for every subset Z of VG , where N∗ (Z) is the set z∈Z N(z).
(Clearly N∗ (Z) contains N(Z).)
Give an example of a (non-bicolorable) graph that does not have a perfect
matching, but satisfies inequality |N∗ (Z)| ≥ |Z| for every set Z of vertices.
E 10.33 Let G be a {U, W }-bipartite graph with at least one edge. Let X be
the set of vertices in U that have degree ∆(G). Show that G has a matching
that saturates X.
. E 10.34 ♥ Let G be a bicolorable graph with at least one edge. Show that
there is a matching that saturates all vertices of degree ∆(G). (See exercises
10.32 and 10.33.)
Exercises
E 11.1 Let T be a tree and suppose that o(T − v) = 1 for each vertex v of T .
Show that T has a perfect matching. (See exercise 9.36.)
E 11.2 Suppose that a graph G has a perfect matching. Show that o(G − S) ≤
|S| for every set S of vertices.
◦ E 11.3 Suppose that a graph G satisfies the condition o(G − S) ≤ |S| for
every set S of vertices. Prove that n(G) is even.
?! E 11.4 Suppose that a graph G has the following property: for every set S
of vertices,
o(G − S) ≤ |S| .
Show that G has a perfect matching.
107
FEOFILOFF Matchings in arbitrary graphs 108
E 11.7 Deduce Hall’s theorem (exercise 10.23) from Tutte’s theorem (exer-
cise 11.4).
E 11.13 Let G be a cubic bridgeless graph. Show that G has a perfect match-
ing. Show that not every cubic graph has a perfect matching.
! E 11.16 An edge cover6 of a graph is a set F of edges such that every vertex
of the graph is an endpoint of some element of F . (Do not confuse this
with the concept of vertex cover.) Devise an efficient algorithm to produce a
minimum edge cover.
5
Jack Edmonds.
6
Maybe I should say “cover of vertices by edges”.
FEOFILOFF Matchings in arbitrary graphs 110
Chapter 12
Edge coloring
χ 0 (G) .
(Do not confuse this with the chromatic number χ(G), defined in chapter 8.)
Exercises
◦ E 12.1 Let M1 , . . . , Mk be an edge coloring of a graph. Show that there is a
coloring M10 , . . . , Mk0 such that matchings M10 , . . . , Mk0 are pairwise disjoint.
111
FEOFILOFF Edge coloring 112
qualified to operate only some of the machines. How many days are needed
to complete the process?
E 12.4 Show that the edge coloring problem is a special case of the vertex
coloring problem (see chapter 8).
? E 12.11 Show that any edge coloring of a graph G uses at least ∆(G) colors.
0
χ ≥ In other words, show that
χ 0 (G) ≥ ∆(G)
for every graph G. Show that this is a special case of the inequality χ ≥ ω in
exercise 8.38.
E 12.15 Suppose that n(G) is odd and m(G) > ∆(G) (n(G) − 1)/2. Show that
χ 0 (G) > ∆(G).
E 12.17 Show that the edge set of every tree T can be colored with (only)
∆(T ) colors. (Compare to exercise 12.11.)
E 12.18 Show that χ 0 (G) ≤ 2∆(G) − 1 for every graph G. (Hint: induction on
the number of edges of G.)
E 12.23 Show that every bipartite r-regular graph admits an edge coloring
with only r colors. (See exercise 10.29.)
E 12.24 Pick 16 squares in an 8-by-8 chess board so that each row and each
column of the board contains exactly two of the chosen squares. Prove that it
is possible to place 8 white and 8 black pawns in the 16 chosen squares so that
each row and each column contains exactly one white and one black pawn.
? E 12.25 Let G be a bicolorable graph. Show that the edge set of G can be
colored with no more than ∆(G) colors. (See heuristic 12.22 or exercise 10.34.)
? E 12.26 (K ŐNIG ’ S T HEOREM3 ) Show that χ 0 (G) = ∆(G) for every bicol-
orable graph G. (Follows from exercises 12.11 and 12.25.)
E 12.27 Show minimum edge colorings of the graphs in figures 10.1 and 10.2.
E 12.29 Let G be a graph and set k = χ 0 (G). Showthat there is a k-coloring
M1 , M2 , . . . , Mk of the edges such that |Mi | − |Mj | ≤ 1 for every pair i,j of
colors. Write a “formula” for |Mi | in terms of m(G). (See exercise 12.28.)
2
Wilf says that heuristics are “methods that seem to work well in practice, for reasons
nobody understands” (Algorithms and Complexity, Prentice-Hall, 1986).
3
Dénes Kőnig ( − ). (See article in Wikipedia.)
FEOFILOFF Edge coloring 115
for every graph G.5 (If we combine this with exercise 12.11, we can say that
∆ ≤ χ 0 ≤ ∆ + 1 for every graph.)
E 12.31 Show that the color exchange heuristic suggested in exercise 12.22 is
not sufficient to prove Vizing’s theorem (exercise 12.30).
E 12.32 (E RD ŐS AND W ILSON T HEOREM) Let G 1 (n) be the collection of all
graphs in G(n) (see section 1.18) for which χ 0 = ∆. Show that
|G 1 (n)|
lim = 1.
n→∞ |G(n)|
E 12.35 Let X be the set of vertices of a graph G that have degree ∆(G). Show
the following: if G[X] is a forest, then χ 0 (G) = ∆(G).
Planar graphs
E 12.36 Prove that the following statement is equivalent to the Four Color
Theorem (exercise 8.63): χ 0 (G) = 3 for every cubic edge-biconnected planar
graph G. (Compare to exercise 12.13. See exercise 8.69.)
4
Published in 1964–1965 by Vadim G. Vizing ( − ). Discovered, independently,
by Ram Prakash Gupta in 1966.
5
It is tempting to compare this inequality with inequality χ ≤ ∆ + 1 in exercise 8.30. But
the reasons behind the two inequalities are very different.
FEOFILOFF Edge coloring 116
Chapter 13
1
See Schrijver [Sch03, p.855], for example.
2
A spanning tree of a graph could be called skeleton of the graph. In German, one says
Gerüst (= scaffold).
117
FEOFILOFF Connectors and acyclic sets 118
Exercises
◦ E 13.1 Show that a graph has a connector if and only if it is connected.
Show that every graph has an acyclic set.
? E 13.5 Show that every minimal connector of a graph G has exactly n(G)−1
edges. (See exercise 1.228.) Deduce that every minimal connector is mini-
mum.
? E 13.6 Show that every maximal acyclic set of a graph G has exactly
n(G) − c(G) edges, where c(G) is the number of components of G. (See
exercise 1.231.) Deduce that every maximal acyclic set is maximum.
(C ∪ {b}) r {a}
is a minimal connector of G.
3
The famous algorithms of J. B. Kruskal and R. C. Prim solve this problem. They are
among the oldest and best known greedy algorithms in graph theory. The proof of correction
of these algorithms relies on exercise 13.8.
FEOFILOFF Connectors and acyclic sets 120
Chapter 14
A path is shorter than another one if the length of the former is smaller than
that of the latter. A path P∗ is shortest, or minimum, if no shorter path has
the same endpoints as P∗ .
Exercises
E 14.1 Compute the distance between vertex x and each of the other vertices
in figure 14.1. Then, show a shortest path between x and y.
◦ E 14.2 Let k be the distance between two vertices v and w in a graph. Show
that (1) there is a path of length k from v to w and (2) there is no path of length
smaller than k from v to w. Show the converse: if (1) and (2) hold, then the
distance between v and w is k.
1
The expressions “minimum distance” and “shortest distance” are redundant and
should be avoided.
121
FEOFILOFF Minimum paths and circuits 122
y
Figure 14.1: Find a shortest path between x
and y. See exercise 14.1.
dist(v0 , vj ) = j
for every vertex x (i.e., the distance between r and x in G is equal to the
distance between r and x in T ).
◦ E 14.8 Is it true that every connected graph G has a spanning tree T such
that distG (u, v) = distT (u, v) for every pair u,v of vertices?
FEOFILOFF Minimum paths and circuits 123
E 14.10 The Heawood2 graph has vertex set {0, 1, 2, . . . , 13}. Each vertex i is
adjacent to vertices (i + 1) mod 14 and (i + 13) mod 14.3 In addition, each i is
adjacent to a third vertex, which depends on the parity of i: if i is even, then it
is adjacent to (i+5) mod 14, and if i is odd, then it is adjacent to (i+9) mod 14.
Draw a figure of the Heawood graph. Find a minimum-length circuit in
the graph.
E 14.11 Show that every connected graph with m ≥ 3n/2 has a circuit of
length ≤ c log n for some constant c.
Parity constraints
We say that a circuit or path is odd if its length is an odd number. Similarly,
a circuit or path is even if its length is an even number.
The odd girth of a graph is the length of a minimum odd circuit in the
graph. The even girth is defined similarly.
E 14.17 Use the concept of distance to show that a graph is bicolorable if and
only if it has no odd circuits. (Compare to exercise 4.15. See exercise 14.14.)
Random graphs
E 14.22 The diameter of a graph G is the number max(u,v) dist(u, v), where
the maximum is taken over all the pairs (u, v) of vertices. Prove that the
diameter of almost every graph in G(n) (see section 1.18) is at most 2.
Chapter 15
Flows
EP ∩ EQ = ∅
Exercises
E 15.1 Consider the bishop graph on a 3-by-3 board. Let a be the upper left
corner square, and b be the upper right corner square. Find a maximum flow
from a to b.
E 15.2 Consider the queen graph on a 3-by-3 board. Let a be the upper
1
This use of the word “flow” is unorthodox. In most books, the word is used in a
somewhat different way.
125
FEOFILOFF Flows 126
left corner square, and b be the square in the middle of the board. Find a
maximum flow from a to b.
E 15.3 Consider the knight graph on a 3-by-3 board. Let a be the first square
of the first row, and b be the last square of the second row. Find a maximum
flow from a to b.
◦ E 15.5 Let a and b be two vertices of a graph. Suppose that there is a flow of
cardinality k between a and b. Show that every set of edges that separates a
from b has at least k edges.2
|F ∗ | = |C∗ | .
◦ E 15.8 Let a and b be two vertices of a graph G. Suppose that every set that
separates a from b has at least 2 edges. Let P be a path in G with endpoints a
and b. Is it true that G − EP has a path with endpoints a and b?
E 15.9 (A LGORITHM) Write an algorithm that will receive two vertices a and
b of a graph G and return a flow F from a to b and a set X that contains a but
not b such that |F| = d(X).
2
Thus, a cut with k edges certifies the inexistence of a flow of size greater than k.
3
Karl Menger ( − ). The “g” sounds like “goat” and not like “gentle.”
4
It is also a special case of the Max-Flow Min-Cut Theorem, by Ford, Fulkerson, Elias,
Feinstein, and Shannon.
FEOFILOFF Flows 127
k-edge-connected graphs
The edge-connectivity of a graph G is the cardinality of the smallest subset C
of EG such that G−C is disconnected (i.e., has two or more components). The
edge-connectivity of G is denoted by
κ 0 (G) .
This definition of connectivity does not apply in case G has only one vertex,
because then there is no C such that G − C is disconnected. The convention,
in this case, is to say that κ 0 (G) = 1. (Maybe ∞ would make more sense.)
We say that a graph G is k-edge-connected for every k ≤ κ 0 (G). Thus,
a 1-edge-connected graph is the same as a connected graph, and a 2-edge-
connected graph is the same as an edge-biconnected graph (see section 1.13).
◦ E 15.14 Let G be a graph with two or more vertices, and let k be a natural
number. Show that G is k-edge-connected if and only if G − C is connected
for every subset C of EG such that |C| < k.
E 15.15 Let G be a graph with two or more vertices and k a natural number.
Show that G is k-edge-connected if and only if d(X) ≥ k for every set X of
vertices such that ∅ ⊂ X ⊂ VG . (See exercise 15.4.)
E 15.17 Let Qt be the queen graph on a t-by-t board. Calculate κ 0 (Qt ) for
t = 2, 3, 4.
? E 15.19 Let G be a graph with two or more vertices. Show (from Menger’s
theorem, exercise 15.7) that G is k-edge-connected if and only if every pair of
its vertices is connected by a flow with cardinality k.
? E 15.20 Show that κ 0 (G) ≤ δ(G) for every graph G with two or more
vertices. Show that the inequality can be strict.
E 15.21 Let G be a graph with two or more vertices such that δ(G) ≥
(n(G) − 1)/2. Show that κ 0 (G) = δ(G).
VP ∩ VQ = {a, b}
for every pair (P, Q) of paths in the collection. We will say that such a
collection connects a to b.
Exercises
E 16.1 Consider the bishop graph on a 4-by-4 board. Let a be the first square
of the first row, and b be the last square of the last row. Find a maximum
internally disjoint flow connecting a to b. Repeat the exercise with b being the
third square of the first row.
129
FEOFILOFF Internally disjoint flow 130
E 16.2 Consider the queen graph on a 3-by-3 board. Let a be the top left
corner square, and b be the square in the middle of the board. Find a
maximum internally disjoint flow connecting a to b.
E 16.3 Consider the knight graph on a 3-by-3 board. Let a be the first square
of the first row, and b be the last square of the second row. Find a maximum
internally disjoint flow connecting a to b.
Connectivity
The connectivity of a graph G is the cardinality of the smallest subset S of VG
such that G − S is disconnected (i.e., has two or more components). The
connectivity of a graph G is denoted by
κ(G) .
This definition does not apply when G is complete, because in that case there
is no S such that G − S is disconnected.3 By convention, we set κ(Kn ) = n − 1
for every n ≥ 2 and κ(K1 ) = 1.
We say that a graph G is k-connected for every k ≤ κ(G). Thus, a 1-
connected graph is the same as a connected graph, and a 2-connected graph
is the same as a biconnected graph (see section 1.14).
E 16.16 Let Qt be the queen graph on a t-by-t board. Calculate κ(Qt ) for
t = 2, 3, 4.
◦ E 16.21 Show that every k-connected graph with two or more vertices is
k-edge-connected. Show that the converse is not true, i.e., that not every k-
edge-connected graph with two or more vertices is k-connected.
? E 16.22 Show that κ(G) ≤ κ 0 (G) for every graph G with two or more
vertices. Show that the inequality may be strict.
4
Published in 1952 by Gabriel Andrew Dirac ( − ).
Chapter 17
A circuit in a graph is longest if the graph does not have a longer circuit. The
circumference of a graph is the length of a longest circuit in the graph.
The concept of Hamiltonian path and the Hamiltonian path problem are
defined similarly.
Some of the exercises below involve the condition “δ(G) ≥ k.” Recall
that this condition is equivalent to “|N(v)| ≥ k for every vertex v,” since
|N(v)| = d(v) for every vertex v.
Exercises
◦ E 17.1 Is it true that every complete graph has a Hamiltonian circuit?
1
Reference to William Rowan Hamilton ( − ). (See article in Wikipedia.) A
reference to Thomas P. Kirkman ( − ) would be be fairer (see article in Wikipedia).
133
FEOFILOFF Hamiltonian circuits and paths 134
E 17.4 Find a longest circuit in the Petersen graph. Find a longest path in the
Petersen graph.
E 17.5 Prove that, for all k ≥ 2, the graph Qk has a Hamiltonian circuit. (Hint:
Use induction on k.)
E 17.6 Give a necessary and sufficient condition for a grid to have a Hamil-
tonian circuit.
E 17.7 Find a Hamiltonian circuit in the t-by-t knight graph. (See article in
Wikipedia and article in Wolfram MathWorld.)
◦ E 17.8 Show that χ 0 (G) = 3 for every cubic graph G that has a Hamiltonian
circuit.
E 17.10 Show that every graph G has a path of length at least δ(G). (See
exercise 1.125.)
E 17.11 Show that every graph G has a circuit with δ(G) + 1 or more vertices,
provided δ(G) is greater than 1. (See exercise 1.128 in section 1.9.)
E 17.12 Show that every graph G has a path with at least χ(G) vertices, where
χ(G) is the chromatic number (see chapter 8) of G. (See exercise 8.47).
FEOFILOFF Hamiltonian circuits and paths 135
E 17.15 Let G be a graph with a Hamiltonian circuit. Show that every edge
of G belongs to a circuit.
E 17.17 Suppose that a graph G has a stable set with more than n(G)/2
vertices. Show that G has no Hamiltonian circuit.
Is it true that every graph G with α(G) ≤ n(G)/2 has a Hamiltonian
circuit?
E 17.20 Suppose that a graph G satisfies the inequality c(G − S) ≤ |S| for
every set S of vertices such that 0 < |S| < n(G). Is it true that G has a
Hamiltonian circuit?
FEOFILOFF Hamiltonian circuits and paths 136
E 17.22 Is it true that there is a natural number k such that every k-connected
graph (see page 131) has a Hamiltonian circuit? (Compare to exercises 17.19
and 17.35.)
E 17.24 Let G be a graph with 4 or more vertices such that δ(G) ≥ n(G) − 2.
Show that G has a Hamiltonian circuit.
δ(G) ≥ n(G)/2 .
for every pair (u, v) of distinct non-adjacent vertices. Show that G has a
Hamiltonian circuit. (Hint: Use exercise 1.129.)
E 17.36 Show that not every 3-connected planar graph (see page 131) has a
Hamiltonian circuit.
4
Such an algorithm has not yet been found. In technical terms, the problem of deciding
whether a graph has a Hamiltonian circuit is NP-complete. See the books by Garey–
Johnson [GJ79], Harel [Har92], and Sipser [Sip97].
5
Such an algorithm has not yet been found.
6
Such an algorithm has not yet been found.
7
The problem is NP-hard. See the books by Garey–Johnson [GJ79], Harel [Har92] and
Sipser [Sip97]. See the website The Traveling Salesman Problem, maintained by Bill Cook at
Georgia Tech University.
8
William T. Tutte ( − ). (See article in Wikipedia.)
FEOFILOFF Hamiltonian circuits and paths 138
9
D. Barnette proposed the conjecture in 1970.
Chapter 18
Circuit covers
Due to exercise 18.16, this problem is also known as the “Eulerian cycle
problem.”
Exercises
E 18.1 Show a circuit decomposition of each graph in figure 18.1.
E 18.2 For which values of p and q does a p-by-q grid have a circuit decom-
position?
E 18.4 For which values of k does the cube Qk have a circuit decomposition?
1
Coverings by circuits are very different from coverings by matchings (i.e., edge color-
ings) because a part of a circuit is not a circuit, while every part of a matching is a matching.
139
FEOFILOFF Circuit covers 140
E 18.5 Give a necessary and sufficient condition for a complete graph to have
a circuit decomposition.
◦ E 18.6 Suppose that a graph G has a bridge. Show that G has no circuit
decomposition. (See exercise 1.199.)
◦ E 18.8 Suppose that a graph G has an odd-degree vertex. Show that G has
no circuit decomposition.2 (Another way to say the same thing: if a graph G
has a circuit decomposition, then all vertices of G have even degree.)
E 18.10 Show that a graph has a circuit decomposition if and only if all of its
cuts are even.
a h
b
c g
e
d f
E 18.15 Consider the 21 tiles of the domino game which are not doubles.
Each of those tiles corresponds to a subset of cardinality 2 of the set
{0, 1, 2, . . . , 6}. One is allowed to make a tile {i, j} “touch” a tile {j, k} so as
to produce the sequence (i, j, j, k). Question: Is it possible to form a “wheel”
that contains all the 21 tiles? What if we eliminate all tiles that contain a “6”?
5
Reference to Leonhard Euler ( − ). See article in Wikipedia.
6
Some authors also require the trail to pass through all the vertices of the graph. The
difference between these two definitions is superficial.
7
According to this definition, a cycle may have length 0. A circuit, on the other hand,
has length at least 3 by definition.
FEOFILOFF Circuit covers 142
? E 18.16 (E ULERIAN CYCLES) Show that every graph with an Eulerian cy-
cle has a circuit decomposition.
Show that every connected graph with a circuit decomposition has an
Eulerian cycle.
E 18.17 Give a necessary and sufficient condition for a graph to have a non-
closed Eulerian trail.
E 18.20 Suppose that a graph G has an Eulerian cycle. Show that the line
graph L(G) has a Hamiltonian circuit (see exercise 1.24).
Show that the converse is not true: L(G) may have a Hamiltonian circuit
without G having an Eulerian cycle.
E 18.21 Let xy and yz be two edges of a connected graph G that has no odd-
degree vertices. Is it true that G has an Eulerian cycle in which xy and yz
appear consecutively?
E 18.22 Let G be a connected graph all of whose vertices have even degree.
Suppose also that m(G) is even. Prove that EG admits a partition {F1 , F2 }
such that |F1 ∩ ∂{v}| = |F2 ∩ ∂{v}| for each vertex v, i.e., v is incident to the
same number of edges of F1 and F2 .
8
Proposed in 1962 by the Chinese mathematician Mei-Ko Kwan.
FEOFILOFF Circuit covers 143
if each edge of the graph belongs to ≤ k circuits of the cover, then the cover
has thickness ≤ k. It is clear that a circuit decomposition is the same as a
cover of thickness 1.
Exercises
◦ E 18.23 Show that a graph has a circuit cover if and only if it has no bridges.
(See exercise 1.199.)
! E 18.25 Show that, for every k even, the cube Qk can be covered with
only k/2 circuits.
E 18.27 Find a minimum circuit cover of the first graph in figure 18.1. (This
graph can be described as K6 − M , where M is a perfect matching.)
E 18.29 Find a circuit cover of minimum total length in the Petersen graph.
? E 18.32 Show that every edge-biconnected planar graph has a circuit cover
of thickness ≤ 2.
E 18.37 Show (by means of examples) that the concepts of minimum cover,
cover of minimum total length, and minimum-thickness cover are pairwise
distinct.
E 18.38 Why doesn’t the Chinese postman problem (exercise 18.19) solve the
minimum-thickness circuit cover problem (see exercise 18.31)? Why doesn’t
it solve the problem of the circuit cover of minimum total length (see exer-
cise 18.28)?
11
Published by Kilpatrick in 1975 and by F. Jaeger in 1976.
Chapter 19
Characterization of planarity
If a graph is not planar, how can we make this evident? A very beautiful
answer involves the concept of forbidden minors (see section 1.16): every
non-planar graph has a minor which is obviously non-planar.
Exercises
? E 19.1 Show that K3,3 is not planar. (See, for example, exercise 1.271.)
? E 19.2 Show that K5 is not planar. (See, for example, exercise 1.270.)
Figure 19.1: K3,3 and K5 are not planar. See exercises 19.1 and 19.2.
◦ E 19.4 Suppose that all the proper subgraphs of a graph G are planar. Is it
true that G is planar?
145
FEOFILOFF Characterization of planarity 146
?◦ E 19.6 Show that every topological minor (see section 1.16) of a planar
graph is planar. In other words, if a graph G has a non-planar topological
minor, then G is not planar. (In particular, if G contains a subdivision of K5
or K3,3 , then G is not planar.)
? E 19.7 Show that every minor (see section 1.16) of a planar graph is planar.
In other words, if a graph G has a non-planar minor, then G is not planar.
(In particular, if G has a subcontraction isomorphic to K5 or to K3,3 , then G is
not planar.)
E 19.8 Show that every proper minor of K5 is planar. Show that every proper
minor of K3,3 is planar.
◦ E 19.9 Show that K3,3 is not a minor of K5 . Show that K5 is not a minor
of K3,3 .
E 19.12 Show that the Petersen graph is not planar. (See exercises 1.247
and 1.248.)
E 19.13 Show that the cube Q4 is not planar. (See exercise 1.249.)
D 19.19 Prove the following conjecture by Dirac:3 If a graph G does not have
a K5 topological minor, then m(G) ≤ 3n(G) − 6. (Compare to exercise 1.268.)
E 19.20 Show that a graph is outerplanar (see exercise 1.283) if and only if it
has neither a K4 minor nor a K2,3 minor. Show that a graph is outerplanar if
and only if it has neither a K4 topological minor nor a K2,3 topological minor.
3
The conjecture was proposed by G. A. Dirac in 1964.
FEOFILOFF Characterization of planarity 148
Appendix A
Exercise 1.208. The proof does induction on the distance between r and s. It deals
with the case in which r and s are neighbors, then the case in which there is a path
of length 2 from r to s, and so on.
Let v0 v1 . . . vk be a path from r to s. By induction hypothesis, there are two
paths, P and Q, from v0 to vk−1 such that EP ∩ EQ = ∅. Let C be a circuit that
contains edge vk−1 vk . The graph P ∪ Q ∪ C contains two paths from v0 to vk that
share no edges.
Exercise 1.226. Suppose that there are two different paths, say P and Q, with
endpoints x and y. Find a circuit in the graph P ∪ Q.
Exercise 1.233. Let v be a vertex such that d(v) = ∆. For each neighbor w of v,
take a maximal path among those that have v as first vertex and w as second vertex.
Exercício 1.266. Do an induction on the number of faces. The induction base uses
the equality m = n − 1 which is valid for trees (see exercise 1.228).
149
FEOFILOFF 150
Exercise 4.23. Let us say that the edges in D are red and the others are black. A
path is even if it has an even number of red edges, and odd if it has an odd number
of red edges.
Fundamental fact: if two paths have the same endpoints, then they have the
same parity. Prove this fact by induction on the number of shared vertices.
Exercise 5.27. Show that the algorithm from exercise 5.22 returns a stable set S
such that |S| ≥ n/(µ + 1).
Exercise 9.36. Show that G − v has at least one odd component. Then show that
G − v cannot have more than one odd component.
Exercise 10.4. Prove that one of the endpoints of each edge is saturated by all
maximum matchings. Proof by contradiction: suppose there is an edge uw and
maximum matchings M and N such that M does not saturate u and N does not
saturate w. Study the component of (VG , M ∪ N ) that contains u.
Exercise 10.6. Proof by induction on the number of vertices. Take a vertex u that
is saturated by all maximum matchings. Apply the induction hypothesis to G − u.
Exercise 10.18. Let M be a maximum matching. Let us say that a path is good if it
has an endpoint in U r V (M ) and is M -alternating. Let X be the set of vertices of
all good paths. Let K := (W ∩ X) ∪ (U r X). Show that K is a cover. Show that
|K| = |M |.
Exercise 10.22. Let M be a matching and K a cover such that |M | = |K| (see
exercise 10.6). Show that |U | ≤ |K| and see exercise 9.30.
Exercise 12.16. G does not have a perfect matching. Follows from exercise 12.15.
Exercise 13.4. It suffices to prove that each edge of C is a bridge in the graph
(VG , C). (See also exercises 1.149 and 1.157.)
Exercise 14.9. Let x and z be two non-adjacent vertices of a tree. Let L be the only
path from x to z. Show that if exc(x) = exc(z) then exc(y) < exc(x) for every internal
vertex y of L.
Exercise 14.18. For each vertex r, analyze the distance tree (exercise 14.7) centered
in r. See exercises 14.13, 14.5, 1.123, and 14.3.
Exercise 14.19. For each vertex r, analyze the distance tree 14.7 centered in r.
Exercise 16.10. Add to G a new vertex y and new edges connecting y to each
vertex in S. Show that the new graph is k-connected.
Exercise 17.26. Let u and v be the endpoints of a maximum path P . Show that the
graph (VP , EP ∪ ∂(u) ∪ ∂(v)) has a Hamiltonian circuit.
Just as other areas of mathematics, graph theory resorts to the Greek alphabet for
some of its notation:
α A alpha ν N nu
β B beta ξ Ξ xi
γ Γ gamma o O omicron
δ ∆ delta π Π pi
ε E epsilon ρ P rho
ζ Z zeta σ Σ sigma
η H eta τ T tau
θ Θ theta υ Υ upsilon
ι I iota ϕ Φ phi
κ K kappa χ X chi
λ Λ lambda ψ Ψ psi
µ M mu ω Ω omega
The symbol ∂ does not belong to the Greek alphabet. It is used, in this text, to
denote cuts (see section 1.8).
155
FEOFILOFF 156
Bibliography
[BM76] J.A. Bondy and U.S.R. Murty. Graph Theory with Applica-
tions. Macmillan/Elsevier, 1976. http://www.freetechbooks.
com/graph-theory-with-applications-t559.html. 5
[BM08] J.A. Bondy and U.S.R. Murty. Graph Theory. Graduate Texts in
Mathematics 244. Springer, 2008. 5, 18
[Bol98] B. Bollobás. Modern Graph Theory. Springer, 1998. 5
[Car11] D.M. Cardoso. Teoria dos Grafos e Aplicações. Internet: http:
//arquivoescolar.org/handle/arquivo-e/78, 2011.
[Die00] R. Diestel. Graph Theory. Springer, 2nd edition, 2000. http://
diestel-graph-theory.com/index.html. 5
[Die05] R. Diestel. Graph Theory. Springer, 3rd edition, 2005. http://
diestel-graph-theory.com/index.html. 5, 8, 18
[GJ79] M.R. Garey and D.S. Johnson. Computers and Intractability: a Guide
to the Theory of NP-Completeness. W.H. Freeman, 1979. 5, 137
[Har92] D. Harel. Algorithmics: The Spirit of Computing. Addison-Wesley,
2nd edition, 1992. 5, 137
[JNC10] D. Joyner, M.V. Nguyen, and N. Cohen. Algorithmic Graph Theory.
Google Code, 2010. [eBook].
[Knu93] D.E. Knuth. The Stanford GraphBase: A Platform for Combinatorial
Computing. ACM Press and Addison-Wesley, 1993. 12
[Lov93] L. Lovász. Combinatorial Problems and Exercises. North-Holland,
second edition, 1993. 5
[LP86] L. Lovász and M.D. Plummer. Matching Theory, volume 29 of
Annals of Discrete Mathematics. North-Holland, 1986. 5
[Luc79] C.L. Lucchesi. Introdução à Teoria dos Grafos. 12o. Colóquio Brasi-
leiro de Matemática. IMPA (Instituto de Matemática Pura e Apli-
cada), 1979. 5
157
FEOFILOFF BIBLIOGRAPHY 158
[Zha97] C.-Q. Zhang. Integer Flows and Cycle Covers of Graphs. Marcel
Dekker, 1997.
Index
159
FEOFILOFF INDEX 160
bicolorable, 67 of faces, 91
bicoloring, 67 of vertices, 83
biconnected, 43, 131 k-coloring, 83
edge-, 42 comparability, 14
bipartite, 15 complement, 8
complete, 15 complete, 8
bipartition, 15 component, 37
of a set, 67 conjecture
bishop (chess), 11 Barnette, 138
Bollobás, 5 Berge, 93
boundary of a face, 52 Chvátal, 136
breadth-first search, 122 circuit double cover, 143
bridge, 40 Hadwiger, 92
connected, 34
c(G), 37 k-connected, 131
Catlin, 85 connectivity, 127, 131
center, 123 connector, 117
certificate, 68, 87, 98, 108, 126, 130, 140 connects u to v, 20
chess board, 10 cover, 81
child of a vertex, 45 vertex, 81
Chinese postman, 142 covering
chromatic by circuits, 139
index, 111 cube, 12
number, 83 k-cube, 12
Chudnovsky, 93 cut, 27
Chvátal, 136 edge, 40
circuit, 20 vertex, 43
cover, 139 cycle, 33, 141
decomposition, 139
double cover, 143 D, 6
even, 69 δ(G), 17
minimum, 121 δ(X), 27
odd, 69 ∆(G), 17
circumference, 133 d(v), 17
clique, 77 d(X), 27
cover, 84 ∂(X), 27
number, 77 degree
closed average, 17
trail, 141 maximum, 17
walk, 33 minimum, 17
coboundary, 27 of a face, 52
collection, 57 of a set of vertices, 27
color exchange heuristic, 114 of a vertex, 17
colorable, 83 sequence, 65
k-colorable, 83 diameter, 124
coloring Dirac, 132, 136, 147
minimum, 83, 111 disjoint graphs, 22
FEOFILOFF INDEX 161
path, 20 star, 15
endpoints, 20 subcontraction, 48
even, 69 subdivision, 49
maximal, 30 subgraph, 24
maximum, 30 maximal, 37
odd, 69 subpartition, 48
pentagon, 20 support of a plane map, 52
perfect symmetric difference, 28, 97
elimination scheme, 87 Szekeres, 143
graph, 93
terminus of walk, 32
matching, 95
theorem
permutation, 20, 45
Berge, 97
Petersen, 12
Brooks, 87
planar, 23, 52, 145
Dirac, 132, 136
plane map, 51
Erdős and Gallai, 66
points (of a plane map), 51
Euler, 140
Prim, 119
Four Color, 91
problem
Gallai & Roy, 88
Chinese postman, 142
Hall, 104
traveling salesman, 137
Havel and Hakimi, 66
proper subgraph, 24
Kőnig, 114
Qk , 12 Kőnig–Egerváry, 102
queen (chess), 10 Kuratowski, 146
Menger, 126, 130
radius, 123 Turán, 75
random, 57 Tutte, 107, 137
regular, 17 Tutte–Berge, 108
Robertson, 91, 93 Veblen, 140
rook (chess), 11 Vizing, 115
root of a tree, 45 Wagner, 146
Roy, 88 Thomas, 91, 93
topological minor, 48
saturated vertex, 95 trail, 32, 141
self-complementary, 62 traveling salesman, 137
separates, 32, 125, 129 tree, 45
separator, 129 triangle, 20
Seymour, 91, 93, 143 triangle inequality, 122
shortest path, 121 trivial cut, 27
simple graph, 8 TSP, 137
slither, 98 Turán, 75
spanning Tutte, 107, 137
subgraph, 24
tree, 117 union of graphs, 22
square, 20 unordered pair, 8
stability number, 71 uses k colors, 83
stable set, 71
VG , 8
FEOFILOFF INDEX 164
vertex, 8
cover, 81
isolated, 17
Wagner, 146
walk, 32, 141
closed, 33
from v to w, 32, 141
origin, 32
simple, 32
terminus, 32
weight of an edge, 109, 119
wheel, 22
Wilson, 115
words, 12
χ(G), 83
χ 0 (G), 111
Younger, 5