English
Related papers

Related papers: Extension Complexity Lower Bounds for Mixed-Intege…

200 papers

In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive…

Number Theory · Mathematics 2023-05-25 Ben Kane , Zichen Yang

Inverse optimization, determining parameters of an optimization problem that render a given solution optimal, has received increasing attention in recent years. While significant inverse optimization literature exists for convex…

Optimization and Control · Mathematics 2021-09-02 Merve Bodur , Timothy C. Y. Chan , Ian Yihang Zhu

The mixed volume counts the roots of generic sparse polynomial systems. Mixed cells are used to provide starting systems for homotopy algorithms that can find all those roots, and track no unnecessary path. Up to now, algorithms for that…

Numerical Analysis · Mathematics 2017-11-06 Gregorio Malajovich

We consider the convex quadratic optimization problem with indicator variables and arbitrary constraints on the indicators. We show that a convex hull description of the associated mixed-integer set in an extended space with a quadratic…

Optimization and Control · Mathematics 2022-11-29 Linchuan Wei , Alper Atamtürk , Andrés Gómez , Simge Küçükyavuz

We study monotone extension problems in the general framework of dual systems, without assuming separation. The paper develops a compact target-set formulation that includes multivalued operators as a special case and allows the initial set…

Functional Analysis · Mathematics 2026-05-28 M. D. Voisei

We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We…

Combinatorics · Mathematics 2014-06-20 Michael Oelze , Arnaud Vandaele , Stefan Weltge

We prove that the following problem has the same computational complexity as the existential theory of the reals: Given a generic self-intersecting closed curve $\gamma$ in the plane and an integer $m$, is there a polygon with $m$ vertices…

Computational Geometry · Computer Science 2019-08-28 Jeff Erickson

The study of the diameter of the graph of polyhedra is a classical problem in the theory of linear programming. While transportation polytopes are at the core of operations research and statistics it is still open whether the Hirsch…

Combinatorics · Mathematics 2015-04-23 Steffen Borgwardt , Jesús A. De Loera , Elisabeth Finhold , Jacob Miller

In this paper, we introduce a graph matching method that can account for constraints of arbitrary order, with arbitrary potential functions. Unlike previous decomposition approaches that rely on the graph structures, we introduce a…

Computer Vision and Pattern Recognition · Computer Science 2018-02-26 D. Khuê Lê-Huu , Nikos Paragios

We prove that there are 0/1 polytopes P that do not admit a compact LP formulation. More precisely we show that for every n there is a sets X \subseteq {0,1}^n such that conv(X) must have extension complexity at least 2^{n/2 * (1-o(1))}. In…

Combinatorics · Mathematics 2011-05-03 Thomas Rothvoß

Constrained optimization problems are often characterized by multiple constraints that, in the practice, must be satisfied with different tolerance levels. While some constraints are hard and as such must be satisfied with zero-tolerance,…

Neural and Evolutionary Computing · Computer Science 2020-12-21 Stefano Fioravanzo , Giovanni Iacca

We consider the problem of minimizing the makespan on batch processing identical machines, subject to compatibility constraints, where two jobs are compatible if they can be processed simultaneously in a same batch. These constraints are…

Discrete Mathematics · Computer Science 2023-09-07 Khaoula Bouakaz , Mourad Boudhar

Solving (mixed) integer linear programs, (M)ILPs for short, is a fundamental optimization task. While hard in general, recent years have brought about vast progress for solving structurally restricted, (non-mixed) ILPs: $n$-fold, tree-fold,…

Data Structures and Algorithms · Computer Science 2019-12-10 Cornelius Brand , Martin Koutecký , Sebastian Ordyniak

This dissertation investigates the geometric combinatorics of convex polytopes and connections to the behavior of the simplex method for linear programming. We focus our attention on transportation polytopes, which are sets of all tables of…

Combinatorics · Mathematics 2010-06-15 Edward D. Kim

In this paper, we investigate the integrality gap of the Asymmetric Traveling Salesman Problem (ATSP) with respect to the linear relaxation given by the Asymmetric Subtour Elimination Problem (ASEP) for instances with $n$ nodes, where $n$…

Optimization and Control · Mathematics 2025-06-13 Eleonora Vercesi , Janos Barta , Luca Maria Gambardella , Stefano Gualandi , Monaldo Mastrolilli

By prior work, it is known that any distributed graph algorithm that finds a maximal matching requires $\Omega(\log^* n)$ communication rounds, while it is possible to find a maximal fractional matching in $O(1)$ rounds in bounded-degree…

Data Structures and Algorithms · Computer Science 2023-07-18 Sameep Dahal , Jukka Suomela

We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex…

Combinatorics · Mathematics 2017-11-23 John Haslegrave , Richard A. B. Johnson , Sebastian Koch

Optimization problems involving mixed variables (i.e., variables of numerical and categorical nature) can be challenging to solve, especially in the presence of mixed-variable constraints. Moreover, when the objective function is the result…

Optimization and Control · Mathematics 2024-12-12 Mengjia Zhu , Alberto Bemporad

We investigate the combinatorial complexity of geodesic Voronoi diagrams on polyhedral terrains using a probabilistic analysis. Aronov etal [ABT08] prove that, if one makes certain realistic input assumptions on the terrain, this complexity…

Computational Geometry · Computer Science 2011-12-06 Anne Driemel , Sariel Har-Peled , Benjamin Raichel

This paper formulates a necessary and sufficient condition for a generic graph matching problem to be equivalent to the maximum vertex and edge weight clique problem in a derived association graph. The consequences of this results are…

Artificial Intelligence · Computer Science 2009-12-24 Brijnesh Jain , Klaus Obermayer