Book contents
- Frontmatter
- Contents
- Preface
- I An Introduction to the Techniques
- II Further Uses of the Techniques
- 9 Further Uses of Greedy and Local Search Algorithms
- 10 Further Uses of Rounding Data and Dynamic Programming
- 11 Further Uses of Deterministic Rounding of Linear Programs
- 12 Further Uses of Random Sampling and Randomized Rounding of Linear Programs
- 13 Further Uses of Randomized Rounding of Semidefinite Programs
- 14 Further Uses of the Primal-Dual Method
- 15 Further Uses of Cuts and Metrics
- 16 Techniques in Proving the Hardness of Approximation
- 17 Open Problems
- Appendix A Linear Programming
- Appendix B NP-Completeness
- Bibliography
- Author Index
- Subject Index
16 - Techniques in Proving the Hardness of Approximation
from II - Further Uses of the Techniques
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- I An Introduction to the Techniques
- II Further Uses of the Techniques
- 9 Further Uses of Greedy and Local Search Algorithms
- 10 Further Uses of Rounding Data and Dynamic Programming
- 11 Further Uses of Deterministic Rounding of Linear Programs
- 12 Further Uses of Random Sampling and Randomized Rounding of Linear Programs
- 13 Further Uses of Randomized Rounding of Semidefinite Programs
- 14 Further Uses of the Primal-Dual Method
- 15 Further Uses of Cuts and Metrics
- 16 Techniques in Proving the Hardness of Approximation
- 17 Open Problems
- Appendix A Linear Programming
- Appendix B NP-Completeness
- Bibliography
- Author Index
- Subject Index
Summary
For this penultimate chapter, we turn from techniques for designing good approximation algorithms to techniques for proving that problems are hard to approximate within certain factors. Our coverage of this topic will be relatively brief: indeed, another book could be written on this subject alone.
We will look at several ways in which these results are proven. First, we start with reductions from NP-complete problems. We have already seen a few examples of such reductions in this book; for example, in Theorem 2.4, we showed that there is no α-approximation algorithm for the k-center problem for α < 2 unless P = NP, and in Theorem 2.9 we argued that there is no O(2n)-approximation algorithm for the general case of the traveling salesman problem unless P = NP. Second, we will look at reductions that preserve approximation; these are reductions from a problem Π to another problem Π′ such that if there is an approximation algorithm with performance guarantee α for problem Π′, then there is an approximation algorithm with performance guarantee f(α) for problem Π, where f is some function. These results yield hardness theorems via the contrapositive: if there is no f(α)-approximation algorithm for problem Π unless P = NP, then there is no α-approximation algorithm for problem Π′ unless P = NP. Third, we will turn to a definition of NP in terms of probabilistically checkable proofs, or PCPs. These PCPs allow us to prove hardness of approximation results for a number of particular constraint satisfaction problems.
- Type
- Chapter
- Information
- The Design of Approximation Algorithms , pp. 409 - 452Publisher: Cambridge University PressPrint publication year: 2011