English
Related papers

Related papers: On semidefinite programming relaxations of the tra…

200 papers

We study the metric $s$-$t$ path Traveling Salesman Problem (TSP). [An, Kleinberg, and Shmoys, STOC 2012] improved on the long standing $\frac{5}{3}$-approximation factor and presented an algorithm that achieves an approximation factor of…

Data Structures and Algorithms · Computer Science 2015-03-17 Zhihan Gao

We study the quadratic $k$-vertex-disjoint paths problem (Q-$k$-VDP), which seeks $k$ vertex-disjoint paths in a directed graph that minimize a nonconvex quadratic objective function. We formulate the problem as a binary quadratic program…

Optimization and Control · Mathematics 2026-04-07 Mingming Xu , Hao Hu

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

In computer vision, many problems such as image segmentation, pixel labelling, and scene parsing can be formulated as binary quadratic programs (BQPs). For submodular problems, cuts based methods can be employed to efficiently solve…

Computer Vision and Pattern Recognition · Computer Science 2016-11-17 Peng Wang , Chunhua Shen , Anton van den Hengel , Philip H. S. Torr

This paper formulates a semidefinite programming relaxation for a long horizon direct-torque finite-control-set model predictive control problem. In parallel with this relaxation, a conventional branch-and-bound algorithm tailored for the…

Optimization and Control · Mathematics 2024-12-17 Luca M. Hartmann , Orcun Karaca , Tinus Dorfling , Tobias Geyer , Adam Kurpisz

Quadratically constrained quadratic programs (QCQPs) are a fundamental class of optimization problems well-known to be NP-hard in general. In this paper we study conditions under which the standard semidefinite program (SDP) relaxation of a…

Optimization and Control · Mathematics 2020-11-17 Alex L. Wang , Fatma Kilinc-Karzan

Recent works on cost based relaxations have improved Constraint Programming (CP) models for the Traveling Salesman Problem (TSP). We provide a short survey over solving asymmetric TSP with CP. Then, we suggest new implied propagators based…

Discrete Mathematics · Computer Science 2012-06-18 Jean-Guillaume Fages , Xavier Lorca

We introduce a method for proving lower bounds on the efficacy of semidefinite programming (SDP) relaxations for combinatorial problems. In particular, we show that the cut, TSP, and stable set polytopes on $n$-vertex graphs are not the…

Computational Complexity · Computer Science 2014-11-25 James R. Lee , Prasad Raghavendra , David Steurer

We present a new approximation algorithm for the (metric) prize-collecting traveling salesperson problem (PCTSP). In PCTSP, opposed to the classical traveling salesperson problem (TSP), one may not include a vertex of the input graph in the…

Data Structures and Algorithms · Computer Science 2023-04-13 Jannis Blauth , Martin Nägele

The Covering Salesman Problem (CSP) is a generalization of the Traveling Salesman Problem in which the tour is not required to visit all vertices, as long as all vertices are covered by the tour. The objective of CSP is to find a minimum…

Data Structures and Algorithms · Computer Science 2021-04-05 Lucas Porto Maziero , Fábio Luiz Usberti , Celso Cavellucci

We consider a parametric family of quadratically constrained quadratic programs (QCQP) and their associated semidefinite programming (SDP) relaxations. Given a nominal value of the parameter at which the SDP relaxation is exact, we study…

Optimization and Control · Mathematics 2023-10-03 Diego Cifuentes , Sameer Agarwal , Pablo A. Parrilo , Rekha R. Thomas

For nonconvex quadratically constrained quadratic programs (QCQPs), we first show that, under certain feasibility conditions, the standard semidefinite (SDP) relaxation is exact for QCQPs with bipartite graph structures. The exact optimal…

Optimization and Control · Mathematics 2022-05-03 Godai Azuma , Mituhiro Fukuda , Sunyoung Kim , Makoto Yamashita

Semidefinite programming (SDP) provides a powerful relaxation for the maximum cut problem. For a graph with rational weights, the decision problem of whether the SDP relaxation for the maximum cut problem is exact is known to be $NP$-hard;…

Optimization and Control · Mathematics 2026-02-09 Avinash Bhardwaj , Hritiz Gogoi , Vishnu Narayanan , Abhishek Pathapati

In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the vertex colouring problem in graph theory, for which there…

Optimization and Control · Mathematics 2019-04-09 Jakub Marecek , Andrew J. Parkes

In this paper, we propose some new semidefinite relaxations for a class of nonconvex complex quadratic programming problems, which widely appear in the areas of signal processing and power system. By deriving new valid constraints to the…

Optimization and Control · Mathematics 2023-05-18 Yingzhe Xu , Cheng Lu , Zhibin Deng , Ya-Feng Liu

We present a new generic approach to the condensed-matter ground-state problem which is complementary to variational techniques and works directly in the thermodynamic limit. Relaxing the ground-state problem, we obtain semidefinite…

Strongly Correlated Electrons · Physics 2012-08-08 Thomas Barthel , Robert Hübener

We study the ternary quadratic problem (TQP), a quadratic optimization problem with linear constraints where the variables take values in $\{0, \pm 1\}$. While semidefinite programming (SDP) techniques are well established for $\{0,1\}$-…

Optimization and Control · Mathematics 2026-04-01 Frank de Meijer , Veronica Piccialli , Renata Sotirov , Antonio M. Sudoso

This paper develops new semidefinite programming (SDP) relaxation techniques for two classes of mixed binary quadratically constrained quadratic programs (MBQCQP) and analyzes their approximation performance. The first class of problem…

Optimization and Control · Mathematics 2014-03-18 Zi Xu , Mingyi Hong

We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with $n$ variables, the rank and positive…

Optimization and Control · Mathematics 2020-09-22 Godai Azuma , Mituhiro Fukuda , Sunyoung Kim , Makoto Yamashita

Statistical inference problems arising within signal processing, data mining, and machine learning naturally give rise to hard combinatorial optimization problems. These problems become intractable when the dimensionality of the data is…

Statistical Mechanics · Physics 2017-04-27 Adel Javanmard , Andrea Montanari , Federico Ricci-Tersenghi