English
Related papers

Related papers: Exponential Lower Bounds for Polytopes in Combinat…

200 papers

Designing complex engineered systems requires managing tightly coupled trade-offs between subsystem capabilities and resource requirements. Monotone co-design provides a compositional language for such problems, but its generality does not…

Optimization and Control · Mathematics 2026-04-01 Yubo Cai , Yujun Huang , Meshal Alharbi , Gioele Zardini

We study the traveling salesman problem in the hyperbolic plane of Gaussian curvature $-1$. Let $\alpha$ denote the minimum distance between any two input points. Using a new separator theorem and a new rerouting argument, we give an…

Computational Geometry · Computer Science 2020-02-14 Sándor Kisfaludi-Bak

In this note, we show that the Traveling Salesman Problem cannot be solved in polynomial-time on a classical computer.

Computational Complexity · Computer Science 2012-02-02 Craig Alan Feinstein

We develop a framework for approximation limits of polynomial-size linear programs from lower bounds on the nonnegative ranks of suitably defined matrices. This framework yields unconditional impossibility results that are applicable to any…

Computational Complexity · Computer Science 2014-05-20 Gábor Braun , Samuel Fiorini , Sebastian Pokutta , David Steurer

We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is…

Data Structures and Algorithms · Computer Science 2019-07-24 Samuel C. Gutekunst , David P. Williamson

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

The standard LP relaxation of the asymmetric traveling salesman problem has been conjectured to have a constant integrality gap in the metric case. We prove this conjecture when restricted to shortest path metrics of node-weighted digraphs.…

Data Structures and Algorithms · Computer Science 2015-08-14 Ola Svensson

Motivated by the statistical analysis of the discrete optimal transport problem, we prove distributional limits for the solutions of linear programs with random constraints. Such limits were first obtained by Klatt, Munk, & Zemel (2022),…

Statistics Theory · Mathematics 2023-02-27 Shuyu Liu , Florentina Bunea , Jonathan Niles-Weed

The Continuous Polytope Escape Problem (CPEP) asks whether every trajectory of a linear differential equation initialised within a convex polytope eventually escapes the polytope. We provide a polynomial-time algorithm to decide CPEP for…

Dynamical Systems · Mathematics 2020-01-23 Julian D'Costa , Engel Lefaucheux , Joël Ouaknine , James Worrell

The symmetric circulant TSP is a special case of the traveling salesman problem in which edge costs are symmetric and obey circulant symmetry. Despite the substantial symmetry of the input, remarkably little is known about the symmetric…

Discrete Mathematics · Computer Science 2022-07-22 Samuel C. Gutekunst , Billy Jin , David P. Williamson

Multilevel programming is the standard framework for modeling hierarchical decision-making. In this paper, we characterize the computational complexity of deciding the existence of feasible and optimal solutions, as well as computing the…

Optimization and Control · Mathematics 2026-05-26 Nagisa Sugishita , Margarida Carvalho

Hougardy and Schroeder (WG 2014) proposed a combinatorial technique for pruning the search space in the traveling salesman problem, establishing that, for a given instance, certain edges cannot be present in any optimal tour. We describe an…

Data Structures and Algorithms · Computer Science 2023-07-17 William Cook , Keld Helsgaun , Stefan Hougardy , Rasmus T. Schroeder

In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP), a new type of problem which has the interesting property of having no polynomial time solutions. Next we show that HPTSP is in the class NP by demonstrating that…

Computational Complexity · Computer Science 2011-11-03 Roman V. Yampolskiy

The Quadratic Travelling Salesman Problem (QTSP) is to find a least-cost Hamiltonian cycle in an edge-weighted graph, where costs are defined on all pairs of edges such that each edge in the pair is contained in the Hamiltonian cycle. This…

Discrete Mathematics · Computer Science 2019-06-19 Brad Woods , Abraham Punnen

We study the problem of covering a given set of $n$ points in a high, $d$-dimensional space by the minimum enclosing polytope of a given arbitrary shape. We present algorithms that work for a large family of shapes, provided either only…

Computational Geometry · Computer Science 2007-05-23 Rina Panigrahy

We develop a new family of linear programs, that yield upper bounds on the rate of binary linear codes of a given distance. Our bounds apply {\em only to linear codes.} Delsarte's LP is the weakest member of this family and our LP yields…

Information Theory · Computer Science 2022-11-16 Elyassaf Loyfer , Nati Linial

In this paper, we will find a pseudopolynomial algorithm to solve $Qm \mid \mid L_{\max}$ and then we will prove that it is impossible to get any constant-factor approximation in polynomial time, and thus also impossible to have a PTAS for…

Data Structures and Algorithms · Computer Science 2020-01-23 Elbert Du , Stan Zhang

Proposed initially from a practical circumstance, the traveling salesman problem caught the attention of numerous economists, computer scientists, and mathematicians. These theorists were instead intrigued by seeking a systemic way to find…

Discrete Mathematics · Computer Science 2021-08-12 Linglong Dai

We show that certain ways of solving some combinatorial optimization problems can be understood as using query planes to divide the space of problem instances into polyhedra that could fit into those that characterize the problem's various…

Computational Complexity · Computer Science 2023-04-24 Jian Yang

The goal of this paper is to design a simplex algorithm for linear programs on lattice polytopes that traces `short' simplex paths from any given vertex to an optimal one. We consider a lattice polytope $P$ contained in $[0,k]^n$ and…

Optimization and Control · Mathematics 2020-04-09 Alberto Del Pia , Carla Michini