Trevisan, Luca , Sorkin, Gregory B. , Sudan, Madhu and Williamson, David P. (2000) Gadgets, approximation, and linear programming. Siam journal on computing, 29 (6). pp. 2074-2097. ISSN 0097-5397
Abstract
We present a linear programming-based method for finding "gadgets," i.e., combinatorial structures reducing constraints of one optimization problem to constraints of another. A key step in this method is a simple observation which limits the search space to a finite one. Using this new method we present a number of new, computer-constructed gadgets for several different reductions. This method also answers a question posed by Bellare, Goldreich, and Sudan [SIAM J. Comput., 27 (1998), pp. 804-915] of how to prove the optimality of gadgets: linear programming duality gives such proofs. The new gadgets, when combined with recent results of Håstad [Proceedings of the 29th ACM Symposium on Theory of Computing, 1997, pp. 1-10], improve the known inapproximability results for MAX CUT and MAX DICUT, showing that approximating these problems to within factors of 16/17+ ∊ and 12/13+ ∊ , respectively, is NP-hard for every ∊ > 0. Prior to this work, the best-known inapproximability thresholds for both problems were 71/72 (M. Bellare, O. Goldreich, and M. Sudan [SIAM J. Comput., 27 (1998), pp. 804-915]). Without using the gadgets from this paper, the best possible hardness that would follow from Bellare, Goldreich, and Sudan and Håstad is 18/19. We also use the gadgets to obtain an improved approximation algorithm for MAX3 SAT which guarantees an approximation ratio of .801.
| Item Type: | Article |
|---|---|
| Official URL: | http://www.siam.org/journals/sicomp.php |
| Additional Information: | © 2000 Society for Industrial and Applied Mathematics |
| Uncontrolled Keywords: | linear programming, algorithms, combinatorial optimization, electronic apparatus & appliances |
| Library of Congress subject classification: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
| Sets: | Research centres and groups > Management Science Group Departments > Management |
| Rights: | http://www.lse.ac.uk/library/rights/LSERO.htm |
| URL: | http://eprints.lse.ac.uk/35498/ |
Actions (login required)
 |
Record administration - authorised staff only |
