The.Algorithm.Design.Manual.Springer-Verlag.1998

The.Algorithm.Design.Manual.Springer-Verlag.1998 The.Algorithm.Design.Manual.Springer-Verlag.1998

18.04.2013 Views

Problems and Reductions can be made clear by an example. The traveling salesman problem is defined thus: Input: A weighted graph G. Output: Which tour minimizes ? Thus any weighted graph defines an instance of TSP. Each particular instance has at least one minimum cost tour. The general traveling salesman problem asks for an algorithm to find the optimal tour for all possible instances. Any problem with answers restricted to yes and no is called a decision problem. Most interesting optimization problems can be phrased as decision problems that capture the essence of the computation. For example, the traveling salesman decision problem can be defined thus: Input: A weighted graph G and integer k. Output: Does there exist a TSP tour with cost ? It should be clear that the decision version captures the heart of the traveling salesman problem, for if you had a program that gave fast solutions to the decision problem, you could do a binary search with different values of k to quickly hone in on the correct solution. Therefore, from now on we will talk only about decision problems, because it is easier to reduce one problem to another when the only possible answers to both are true or false. Next: Simple Reductions Up: Intractable Problems and Approximations Previous: Intractable Problems and Approximations Algorithms Mon Jun 2 23:33:50 EDT 1997 file:///E|/BOOK/BOOK3/NODE105.HTM (2 of 2) [19/1/2003 1:29:44]

Simple Reductions Next: Hamiltonian Cycles Up: Intractable Problems and Approximations Previous: Problems and Reductions Simple Reductions Since they can be used either to prove hardness or to give efficient algorithms, reductions are powerful tools for the algorithm designer to be familiar with. The best way to understand reductions is to look at some simple ones. ● Hamiltonian Cycles ● Independent Set and Vertex Cover ● Clique and Independent Set Algorithms Mon Jun 2 23:33:50 EDT 1997 file:///E|/BOOK/BOOK3/NODE106.HTM [19/1/2003 1:29:44]

Problems and Reductions<br />

can be made clear by an example. <strong>The</strong> traveling salesman problem is defined thus:<br />

Input: A weighted graph G.<br />

Output: Which tour minimizes ?<br />

Thus any weighted graph defines an instance of TSP. Each particular instance has at least one minimum cost tour. <strong>The</strong><br />

general traveling salesman problem asks for an algorithm to find the optimal tour for all possible instances.<br />

Any problem with answers restricted to yes and no is called a decision problem. Most interesting optimization problems can<br />

be phrased as decision problems that capture the essence of the computation. For example, the traveling salesman decision<br />

problem can be defined thus:<br />

Input: A weighted graph G and integer k.<br />

Output: Does there exist a TSP tour with cost ? It should be clear that the decision version captures the heart of the<br />

traveling salesman problem, for if you had a program that gave fast solutions to the decision problem, you could do a binary<br />

search with different values of k to quickly hone in on the correct solution.<br />

<strong>The</strong>refore, from now on we will talk only about decision problems, because it is easier to reduce one problem to another<br />

when the only possible answers to both are true or false.<br />

Next: Simple Reductions Up: Intractable Problems and Approximations Previous: Intractable Problems and<br />

Approximations<br />

<strong>Algorithm</strong>s<br />

Mon Jun 2 23:33:50 EDT 1997<br />

file:///E|/BOOK/BOOK3/NODE105.HTM (2 of 2) [19/1/2003 1:29:44]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!