|
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
| • |
Informally,
we say problem A
|
|
|
reduces to problem B
|
|
|
(A £
B) if an instance of A
|
|
|
can
be solved by
|
|
|
|
– |
Calling
a subroutine that
|
|
|
|
can
solve B
|
|
|
|
– |
Doing a
small amount of
|
|
|
|
additional
work before
|
|
|
|
and/or
after calling B
|
|
|
|
 |
 |
 |
 |
 |
 |
SolveA(InstanceOfA):
|
|
|
Use InstanceOfA to build an
|
|
|
InstanceOfB;
|
|
|
s = SolveB(InstanceOfB);
|
|
|
Use s to build solution for
|
|
|
|
InstanceOfA;
|
|
|
return solution;
|
|
|
end.
|
|
|
|