Reductions
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.
CS409 - Spring 2000
1