1,379 research outputs found
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
The distributions of functions related to parametric integer optimization
We consider the asymptotic distribution of the IP sparsity function, which
measures the minimal support of optimal IP solutions, and the IP to LP distance
function, which measures the distance between optimal IP and LP solutions. We
create a framework for studying the asymptotic distribution of general
functions related to integer optimization. There has been a significant amount
of research focused around the extreme values that these functions can attain,
however less is known about their typical values. Each of these functions is
defined for a fixed constraint matrix and objective vector while the right hand
sides are treated as input. We show that the typical values of these functions
are smaller than the known worst case bounds by providing a spectrum of
probability-like results that govern their overall asymptotic distributions.Comment: Accepted for journal publicatio
Orbitopal Fixing
The topic of this paper are integer programming models in which a subset of
0/1-variables encode a partitioning of a set of objects into disjoint subsets.
Such models can be surprisingly hard to solve by branch-and-cut algorithms if
the order of the subsets of the partition is irrelevant, since this kind of
symmetry unnecessarily blows up the search tree. We present a general tool,
called orbitopal fixing, for enhancing the capabilities of branch-and-cut
algorithms in solving such symmetric integer programming models. We devise a
linear time algorithm that, applied at each node of the search tree, removes
redundant parts of the tree produced by the above mentioned symmetry. The
method relies on certain polyhedra, called orbitopes, which have been
introduced bei Kaibel and Pfetsch (Math. Programm. A, 114 (2008), 1-36). It
does, however, not explicitly add inequalities to the model. Instead, it uses
certain fixing rules for variables. We demonstrate the computational power of
orbitopal fixing at the example of a graph partitioning problem.Comment: 22 pages, revised and extended version of a previous version that has
appeared under the same title in Proc. IPCO 200
- …