Sciweavers

Share
SIAMCOMP
1998

Free Bits, PCPs, and Nonapproximability-Towards Tight Results

8 years 4 months ago
Free Bits, PCPs, and Nonapproximability-Towards Tight Results
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on proving tight nonapproximability results via consideration of measures such as the “free-bit complexity” and the “amortized free-bit complexity” of proof systems. The first part of the paper presents a collection of new proof systems based on a new errorcorrecting code called the long code. We provide a proof system that has amortized free-bit complexity of 2 + , implying that approximating MaxClique within N 1 3 − , and approximating the Chromatic Number within N 1 5 − , are hard, assuming NP = coRP, for any > 0. We also derive the first explicit and reasonable constant hardness factors for Min Vertex Cover, Max2SAT, and Max Cut, and we improve the hardness factor for Max3SAT. We note that our nonapproximability factors for MaxSNP problems are appreciably close to the values known to be achie...
Mihir Bellare, Oded Goldreich, Madhu Sudan
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where SIAMCOMP
Authors Mihir Bellare, Oded Goldreich, Madhu Sudan
Comments (0)
books