English
Related papers

Related papers: On modeling NP-Complete problems as polynomial-siz…

200 papers

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

Non-commutative polynomial optimization (NPO) problems seek to minimize the state average of a polynomial of some operator variables, subject to polynomial constraints, over all states and operators, as well as the Hilbert spaces where…

Quantum Physics · Physics 2025-07-22 Mateus Araújo , Andrew J. P. Garner , Miguel Navascues

Mixed-integer mathematical programs are among the most commonly used models for a wide set of problems in Operations Research and related fields. However, there is still very little known about what can be expressed by small mixed-integer…

Discrete Mathematics · Computer Science 2017-12-07 Alfonso Cevallos , Stefan Weltge , Rico Zenklusen

We present a class of linear programming approximations for constrained optimization problems. In the case of mixed-integer polynomial optimization problems, if the intersection graph of the constraints has bounded tree-width our…

Optimization and Control · Mathematics 2016-10-20 Daniel Bienstock , Gonzalo Munoz

There has been a lot of interest recently in proving lower bounds on the size of linear programs needed to represent a given polytope P. In a breakthrough paper Fiorini et al. [Proceedings of 44th ACM Symposium on Theory of Computing 2012,…

Optimization and Control · Mathematics 2013-11-12 Hamza Fawzi , Pablo A. Parrilo

We study relaxations for linear programs with complementarity constraints, especially instances whose complementary pairs of variables are not independent. Our formulation is based on identifying vertex covers of the conflict graph of the…

Optimization and Control · Mathematics 2022-08-03 Alberto Del Pia , Jeff Linderoth , Haoran Zhu

We convert, within polynomial-time and sequential processing, NP-Complete Problems into a problem of deciding feasibility of a given system S of linear equations with constants and coefficients of binary-variables that are 0, 1, or -1. S is…

Computational Complexity · Computer Science 2012-10-23 Deepak Ponvel Chermakani

The Traveling Salesman Problem is one of the best studied NP-hard problems in combinatorial optimization. Powerful methods have been developed over the last 60 years to find optimum solutions to large TSP instances. The largest TSP instance…

Discrete Mathematics · Computer Science 2014-03-03 Stefan Hougardy , Rasmus T. Schroeder

Linear and semidefinite programming (LP, SDP), regularisation through basis pursuit (BP) and Lasso have seen great success in mathematics, statistics, data science, computer-assisted proofs and learning. The success of LP is traditionally…

Optimization and Control · Mathematics 2022-08-03 Alexander Bastounis , Anders C Hansen , Verner Vlačić

Bilevel linear programming (LP) is one of the simplest classes of bilevel optimization problems, yet it is known to be NP-hard in general. Specifically, determining whether the optimal objective value of a bilevel LP is at least as good as…

Optimization and Control · Mathematics 2026-03-23 Nagisa Sugishita , Margarida Carvalho

Bounds for the optimal tour length for a hypothetical TSP algorithm are derived.

Computational Complexity · Computer Science 2007-05-23 A. G. Yaneff

We develop a new numerical method for approximating the infinite time reachable set of strictly stable linear control systems. By solving a linear program with a constraint that incorporates the system dynamics, we compute a polytope with…

Optimization and Control · Mathematics 2019-04-03 Andreas Ernst , Lars Grüne , Janosch Rieger

We provide exact and approximation methods for solving a geometric relaxation of the Traveling Salesman Problem (TSP) that occurs in curve reconstruction: for a given set of vertices in the plane, the problem Minimum Perimeter Polygon (MPP)…

De Klerk, Pasechnik, and Sotirov give a semidefinite programming constraint for the Traveling Salesman Problem (TSP) based on the matrix-tree Theorem. This constraint says that the aggregate weight of all spanning trees in a solution to a…

Discrete Mathematics · Computer Science 2019-07-29 Samuel C. Gutekunst , David P. Williamson

The ATSP polytope can be expressed by asymmetric polynomial size linear program.

Discrete Mathematics · Computer Science 2008-11-10 Sergey Gubin

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

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

We study time-varying semidefinite programs (TV-SDPs), which are semidefinite programs whose data (and solutions) are functions of time. Our focus is on the setting where the data varies polynomially with time. We show that under a strict…

Optimization and Control · Mathematics 2019-12-03 Amir Ali Ahmadi , Bachir El Khadir

A metro-line crossing minimization problem is to draw multiple lines on an underlying graph that models stations and rail tracks so that the number of crossings of lines becomes minimum. It has several variations by adding restrictions on…

Data Structures and Algorithms · Computer Science 2013-06-18 Yoshio Okamoto , Yuichi Tatsu , Yushi Uno

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