English
Related papers

Related papers: Exponential Lower Bounds for Polytopes in Combinat…

200 papers

This article describes counter example prepared in order to prove that linear formulation of TSP problem proposed in [arXiv:0803.4354] is incorrect (it applies also to QAP problem formulation in [arXiv:0802.4307]). Article refers not only…

Computational Complexity · Computer Science 2008-06-02 Radoslaw Hofman

Given two convex polygons $P$ and $Q$ with $n$ and $m$ edges, the maximum overlap problem is to find a translation of $P$ that maximizes the area of its intersection with $Q$. We give the first randomized algorithm for this problem with…

Computational Geometry · Computer Science 2025-04-28 Timothy M. Chan , Isaac M. Hair

A quadratically constrained quadratic program (QCQP) is an optimization problem in which the objective function is a quadratic function and the feasible region is defined by quadratic constraints. Solving non-convex QCQP to global…

Optimization and Control · Mathematics 2018-12-27 Asteroide Santana , Santanu S. Dey

In this paper, we study a class of approximation problems, appearing in data approximation and signal processing. The approximations are constructed as combinations of polynomial splines (piecewise polynomials), whose parameters are subject…

Optimization and Control · Mathematics 2015-03-05 Zahra Roshan Zamir , Nadezda Sukhorukova

A longstanding open problem in coding theory is to determine the best (asymptotic) rate $R_2(\delta)$ of binary codes with minimum constant (relative) distance $\delta$. An existential lower bound was given by Gilbert and Varshamov in the…

Information Theory · Computer Science 2021-12-20 Leonardo Nagami Coregliano , Fernando Granha Jeronimo , Chris Jones

The maximum traveling salesman problem (Max TSP) consists of finding a Hamiltonian cycle with the maximum total weight of the edges in a given complete weighted graph. This problem is APX-hard in the general metric case but admits…

Data Structures and Algorithms · Computer Science 2021-08-24 Vladimir Shenmaier

The Quadratic Travelling Salesman Problem (QTSP) is to find a least cost Hamilton cycle in an edge-weighted graph, where costs are defined on all pairs of edges contained in the Hamilton cycle. This is a more general version than the…

Discrete Mathematics · Computer Science 2017-09-05 Brad Woods , Abraham Punnen , Tamon Stephen

Understanding the interactions between different combinatorial optimisation problems in real-world applications is a challenging task. Recently, the traveling thief problem (TTP), as a combination of the classical traveling salesperson…

Data Structures and Algorithms · Computer Science 2017-02-20 Frank Neumann , Sergey Polyakovskiy , Martin Skutella , Leen Stougie , Junhua Wu

We propose that the LP-Newton method can be used to solve conic LPs over a conic box, whenever linear optimization over an otherwise unconstrained conic box is easy. In particular, if $\leq_\mathcal{K}$ is the partial order induced by a…

Optimization and Control · Mathematics 2017-08-16 Francesco Silvestri , Gerhard Reinelt

The linear programming (LP) approach is, together with value iteration and policy iteration, one of the three fundamental methods to solve optimal control problems in a dynamic programming setting. Despite its simple formulation,…

Systems and Control · Electrical Eng. & Systems 2023-10-31 Lucia Falconi , Andrea Martinelli , John Lygeros

\emph{Canonical (logic) programs} (CP) refer to normal logic programs augmented with connective $not\ not$. In this paper we address the question of whether CP are \emph{succinctly incomparable} with \emph{propositional formulas} (PF). Our…

Logic in Computer Science · Computer Science 2015-01-27 Yuping Shen , Xishun Zhao

In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares…

Optimization and Control · Mathematics 2016-02-26 Sadik Iliman , Timo de Wolff

This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The…

Combinatorics · Mathematics 2007-05-23 Volker Kaibel , Marc E. Pfetsch

We study the edge-length polytope, motivated both by algorithmic research on the Circulant Traveling Salesman Problem (Circulant TSP) and number-theoretic research related to the Buratti-Horak-Rosa conjecture. Circulant TSP is a special…

Discrete Mathematics · Computer Science 2025-06-13 Samuel C. Gutekunst

Motivated by the need to better understand the properties of sparse cutting-planes used in mixed integer programming solvers, the paper [2] studied the idealized problem of how well a polytope is approximated by the use of sparse valid…

Optimization and Control · Mathematics 2014-12-12 Santanu S. Dey , Andres Iroume , Marco Molinaro

This article exhibits a 4-dimensional combinatorial polytope that has no antiprism, answering a question posed by Bernt Lindst\"om. As a consequence, any realization of this combinatorial polytope has a face that it cannot rest upon without…

Metric Geometry · Mathematics 2015-06-23 Michael Gene Dobbins

Linear programming on the Stiefel manifold (LPS) is studied for the first time. It aims at minimizing a linear objective function over the set of all $p$-tuples of orthonormal vectors in ${\mathbb R}^n$ satisfying $k$ additional linear…

Optimization and Control · Mathematics 2023-11-01 Mengmeng Song , Yong Xia

The Traveling Salesman Problem (TSP) is a classical NP-hard problem that plays a crucial role in combinatorial optimization. In this paper, we are interested in the quantum search framework for the TSP because it has robust theoretical…

Quantum Physics · Physics 2025-04-25 Bai Xujun , Shang Yun

The $k$-opt algorithm is one of the simplest and most widely used heuristics for solving the traveling salesman problem. Starting from an arbitrary tour, the $k$-opt algorithm improves the current tour in each iteration by exchanging up to…

Data Structures and Algorithms · Computer Science 2025-07-17 Sophia Heimann , Hung P. Hoang , Stefan Hougardy

Generalized probabilistic theories (GPT) provide a general framework that includes classical and quantum theories. It is described by a cone $C$ and its dual $C^*$. We show that whether some one-way communication complexity problems can be…

Quantum Physics · Physics 2014-07-01 Samuel Fiorini , Serge Massar , Manas K. Patra , Hans Raj Tiwary