Lectures on Proof Verification and Approximation Algorithms [1 ed.] 3540642013, 9783540642015
During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several
269 96 233KB
English Pages 348 [337] Year 1998
Table of contents :
Introduction to the theory of complexity and approximation algorithms....Pages 5-28
Introduction to randomized algorithms....Pages 29-39
Derandomization....Pages 41-61
Proof checking and non-approximability....Pages 63-82
Proving the PCP-Theorem....Pages 83-160
Parallel repetition of MIP(2,1) systems....Pages 161-177
Bounds for approximating MaxLinEq3-2 and MaxEkSat....Pages 179-211
Deriving non-approximability results by reductions....Pages 213-233
Optimal non-approximability of MaxClique....Pages 235-248
The hardness of approximating set cover....Pages 249-262
Semidefinite programming and its applications to approximation algorithms....Pages 263-298
Dense instances of hard optimization problems....Pages 299-311
Polynomial time approximation schemes for geometric optimization problems in euclidean metric spaces....Pages 313-323
Introduction to the theory of complexity and approximation algorithms....Pages 5-28
Introduction to randomized algorithms....Pages 29-39
Derandomization....Pages 41-61
Proof checking and non-approximability....Pages 63-82
Proving the PCP-Theorem....Pages 83-160
Parallel repetition of MIP(2,1) systems....Pages 161-177
Bounds for approximating MaxLinEq3-2 and MaxEkSat....Pages 179-211
Deriving non-approximability results by reductions....Pages 213-233
Optimal non-approximability of MaxClique....Pages 235-248
The hardness of approximating set cover....Pages 249-262
Semidefinite programming and its applications to approximation algorithms....Pages 263-298
Dense instances of hard optimization problems....Pages 299-311
Polynomial time approximation schemes for geometric optimization problems in euclidean metric spaces....Pages 313-323
![Lectures on Proof Verification and Approximation Algorithms [1 ed.]
3540642013, 9783540642015](https://ebin.pub/img/200x200/lectures-on-proof-verification-and-approximation-algorithms-1nbsped-3540642013-9783540642015.jpg)
- Author / Uploaded
- Thomas Jansen (auth.)
- Ernst W. Mayr
- Hans Jürgen Prömel
- Angelika Steger (eds.)
- Similar Topics
- Computers
- Algorithms and Data Structures
![Approximation algorithms [Corrected]](https://ebin.pub/img/200x200/approximation-algorithms-corrected.jpg)
![Lectures on deformations of singularities (Tata Lectures on Mathematics and Physics 54) [lectures ed.]](https://ebin.pub/img/200x200/lectures-on-deformations-of-singularities-tata-lectures-on-mathematics-and-physics-54-lecturesnbsped.jpg)
![Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968 [1 ed.]
3540046143, 9783540046141](https://ebin.pub/img/200x200/principles-of-intuitionism-lectures-summer-conference-on-intuitionism-and-proof-theory-1968-1nbsped-3540046143-9783540046141.jpg)
