2,414 research outputs found
Sherali-Adams gaps, flow-cover inequalities and generalized configurations for capacity-constrained Facility Location
Metric facility location is a well-studied problem for which linear
programming methods have been used with great success in deriving approximation
algorithms. The capacity-constrained generalizations, such as capacitated
facility location (CFL) and lower-bounded facility location (LBFL), have proved
notorious as far as LP-based approximation is concerned: while there are
local-search-based constant-factor approximations, there is no known linear
relaxation with constant integrality gap. According to Williamson and Shmoys
devising a relaxation-based approximation for \cfl\ is among the top 10 open
problems in approximation algorithms.
This paper advances significantly the state-of-the-art on the effectiveness
of linear programming for capacity-constrained facility location through a host
of impossibility results for both CFL and LBFL. We show that the relaxations
obtained from the natural LP at levels of the Sherali-Adams
hierarchy have an unbounded gap, partially answering an open question of
\cite{LiS13, AnBS13}. Here, denotes the number of facilities in the
instance. Building on the ideas for this result, we prove that the standard CFL
relaxation enriched with the generalized flow-cover valid inequalities
\cite{AardalPW95} has also an unbounded gap. This disproves a long-standing
conjecture of \cite{LeviSS12}. We finally introduce the family of proper
relaxations which generalizes to its logical extreme the classic star
relaxation and captures general configuration-style LPs. We characterize the
behavior of proper relaxations for CFL and LBFL through a sharp threshold
phenomenon.Comment: arXiv admin note: substantial text overlap with arXiv:1305.599
Extended Formulation Lower Bounds via Hypergraph Coloring?
Exploring the power of linear programming for combinatorial optimization
problems has been recently receiving renewed attention after a series of
breakthrough impossibility results. From an algorithmic perspective, the
related questions concern whether there are compact formulations even for
problems that are known to admit polynomial-time algorithms.
We propose a framework for proving lower bounds on the size of extended
formulations. We do so by introducing a specific type of extended relaxations
that we call product relaxations and is motivated by the study of the
Sherali-Adams (SA) hierarchy. Then we show that for every approximate
relaxation of a polytope P, there is a product relaxation that has the same
size and is at least as strong. We provide a methodology for proving lower
bounds on the size of approximate product relaxations by lower bounding the
chromatic number of an underlying hypergraph, whose vertices correspond to
gap-inducing vectors.
We extend the definition of product relaxations and our methodology to mixed
integer sets. However in this case we are able to show that mixed product
relaxations are at least as powerful as a special family of extended
formulations. As an application of our method we show an exponential lower
bound on the size of approximate mixed product formulations for the metric
capacitated facility location problem, a problem which seems to be intractable
for linear programming as far as constant-gap compact formulations are
concerned
- …