651 research outputs found
The matching polytope does not admit fully-polynomial size relaxation schemes
The groundbreaking work of Rothvo{\ss} [arxiv:1311.2369] established that
every linear program expressing the matching polytope has an exponential number
of inequalities (formally, the matching polytope has exponential extension
complexity). We generalize this result by deriving strong bounds on the
polyhedral inapproximability of the matching polytope: for fixed , every polyhedral -approximation
requires an exponential number of inequalities, where is the number of
vertices. This is sharp given the well-known -approximation of size
provided by the odd-sets of size up to
. Thus matching is the first problem in , whose natural
linear encoding does not admit a fully polynomial-size relaxation scheme (the
polyhedral equivalent of an FPTAS), which provides a sharp separation from the
polynomial-size relaxation scheme obtained e.g., via constant-sized odd-sets
mentioned above.
Our approach reuses ideas from Rothvo{\ss} [arxiv:1311.2369], however the
main lower bounding technique is different. While the original proof is based
on the hyperplane separation bound (also called the rectangle corruption
bound), we employ the information-theoretic notion of common information as
introduced in Braun and Pokutta [http://eccc.hpi-web.de/report/2013/056/],
which allows to analyze perturbations of slack matrices. It turns out that the
high extension complexity for the matching polytope stem from the same source
of hardness as for the correlation polytope: a direct sum structure.Comment: 21 pages, 3 figure
Bi-Criteria and Approximation Algorithms for Restricted Matchings
In this work we study approximation algorithms for the \textit{Bounded Color
Matching} problem (a.k.a. Restricted Matching problem) which is defined as
follows: given a graph in which each edge has a color and a profit
, we want to compute a maximum (cardinality or profit)
matching in which no more than edges of color are
present. This kind of problems, beside the theoretical interest on its own
right, emerges in multi-fiber optical networking systems, where we interpret
each unique wavelength that can travel through the fiber as a color class and
we would like to establish communication between pairs of systems. We study
approximation and bi-criteria algorithms for this problem which are based on
linear programming techniques and, in particular, on polyhedral
characterizations of the natural linear formulation of the problem. In our
setting, we allow violations of the bounds and we model our problem as a
bi-criteria problem: we have two objectives to optimize namely (a) to maximize
the profit (maximum matching) while (b) minimizing the violation of the color
bounds. We prove how we can "beat" the integrality gap of the natural linear
programming formulation of the problem by allowing only a slight violation of
the color bounds. In particular, our main result is \textit{constant}
approximation bounds for both criteria of the corresponding bi-criteria
optimization problem
The Geometric Maximum Traveling Salesman Problem
We consider the traveling salesman problem when the cities are points in R^d
for some fixed d and distances are computed according to geometric distances,
determined by some norm. We show that for any polyhedral norm, the problem of
finding a tour of maximum length can be solved in polynomial time. If
arithmetic operations are assumed to take unit time, our algorithms run in time
O(n^{f-2} log n), where f is the number of facets of the polyhedron determining
the polyhedral norm. Thus for example we have O(n^2 log n) algorithms for the
cases of points in the plane under the Rectilinear and Sup norms. This is in
contrast to the fact that finding a minimum length tour in each case is
NP-hard. Our approach can be extended to the more general case of quasi-norms
with not necessarily symmetric unit ball, where we get a complexity of
O(n^{2f-2} log n).
For the special case of two-dimensional metrics with f=4 (which includes the
Rectilinear and Sup norms), we present a simple algorithm with O(n) running
time. The algorithm does not use any indirect addressing, so its running time
remains valid even in comparison based models in which sorting requires Omega(n
\log n) time. The basic mechanism of the algorithm provides some intuition on
why polyhedral norms allow fast algorithms.
Complementing the results on simplicity for polyhedral norms, we prove that
for the case of Euclidean distances in R^d for d>2, the Maximum TSP is NP-hard.
This sheds new light on the well-studied difficulties of Euclidean distances.Comment: 24 pages, 6 figures; revised to appear in Journal of the ACM.
(clarified some minor points, fixed typos
Dyck path triangulations and extendability
We introduce the Dyck path triangulation of the cartesian product of two
simplices . The maximal simplices of this
triangulation are given by Dyck paths, and its construction naturally
generalizes to produce triangulations of
using rational Dyck paths. Our study of the Dyck path triangulation is
motivated by extendability problems of partial triangulations of products of
two simplices. We show that whenever , any triangulation of
extends to a unique triangulation of
. Moreover, with an explicit construction, we
prove that the bound is optimal. We also exhibit interesting
interpretations of our results in the language of tropical oriented matroids,
which are analogous to classical results in oriented matroid theory.Comment: 15 pages, 14 figures. Comments very welcome
Symmetry Matters for Sizes of Extended Formulations
In 1991, Yannakakis (J. Comput. System Sci., 1991) proved that no symmetric
extended formulation for the matching polytope of the complete graph K_n with n
nodes has a number of variables and constraints that is bounded
subexponentially in n. Here, symmetric means that the formulation remains
invariant under all permutations of the nodes of K_n. It was also conjectured
in the paper mentioned above that "asymmetry does not help much," but no
corresponding result for general extended formulations has been found so far.
In this paper we show that for the polytopes associated with the matchings in
K_n with log(n) (rounded down) edges there are non-symmetric extended
formulations of polynomial size, while nevertheless no symmetric extended
formulations of polynomial size exist. We furthermore prove similar statements
for the polytopes associated with cycles of length log(n) (rounded down). Thus,
with respect to the question for smallest possible extended formulations, in
general symmetry requirements may matter a lot. Compared to the extended
abtract that has appeared in the Proceedings of IPCO XIV at Lausanne, this
paper does not only contain proofs that had been ommitted there, but it also
presents slightly generalized and sharpened lower bounds.Comment: 24 pages; incorporated referees' comments; to appear in: SIAM Journal
on Discrete Mathematic
- β¦