Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Towards strong nonapproximability results in the LovaszSchrijver Mikhail Alekhnovich # Sanjeev Arora + Iannis Tourlakis #

Summary: Towards strong nonapproximability results in the Lov’asz­Schrijver
Mikhail Alekhnovich # Sanjeev Arora + Iannis Tourlakis #
Lov’asz and Schrijver described a generic method of tightening the LP and SDP relaxation for
any 0­1 optimization problem. These tightened relaxations were the basis of several celebrated
approximation algorithms (such as for MAX­CUT, MAX­3SAT, and SPARSEST CUT).
We prove strong nonapproximability results in this model for well­known problems such as
MAX­3SAT, Hypergraph Vertex Cover and Minimum Set Cover. We show that the relaxations
produced by as many as ## n) rounds of the LS+ procedure do not allow nontrivial approxima­
tion, thus ruling out the possibility that the LS+ approach gives even slightly subexponential
approximation algorithms for these problems.
We also point out why our results are somewhat incomparable to known nonapproximability
results proved using PCPs, and formalize several interesting open questions.
1 Introduction
The past decade has seen a dramatic improvement of our understanding of the approximation
properties of many NP­hard optimization problems. Many new approximation algorithms were
designed, especially using linear programming (LP) or semidefinite programming (SDP) relax­
ations. For many problems it was proved using probabilistically checkable proofs (PCPs) that
these algorithms are the best possible polynomial­time algorithms unless NP has subexponential


Source: Alekhnovich, Michael - Institute for Advanced Study, Princeton University


Collections: Mathematics; Computer Technologies and Information Sciences