Download 17_ the assignment problem

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Determinant wikipedia , lookup

Jordan normal form wikipedia , lookup

Matrix (mathematics) wikipedia , lookup

Singular-value decomposition wikipedia , lookup

Orthogonal matrix wikipedia , lookup

Perron–Frobenius theorem wikipedia , lookup

Matrix calculus wikipedia , lookup

Non-negative matrix factorization wikipedia , lookup

System of linear equations wikipedia , lookup

Cayley–Hamilton theorem wikipedia , lookup

Matrix multiplication wikipedia , lookup

Gaussian elimination wikipedia , lookup

Transcript
17
The Assignment Problem
Author:
Fred J. Rispoli, Department of Mathematics, Dowling College.
Prerequisites: The prerequisites for this chapter are matrices, permutations,
and basic concepts of graphs. See Sections 3.8, 5.3, 9.1, and 9.2 of Discrete
Mathematics and Its Applications.
Introduction
Consider the following problem: Given n workers (i = 1, 2, . . . , n) and n jobs
(j = 1, 2, . . . , n), and the cost cij to train the ith worker for the jth job, find
an assignment of one worker to each job which minimizes the total training
cost. This problem is an example of an assignment problem, which we will
define shortly. The assignment problem is particularly interesting because many
seemingly different problems may be solved as assignment problems. Moreover,
it is an important example of a combinatorial optimization problem; that is, a
problem that seeks the best possible arrangement of objects among a specified
set of many possible arrangements. Typically, the best possible arrangement
means an arrangement with the smallest total cost possible.
Let us begin by looking at some examples.
Example 1
Job Assignment
Suppose three workers must be assigned to
299
300
Applications of Discrete Mathematics
three jobs. The following matrix shows the cost of training each worker for each
job.
Job Number
1 2 3
⎞
⎛
1 5 7 9
Worker Number 2 ⎝ 14 10 12 ⎠.
3 15 13 16
One possible assignment is to assign worker 1 to job 2, worker 2 to job 1,
and worker 3 to job 3. This assignment has a total cost of 7 + 14 + 16 = 37. Is
this an assignment with minimal total cost? We will discover the answer later
in this chapter.
Example 2 The Marriage Problem
A pioneering colony of 10 bachelors
is joined by 10 prospective brides. After a short period of courting, it is decided
to have an immediate ceremony. Each bride is given a list of 10 names on which
she is to rank her preferences from 1 to 10; that is, she assigns 1 to her first
choice, 2 to her second choice, and so on. Let cij be the rank bride i gives to
bachelor j, and let M = {(1, j1 ), (2, j2 ), . . . , (10, j10 )} be a set of 10 marriages
n
where (i, ji ) pairs bride i with bachelor ji . Then we assume that i=1 ciji
constitutes a valid measure of the anticipated “happiness” of the colony under
the set of marriages M , in the sense that the smaller the sum, the happier the
colony. What set of 10 marriages maximizes the happiness of the colony?
Example 3 The Shortest Path Problem
Cargo must be delivered by
train from New York to Los Angeles. The train routes available are shown in
Figure 1, along with the time (in hours) required for each route. Notice that
the time depends on the direction since some routes are express routes while
others are not. What path from New York to Los Angeles gives the smallest
total delivery time?
Figure 1.
Train routes and times.
Chapter 17 The Assignment Problem
301
These problems are all examples of problems which may be solved as assignment problems. In this chapter we will derive an efficient algorithm for
solving assignment problems, and then discuss several problems which may be
solved using this algorithm. The assignment problem will then be described in
terms of graphs.
Solving Assignment Problems
Recall that a permutation of a set N = {1, 2, . . . , n} is a function σ : N → N
which is one-to-one and onto. For example, the function from {1, 2, 3, 4, 5}
to itself where σ(1) = 5, σ(2) = 4, σ(3) = 2, σ(4) = 1, and σ(5) = 3, is a
permutation which we denote 54213.
Definition 1
Given any n × n matrix C = [cij ], the assignment problem
specified by C is the problem of finding a permutation σ of {1, 2, . . . , n} that
minimizes
n
ciσ(i) .
z=
i=1
One method for solving assignment problems is to generate all n! permutations of {1, 2, . . . , n} (a method for doing this is given in Section 5.6 of Discrete
Mathematics and Its Applications), compute
z=
n
ciσ(i)
i=1
for each permutation σ, and then find a permutation on which the minimum of
z is attained.
Example 4
In the job assignment problem described in Example 1 of the
Introduction, there are 3! = 6 permutations:
σ1 = 123 cost: 31
σ2 = 132 cost: 30
σ3 = 213 cost: 37
σ4 = 312 cost: 36
σ5 = 231 cost: 34
σ6 = 321 cost: 34.
Thus, σ2 solves the problem and indicates that the best assignment is to assign
worker 1 to job 1, worker 2 to job 3, and worker 3 to job 2.
The above method is helpful only for n quite small, since one must check
all n! possibilities. In practice assignment problems often have n ≥ 30. If each
302
Applications of Discrete Mathematics
permutation can be generated in just 10−9 seconds, an assignment problem
with n = 30 would require at least 8 · 1015 years of computer time to solve by
generating all 30! permutations. Therefore a better method is needed.
Before developing a better algorithm, we need to set up a model for the
assignment problem. Let C = [cij ] be any n × n matrix in which cij is the cost
of assigning worker i to job j. Let X = [xij ] be the n × n matrix where
1 if row i is assigned to column j (that is,
xij =
worker i is assigned to job j)
0 otherwise
The assignment problem can then be expressed in terms of a function z as:
minimize z(X) =
n
n cij xij ,
i=1 j=1
subject to the constraints
n
j=1
n
xij = 1,
for i = 1, 2, . . . , n
(1)
xij = 1,
for j = 1, 2, . . . , n
(2)
i=1
Notice that condition (1) guarantees that each row subscript i is assigned to
exactly one column subscript. Condition (2) guarantees that each column subscript j is assigned to exactly one row subscript. Hence any matrix X satisfying
conditions (1) and (2) is called a solution and corresponds to a permutation σ
of N obtained by setting σ(i) = j if and only if xij = 1. Furthermore, if X is a
solution corresponding to σ, then
n
cij xij = ciσ(i) .
j=1
Summing over i from 1 to n, we obtain
n
i=1
ciσ(i) =
n
n cij xij .
i=1 j=1
Thus, any solution X on which z(X) is minimum is called an optimal solution. For instance, in Example 1 it was noted that the permutation σ2 given
by 132 gives the best possible assignment of workers to jobs for that assignment
problem. The permutation σ2 corresponds to the matrix
⎞
⎛
1 0 0
X∗ = ⎝ 0 0 1 ⎠ .
0 1 0
Chapter 17 The Assignment Problem
Since
303
⎞
5 7 9
C = ⎝ 14 10 12 ⎠ ,
15 13 16
⎛
we have
z(X∗ ) =
3
3 cij x∗ij = 5 + 12 + 13 = 30.
i=1 j=1
This model allows for the derivation of an efficient algorithm known as
the Hungarian method. The idea behind the Hungarian method is to try to
transform a given assignment problem specified by C into another one specified
= [
by a matrix C
cij ], such that cij ≥ 0, for all pairs i, j, where both problems
have the same set of optimal solutions. We then find a solution X∗ for which
z(X∗ ) =
n
n cij x∗ij = 0.
i=1 j=1
Since cij ≥ 0 (and hence z(X) ≥ 0 for all X), X∗ must be an optimal
and hence must also be an optimal
solution to the problem specified by C,
solution to the one specified by C. Theorem 1 describes how we can transform
a matrix into another one which has the same set of optimal solutions.
Theorem 1
A solution X is an optimal solution for
z(X) =
n
n cij xij
i=1 j=1
if and only if it is an optimal solution for
z(X) =
n
n cij xij
i=1 j=1
where cij = cij − ui − vj for any choice of (u1 , . . . , un ) and (v1 , . . . , vn ) where ui
and vj are real numbers for all i and j.
Proof: We
nwill show
nthat the functions z(X) and z(X) differ only by the
constant i=1 ui + j=1 vj .
304
Applications of Discrete Mathematics
z(x) =
=
=
=
n
n i=1 j=1
n
n i=1 j=1
n
n i=1 j=1
n
n cij xij
(cij − ui − vj )xij
cij xij −
cij xij −
i=1 j=1
= z(x) −
= z(x) −
n
n i=1 j=1
n
n ui xij −
ui xij −
i=1 j=1
n
i=1
n
ui
n
xij −
j=1
ui −
i=1
n
j=1
n
vj
n
n i=1 j=1
n
n vj xij
vj xij
j=1 i=1
n
xij
i=1
vj .
j=1
The last equation follows from conditions (1) and (2). This shows that
z(X) − z(X) =
n
i=1
ui +
n
vj .
j=1
Thus, a solution X minimizes z(X) if and only if it minimizes z(X).
To describe an optimal solution in terms of entries of a matrix the following
notion of independent entries is needed. A set of entries of any matrix A is said
to be independent if no two of them are in the same row or column.
Example 5
Apply Theorem 1 to the matrix given in Example 1 to obtain
a new matrix with all nonnegative entries, which contains an independent set
of three zeros and has the same set of optimal solutions as the original matrix.
Solution:
Let
⎛
⎞
5 7 9
C = ⎝ 14 10 12 ⎠ .
15 13 16
Subtract from each entry in each row the smallest entry in that row; that is,
let u1 = 5, u2 = 10, u3 = 13, and v1 = v2 = v3 = 0. This gives the matrix
⎞
⎛
0 2 4
⎝4 0 2⎠.
2 0 3
Chapter 17 The Assignment Problem
305
The new matrix has an independent set of two zeros, but we need three. Next,
subtract from each entry in each column the smallest entry in that column, that
is, let u1 = u2 = u3 = 0, v1 = v2 = 0, and v3 = 2. This gives
⎛
0∗
C=⎝ 4
2
2
0
0∗
⎞
2
0∗ ⎠ .
1
form an independent set of three zeros. By Theorem 1
The starred entries in C
applied twice, C and C have the same set of optimal solutions.
We are interested in obtaining a matrix with nonnegative entries with an
independent set of three zeros because it is easy to obtain an optimal solution
from such a matrix, as Example 6 illustrates.
Example 6
Solve the assignment problem specified by
⎛
⎞
5 7 9
C = ⎝ 14 10 12 ⎠ ,
15 13 16
by obtaining an optimal solution to the problem specified by
⎛
0∗
⎝
4
C=
2
Solution:
2
0
0∗
⎞
2
0∗ ⎠ .
1
Define the solution
⎛
1 0
X∗ = ⎝ 0 0
0 1
⎞
0
1⎠.
0
since z(X∗ ) = 0 and
Then X∗ solves the assignment problem specified by C
z(X) ≥ 0 for any other solution X. By Example 5, X∗ is also an optimal
solution to the assignment problem specified by C. Note that X∗ corresponds
to the permutation 132.
The method used to obtain an optimal solution to the assignment problem
in Example 6 is generalized in Theorem 2.
specified by C
306
Applications of Discrete Mathematics
Theorem 2
If C = [cij ] satisfies cij ≥ 0 for all i and j (1 ≤ i ≤ n, 1 ≤
j ≤ n), and {c1j1 , c2j2 , . . . , cnjn } is an independent set of n zeros in C, then
X∗ = [x∗ij ] where x∗1j1 = 1, x∗2j2 = 1, . . . , x∗njn = 1, and x∗ij = 0 for any other i
and j, is an optimal solution to the assignment problem specified by C.
Proof: We must show that for any solution X, z(X) ≥ z(X∗ ). To see this,
observe that
n
n z(X∗ ) =
cij x∗ij
i=1 j=1
=
n
i=1
ciji x∗iji
= 0.
The second step follows from the definition of X∗ , and the last step follows
since ciji = 0 for all i. Since z(X) ≥ 0 for all solutions X, z(X) ≥ z(X∗ ), so X∗
is an optimal solution.
The objective of the Hungarian method is to use Theorem 1 to transform a
having the same set of optimal solutions as C,
matrix C into another matrix C,
such that C contains an independent set of n zeros. Then, using Theorem 2,
an optimal solution to both problems can be obtained.
Example 7
Use Theorem 1 to transform
⎛
⎞
0
1 6
C = ⎝ 2 −7 3 ⎠
−5 3 4
into a matrix with nonnegative entries containing an independent set of 3 zeros.
Then use Theorem 2 to obtain an optimal solution to the assignment problem
specified by C.
Solution: Let u1 = 0, u2 = −7, u3
Theorem 1 to obtain the matrix
⎛
0
⎝9
0
= −5, and v1 = v2 = v3 = 0. Then apply
1
0
8
⎞
6
10 ⎠ ,
9
which has the same set of optimal solutions as C. This matrix does not have
an independent set of 3 zeros. Letting u1 = u2 = u3 = v1 = v2 = 0 and v3 = 6
gives
⎞
⎛
0 1 0∗
= ⎝ 9 0∗ 4 ⎠ ,
C
0∗ 8 3
Chapter 17 The Assignment Problem
307
which also has the same set of optimal solutions as C. By Theorem 2,
⎛
0
X∗ = ⎝ 0
1
⎞
0 1
1 0⎠
0 0
hence to the problem C. Note that X∗
is an optimal solution to the problem C,
corresponds to the permutation 321.
in the solution of Example 7 is called a reduced matrix for C,
The matrix C
which we shall now define.
Definition 2
Given any n × n matrix C = [cij ], let
ui = minimum {ci1 , ci2 , . . . , cin }, for i = 1, 2, . . . , n,
vj = minimum {c1j − u1 , c2j − u2 , . . . , cnj − un }, for j = 1, 2, . . . , n.
= [
cij = cij − ui − vj for all pairs i and j is
The n × n matrix C
cij ] given by called the reduced matrix for C.
In words, a reduced matrix is obtained by first subtracting from each row
the smallest entry in each row and then subtracting from each column the smallest entry in each column. By Theorem 1, the assignment problems specified
both have the same set of optiby a matrix C and by its reduced matrix C
mal solutions. Observe that all entries in the reduced matrix are nonnegative.
However, the reduced matrix may not contain an independent set of n zeros.
Example 8
Determine the reduced matrix for
⎛
2
C = ⎝4
2
⎞
5 7
2 1⎠.
6 5
Solution: The values of u1 , u2 , u3 , v1 , v2 , and v3 , as defined in the definition
of the reduced matrix are u1 = 2, u2 = 1, u3 = 2, and v1 = 0, v2 = 1, and
v3 = 0. Therefore, the reduced matrix is
⎛
0
= ⎝3
C
0
⎞
2 5
0 0⎠.
3 3
308
Applications of Discrete Mathematics
in the solution of Example 8 does not contain an independent
The matrix C
set of three zeros. To obtain a new matrix having the same optimal solutions
but containing more zeros, draw a set of lines through the rows and
as C,
using as few lines as possible so that there is at least one line
columns of C
through every zero. This gives
⎛
⎞
0 2 5
= ⎝3 0 0⎠.
C
0 3 3
Observe that the minimum number of lines needed to cover all zeros is
equal to the maximum number of independent zeros. Theorem 3, which we
will need in order to show that the Hungarian method terminates after a finite
number of steps, shows that this fact is true in general.
Theorem 3
The maximum number of independent zeros in a matrix is equal
to the minimum number of lines needed to cover all zeros in the matrix.
The proof is beyond the scope of the book. For a proof of Theorem 3, see [4]
in the suggested readings.
Example 9
Use Theorem 1 to transform the reduced matrix
⎛
⎞
0 2 5
= ⎝3 0 0⎠
C
0 3 3
from Example 8 into a matrix with nonnegative entries containing an independent set of three zeros.
the smallest entry not covered
Solution: First, subtract from every entry in C
by any line (which is 2). This is the transformation with u1 = u2 = u3 = 2 and
v1 = v2 = v3 = 0, and gives the matrix
⎞
⎛
−2 0
3
⎝ 1 −2 −2 ⎠ .
−2 1
1
Next, add 2 to every entry in every row and column covered by one line,
and add 2 twice to any entry covered by two lines (note that the (2, 1)entry
has 2 added to it twice, since it was covered twice). This is the transformation
u1 = u3 = v2 = v3 = 0 and u2 = v1 = 2, and gives the matrix
⎛
⎞
0 0∗ 3
⎝ 5 0 0∗ ⎠
0∗ 1 1
which contains an independent set of three zeros.
Chapter 17 The Assignment Problem
309
The Hungarian Method
We will now display the algorithm called the Hungarian method. We shall
assume that the costs cij are integers. To begin the algorithm, given an n × n
for C; that is, subtract from each
matrix C, first obtain the reduced matrix C
entry of each row the smallest entry in that row. Then do the same for columns.
Next perform the following two steps:
(i) Find a maximal independent set of zeros. If this set has n elements,
an optimal solution is available. Otherwise go to step (ii).
(ii) Find a set of lines that cover all zeros using the smallest possible
number of lines. Let k be the smallest entry not covered. Subtract
k from each entry not covered by any line, and add k to each entry
covered twice. Repeat step (i).
Algorithm 1 gives the pseudocode description of the Hungarian method.
Applying step (ii) of the algorithm produces a new matrix with the same
set of optimal solutions as the original matrix, since step (ii) is equivalent to
first subtracting k from every entry in the matrix, and then adding k to every
entry covered by a line. Subtracting k from every entry is the transformation
ui = k, for all i, and vj = 0, for all j. By Theorem 1, this does not change
the set of optimal solutions. Adding k to every entry covered by a line is the
transformation
−k if there is a line through row i
ui =
0 otherwise
vj = −k if there is a line through column j
0 otherwise.
Again by Theorem 1, this does not change the set of optimal solutions.
We now show that the algorithm must terminate after a finite number of
steps. (We leave it as Exercise 13 to show that, after performing the initial
step, all entries in the reduced matrix are nonnegative.) We will show that
the sum of all entries in the matrix decreases by at least 1 whenever step (ii) is
performed. Clearly, if the sum of all entries is zero, then all entries in the matrix
are zero and an independent set of n zeros exists. Thus, if the algorithm did
not terminate, the sums of all matrix entries would give an infinite decreasing
sequence of positive integers, which is impossible.
Step (ii) is performed only when no independent set of n zeros exists. Thus,
if q is the minimum number of lines needed to cover all zeros, then Theorem 3
implies that q < n. Subtracting k from each entry subtracts kn2 from the sum
of entries, since there are n2 entries in the matrix. Adding k to each covered
entry adds qkn to the sum of entries, since there are q lines and n entries on
each line. Therefore the net change in the sum of entries is −kn2 + qkn. But
−kn2 + qkn = kn(−n + q) < 0, since q < n. Since k, q, and n are all integers,
the sum of all entries must decrease by at least 1.
310
Applications of Discrete Mathematics
ALGORITHM 1.
Hungarian Method
procedure Hungarian (C: n × n matrix of integers) for i :=
1 to n
begin
ui := smallest integer in row i of C
for j := 1 to n
cij := cij − ui
end
for j := 1 to n
begin
vj := smallest integer in column j of C
for i := 1 to n
cij − vj
cij := end
is now the reduced matrix}
{C
S := an independent set of zeros of maximal size in C
q := |S|
while q < n
begin
cover (C)
not covered by a line
k := smallest entry in C
for i := 1 to n
for j := 1 to n
begin
if cij is not covered then cij := cij − k
if cij
is covered twice then cij := cij + k
end
q :=
S := an independent set of zeros of maximal size in C
|S|
end for i := 1 to n
for j := 1 to n
if cij ∈ S then x∗ij := 1 else x∗ij := 0
∗
{X = [x∗ij ] is an optimal solution}
Exercise 17 shows that the number of iterations is O(n2 ). To compare the
Hungarian method to the exhaustive search method mentioned above, suppose
that each iteration can be performed in one second. Then an assignment problem with n = 30 can be solved in at most 302 = 900 seconds, or 15 minutes of
Chapter 17 The Assignment Problem
311
computer time.
The following example illustrates how the Hungarian method works.
Example 10
A foreman has five workers and five jobs to complete. The
time in hours each worker needs to complete each job is shown in the following
table.
Job 1 Job 2 Job 3 Job 4 Job 5
Worker
Worker
Worker
Worker
Worker
1
2
3
4
5
3
2
7
5
8
4
5
9
3
9
8
3
1
4
7
7
2
8
6
5
8
6
3
6
8
How should the foreman make an assignment of one worker to each job so that
the total time is minimized?
Solution:
Let
⎛
3
⎜2
⎜
C = ⎜7
⎝
5
8
The reduced matrix is
⎛
0
⎜0
⎜
⎜6
⎝
2
3
1
3
8
0
4
4
5
9
3
9
5
1
0
1
2
8
3
1
4
7
4
0
7
3
0
7
2
8
6
5
⎞
8
6⎟
⎟
3⎟.
⎠
6
8
⎞
3
2⎟
⎟
0⎟.
⎠
1
1
The minimum number of lines needed to cover all zeros of this matrix is four.
For example, lines through row 3 and through columns 1, 2 and 4 will cover all
zeros. Since we need an independent set of 5 zeros, step (ii) must be performed.
This gives the matrix
⎛ ∗
⎞
0
1 4 4 2
∗
1 ⎟
⎜0 3 0 0
⎜
⎟
⎜ 7 9 0∗ 8 0 ⎟ .
⎝
⎠
∗
0 3 0
2 0
∗
3 4 1 0 0
The starred entries indicate one possible independent set of five zeros. Thus an
312
Applications of Discrete Mathematics
optimal solution is
⎛
1
⎜0
⎜
X∗ = ⎜ 0
⎝
0
0
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
⎞
0
0⎟
⎟
0⎟,
⎠
0
1
which corresponds to the permutation 14325. An optimal job assignment is to
assign Worker 1 to Job 1, Worker 2 to Job 4, Worker 3 to Job 3, Worker 4 to
Job 2, and Worker 5 to Job 5.
Example 11
Find a path which minimizes total delivery time from New
York to Los Angeles in the shortest path problem given in Figure 1.
Solution: We solve the assignment problem specified by the following matrix.
Exercise 16 shows that any optimal solution of this assignment problem will
find a path which minimizes total delivery time. We assign a time of 100 hours
to any route joining a pair of cities for which there is no train route. The choice
of 100 prohibits such a route from occurring as part of an optimal solution.
This is because the path
New York → Dallas → Los Angeles
is a path with total time 74 hours. Hence, any path which minimizes total
delivery time can have a total time of at most 74 hours, so any route requiring
more than 74 hours can not be part of an optimal solution.
NY
Bos
Chi
Dal
Den
SF
Bos Chi
Dal
Den S F L A
6
0
100
100
100
100
34
100
20
0
100
100
100
100
15
100
0
26
25
18
0
18
15
100
By applying the Hungarian method, the
⎛
1 0 0 0
⎜0 1 0 0
⎜
⎜0 0 0 1
X∗ = ⎜
⎜0 0 1 0
⎝
0 0 0 0
0 0 0 0
100
100
100
100
20
0
100
100
50
40
100
6
optimal solution
⎞
0 0
0 0⎟
⎟
0 0⎟
⎟
0 0⎟
⎠
1 0
0 1
is obtained (details are left as Exercise 5). This matrix shows that the shortest
path is
Chapter 17 The Assignment Problem
Figure 2.
313
Job assignments.
N Y → Bos → Chi → Den → S F → L A.
(Note that the path does not pass through Dallas.)
The Hungarian method was discovered in 1955 by Harold Kuhn* of the
Mathematics and Economics Departments of Princeton University (see [3] in
the suggested readings for the original paper). The algorithm is called the
“Hungarian” method in honor of Denes König**, who, in 1931, discovered Theorem 3. There are other efficient algorithms for solving the assignment problem.
For example, [1] in the suggested readings describes an algorithm based on the
degrees of vertices of certain spanning trees of Kn,n , the complete bipartite
graph.
Perfect Matching Problems
Suppose four workers must be assigned to four jobs. The jobs that each worker
can perform are indicated by an edge of the graph given in Figure 2. Is it
possible to assign workers to jobs so that each worker is assigned one job and
each job is assigned to one worker?
This problem may also be stated in terms of graphs. We need the following
definition.
* Harold Kuhn (1925– ) is an American mathematician who obtained his Ph.D.
from Princeton University. Kuhn has made many fundamental contributions to the
field of linear programming and is most famous for the Kuhn-Tucker conditions which
characterize the set of optimal solutions of a linear program.
** Denes König (1884–1944) was a Hungarian mathematician. He is known as one
of the pioneers of graph theory and is most famous for his work in matching theory.
314
Applications of Discrete Mathematics
Definition 3
Let G = (V, E) be any bipartite graph with V = V1 ∪ V2 . A
subset of edges M contained in E is called a perfect matching if every vertex
in V is contained in exactly one edge of M .
For example, the bipartite graph given in Figure 3a contains the perfect
matching given in Figure 3b.
Figure 3.
A bipartite graph and a perfect matching.
The problem stated in the beginning of this section may now be stated as
follows. Does there exist a perfect matching in the graph given in Figure 2? The
problem of determining if a given bipartite graph contains a perfect matching
was solved by Georg Frobenius* who proved the well known “Marriage Theorem”. To state this theorem we will use the following notation: for any subset W
contained in V1 let R(W ) denote the set of vertices in V2 adjacent to a vertex
in W .
Theorem 4 Frobenius Marriage Theorem
A bipartite graph G = (V, E)
with V = V1 ∪ V2 has a perfect matching if and only if |V1 | = |V2 | and for every
subset W contained in V1 , |R(W )| ≥ |W |.
The proof of Theorem 4 may be obtained by applying Theorem 3. The
details are left for Exercises 18 and 19.
Example 12
matching.
Determine if the graph given in Figure 2 contains a perfect
Solution: Let W = {Worker 1, Worker 2, Worker 3}. Then R(W ) = {Job 1,
Job 3}. Since |R(W )| = 2 and |W | = 3, Theorem 4 implies that the graph
given in Figure 2 does not contain a perfect matching.
* Georg Frobenius (1848–1917) was a German mathematician who attended schools
in Göttingen and Berlin. He was a professor of mathematics at both the University
of Berlin and the Eidgenossische Polytechnikum in Zurich. Frobenius is best known
for his contributions to algebra, particularly in group theory.
Chapter 17 The Assignment Problem
315
The weight of any perfect matching M is the sum of the weights of the
edges in M . Many matching problems involve searching a weighted bipartite
graph for a perfect matching which has the smallest possible weight.
Example 13
Suppose three workers must be assigned to three jobs. The
graph given in Figure 4 indicates the cost of training each worker for each job.
How should the workers be assigned to jobs so that each worker is assigned one
job, each job is assigned one worker, and the total training cost is minimized?
Figure 4.
Training costs.
Solution: We solve the problem by listing the set of all perfect matches along
with their weights:
M1 = {{1, 1}, {2, 2}, {3, 3}} weight: 31
M2 = {{1, 1}, {2, 3}, {3, 2}} weight: 30
M3 = {{1, 2}, {2, 1}, {3, 3}} weight: 37
M4 = {{1, 3}, {2, 1}, {3, 2}} weight: 36
M5 = {{1, 2}, {2, 3}, {3, 1}} weight: 34
M6 = {{1, 3}, {2, 2}, {3, 1}} weight: 34
This shows that M2 is the perfect matching with the smallest possible
weight. Thus Worker 1 should be assigned to Job 1, Worker 2 should be assigned
to Job 3, and Worker 3 should be assigned to Job 2.
The reader should compare the perfect matches listed in the solution to
Example 13 and the permutations σ1 , . . . , σ6 listed in Example 4. Note that
the permutation σ1 given by σ1 (1) = 1, σ1 (2) = 2, and σ1 (3) = 3, corresponds
to the perfect matching M1 , which matches 1 to 1, 2 to 2, and 3 to 3. The
permutation σ2 given by σ2 (1) = 1, σ2 (2) = 3, and σ2 (3) = 2, corresponds to
316
Applications of Discrete Mathematics
the perfect matching M2 which matches 1 to 1, 2 to 3, and 3 to 2. Similarly
the permutations σ3 , σ4 , σ5 , and σ6 correspond to the perfect matches M3 ,
M4 , M5 , and M6 respectively. Therefore, solving Example 13 is equivalent to
solving the assignment problem specified by
⎞
⎛
5 7 9
C = ⎝ 14 10 12 ⎠
15 13 16
solved earlier. This is not a coincidence. Given any weighted complete bipartite graph Kn,n , any perfect matching M corresponds to a permutation σ of
{1, 2, . . . , n} defined by σ(i) = j if and only if edge {i, j} ∈ M . Moreover, if
the weight of edge {i, j} is cij , then
weight of M =
n
ciσ(i) .
i=1
Thus, finding a perfect matching of minimum weight in a complete bipartite
graph is equivalent to solving the assignment problem specified by C = [cij ].
In fact, finding a perfect matching with the smallest possible weight is simply
a search for the best possible assignment of the vertices in V1 to those in V2 .
Example 14
Find a perfect matching with the smallest possible weight for
the graph given in Figure 5.
Figure 5.
Solution:
by
A weighted graph.
The problem is solved by solving the assignment problem specified
⎛
3
⎝9
5
⎞
8 2
1 1⎠.
4 9
Applying the Hungarian method gives the reduced matrix
⎛ ∗
⎞
0
6 0
⎝ 7 0 0∗ ⎠
0 0∗ 5
Chapter 17 The Assignment Problem
317
which contains an independent set of 3 zeros. An optimal solution is
⎛
⎞
0
1⎠
0
1 0
⎝0 0
0 1
which corresponds to the perfect matching M = {{1, 1}, {2, 3}, {3, 2}}.
Suggested Readings
1. M. Balinski, “Signature Methods for the Assignment Problem”, Operations
Research, Vol. 33, 1985, pp. 527–536.
2. D. Gale and L. Shapley, “College Admissions and the Stability of Marriage”,
American Mathematical Monthly 69, 1962, pp. 9–15.
3. H. Kuhn, “The Hungarian Method for the Assignment Problem” Naval
Res. Logist. Quart., Vol. 2, 1955, pp. 83–97.
4. M. Hall, Combinatorial Theory, Second Edition, John Wiley & Sons, Hoboken, N.J., 1998.
Exercises
In Exercises 1–4, solve the assignment problem specified by the given matrix.
1.
⎛
5
⎜2
⎝
3
4
2.
⎛
6
⎜6
⎝
6
5
8
6
9
7
3
1
4
2
⎞
9
9⎟
⎠.
8
9
2
7
3
4
5
1
4
3
⎞
8
6⎟
⎠.
7
5
318
Applications of Discrete Mathematics
3.
⎛
7
⎜1
⎜
⎜9
⎜
⎜4
⎝
5
3
4.
5
2
9
7
3
2
9
4
8
5
7
2
7
1
8
6
4
1
8
3
9
3
3
2
⎞
6
1⎟
⎟
3⎟
⎟.
4⎟
⎠
5
1
⎛
−6 3 1 0 4
⎜ 5 −3 8 4 5
⎜
⎜ −5 4 9 8 9
⎜
7 5 −8 0
⎜ 3
⎝
7
2 6 5 7
−3 0 2 −1 3
⎞
6
3⎟
⎟
3⎟
⎟.
9⎟
⎠
6
4
5. Solve the assignment problem specified by the matrix in the solution to
Example 11.
6. The coach of a certain swim team needs to assign swimmers to a 200-yard
medley relay team . Most of his swimmers are quite fast in more than
one stroke, so it is not clear which swimmer should be assigned to each of
the four strokes. The four fastest swimmers and the best times they have
achieved in each of the strokes, for 50 yards, are
Stroke
Backstroke
Breaststroke
Butterfly
Freestyle
Ken
Rob
Mark
David
39.3
34.2
29.5
28.7
33.6
41.8
30.6
27.6
34.0
38.7
33.1
30.3
35.6
33.7
31.8
29.3
How should the coach assign the four swimmers to the four different strokes
to minimize the sum of the corresponding best times?
7. Find a set of marriages which maximizes the “happiness” of the following
colony of 6 prospective brides and 6 bachelors, where the rating of the
bachelors by the brides is given in the following table.
Jane
Mary
Carol
Jessica
Dawn
Lisa
John
Bill
Joe
Al
Bud
Hal
3
2
2
1
5
4
4
5
3
2
4
3
1
3
1
5
2
6
2
6
5
6
1
2
5
4
3
3
6
1
6
1
6
4
3
5
Chapter 17 The Assignment Problem
319
8. The following figure indicates available train routes along with the time
required to travel the route. Find a route from Boston to San Francisco
which minimizes total time required.
9. Determine which of the following bipartite graphs contain a perfect matching. List the edges in a perfect matching for those graphs that contain one,
and show that Frobenius’ Marriage Theorem does not hold for those graphs
that do not contain a perfect matching.
a)
b)
c)
10. Find a perfect matching with the smallest possible weight in the following
weighted graph. The weights of the edges are given in the following table.
320
Applications of Discrete Mathematics
V2
V1
11.
1
2
3
4
1
2
3
4
3
2
6
4
6
5
2
3
8
6
5
5
3
7
9
2
a) Construct a 5×5 matrix C such that the assignment problem specified
by C has more than one optimal solution.
b) Construct a 5×5 matrix C such that the assignment problem specified
by C has a unique optimal solution.
12. Show that any permutation of {1, 2, 3, 4} solves the assignment problem
specified by
⎞
⎛
1 2 3 4
⎜ 5 6 7 8 ⎟
⎠.
⎝
9 10 11 12
13 14 15 16
13. Explain why the entries in the reduced matrix are nonnegative, even if the
original costs are negative.
14. Given any n × n matrix C, describe how the Hungarian Method may be
used to solve an assignment
n problem in which we seek a permutation σ of
{1, 2, . . . , n} such that i=1 ciσ(i) is maximum.
n
15. Use Exercise 14 to find a permutation which maximizes i=1 ciσ(i) , where
C is the matrix given in Exercise 3.
16. Show that any optimal solution to the assignment problem specified by
the matrix given in Example 11 finds a path from New York to Los An∗
geles which minimizes total delivery time.
n Hint: Suppose σ is an optimal
solution and P is a path shorter than i=1 ciσ∗ (i) .
17. Show that the Hungarian Method uses O(n2 ) iterations to find an optimal
solution of an assignment problem.
Chapter 17 The Assignment Problem
321
A vertex cover Q of the edges of a graph G is a set of vertices such that each
edge of G contains at least one vertex in Q.
18. Show that in a bipartite graph G = (V, E) the maximum number of edges
in a matching is equal to the minimum number of vertices in a vertex cover.
Hint: Use Theorem 3.
19. Use Exercise 18 to prove Theorem 4.
Suppose that in a community of n bachelors together with n prospective brides
each person ranks those of the opposite sex in accordance with his or her
preferences for a marriage partner. A set of n marriages is called unstable if
among the n marriages there are a man and a woman who are not married to
each other, but prefer each other to the person they are married to; otherwise
the set of marriages is called stable. (For a complete discussion of stable
marriages see [2] in the suggested readings.)
20. If the first number of the following table gives the preferences of women by
the men and the second number gives the preferences of men by the women,
find a stable set of 4 marriages.
Susan Colleen Nancy
David
Richard
Paul
Kevin
1,1
2,3
1,4
3,2
2,3
1,4
4,1
1,2
3,2
3,1
2,3
4,4
Dawn
4,1
4,4
3,3
2,2
21. Prove that in any community of n men and n women there always exists a
stable set of n marriages. Hint: Construct an iterative procedure for finding
a stable set of n marriages.
Computer Projects
1. Write a program that inputs a 5 × 5 matrix C and solves the assignment
problem specified by C by generating all the permutations of {1, 2, 3, 4, 5}.
2. Write a program that inputs a 5 × 5 matrix C and finds an independent set
of zeros of maximum size in C.