Matching and Covering: August 31, 2014 18:46 WSPC/Book Trim Size For 9in X 6in Bgtbook Saidur
Matching and Covering: August 31, 2014 18:46 WSPC/Book Trim Size For 9in X 6in Bgtbook Saidur
Chapter 5
5.1 Matching
f f
a g
a
d e d
e
(a) (b)
71
August 31, 2014 18:46 WSPC/Book Trim Size for 9in x 6in bgtbook˙saidur
Fig 5.1(b), since all vertices are saturated. A complete graph of odd vertices
does not have a perfect matching, but a complete graph of even vertices
always has a perfect matching. A graph may have many perfect matchings.
For example, Kn,n has n! perfect matchings. The bipartite graph in Fig. 5.2
has unique perfect matching.
b c b c
(a) (b)
b c
i
g
d
a
f h
e
Fact 5.1.1 and Lemma 5.1.3 immediately prove the following theorem
due to Berge [Ber57].
(a) (b)
5.3 Covers
equipment in road crossings of a city in such a way that every road has
a check post. In a graph model of the city, where each vertex represents
a road crossings and each edge represents a road, a vertex cover gives a
feasible solution for the locations of police check posts. If the government
wishes to minimize the number of police checkposts for budget constraint,
a minimum vertex cover gives a feasible solution.
b e
c
f
a
g
d i
h
If we delete the vertex x from the graph in Figure 5.8(a) then we get
two odd components. Taking S = {x}, the graph violates the condition
in Theorem 5.5.1, and hence it has a 1-factor. However the graph in Fig-
ure 5.8(b) satisfies the condition in Theorem 5.5.1 and it has a 1-factor as
shown by thick edges.
We now see some applications of Theorem 5.5.1. The next theorem
gives a necessary and sufficient condition for a tree to have a 1-factor, and
the proof presented here is due to Amahashi [AK11, Ama85].
Exercise
f
c
b i g
a d h
j
e
k
l
f f
c c
b i g b i g
a d h a d h
j j
e e
k k
l l
f
c
b i g
a d h
j
e
k
l
f
c
b i g
a d h
j
f f
e
c c k
b b l
i g i g
f
a d h a d h c
j j
b i g
e e
k k
l l a d h
j
e
k
l
f
c
b i g
a d h
j
e
k
l
f
c
b i g
a d h
j
e
k
l
f f
c c
b b i g
i g
a h a d h
d j
j
e e
k k
l l
f
c
b i g
a d h
j
e
k
l
(a)
(b)
Fig. 5.8 (a) A graph violating the condition in Theorem 5.5.1 and (b) a graph violating
the condition in Theorem 5.5.1