English
Related papers

Related papers: Solving sparse separable bilinear programs using l…

200 papers

In the min-knapsack problem one aims at choosing a set of objects with minimum total cost and total profit above a given threshold. In this paper, we study a class of valid inequalities for min-knapsack known as bounded pitch inequalities,…

Data Structures and Algorithms · Computer Science 2018-01-29 Yuri Faenza , Igor Malinović , Monaldo Mastrolilli , Ola Svensson

We consider the global optimization of nonconvex quadratic programs and mixed-integer quadratic programs. We present a family of convex quadratic relaxations which are derived by convexifying nonconvex quadratic functions through…

Optimization and Control · Mathematics 2020-10-13 Carlos J. Nohra , Arvind U. Raghunathan , Nikolaos V. Sahinidis

Seeking tighter relaxations of combinatorial optimization problems, semidefinite programming is a generalization of linear programming that offers better bounds and is still polynomially solvable. Yet, in practice, a semidefinite program is…

Optimization and Control · Mathematics 2023-11-17 Daniel Porumbel

The goal of this paper is to survey the properties of the eigenvalue relaxation for least squares binary problems. This relaxation is a convex program which is obtained as the Lagrangian dual of the original problem with an implicit compact…

Methodology · Statistics 2009-02-10 Stephane Chretien , Franck Corset

In this paper, we investigate the polyhedral structure of two submodular sets with generalized upper bound (GUB) constraints, which arise as important substructures in various real-world applications. We derive a class of strong valid…

Optimization and Control · Mathematics 2026-01-27 Weikang Qian , Keyan Li , Wei-Kun Chen , Yu-Hong Dai

We investigate a mixed 0-1 conic quadratic optimization problem with indicator variables arising in mean-risk optimization. The indicator variables are often used to model non-convexities such as fixed charges or cardinality constraints.…

Optimization and Control · Mathematics 2018-08-28 Alper Atamturk , Hyemin Jeon

Numerical tools for constraints solving are a cornerstone to control verification problems. This is evident by the plethora of research that uses tools like linear and convex programming for the design of control systems. Nevertheless, the…

Optimization and Control · Mathematics 2021-01-13 Wael Fatnassi , Yasser Shoukry

Conic optimization has recently emerged as a powerful tool for designing tractable and guaranteed algorithms for non-convex polynomial optimization problems. On the one hand, tractability is crucial for efficiently solving large-scale…

The aim of this paper is to solve linear semidefinite programs arising from higher-order Lasserre relaxations of unconstrained binary quadratic optimization problems. For this we use an interior point method with a preconditioned conjugate…

Optimization and Control · Mathematics 2024-12-30 Soodeh Habibi , Michal Kocvara , Michael Stingl

This paper studies how to solve semi-infinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many…

Optimization and Control · Mathematics 2013-06-11 Li Wang , Feng Guo

Linear programming (LP) relaxations are widely employed in exact solution methods for multilinear programs (MLP). One example is the family of Recursive McCormick Linearization (RML) strategies, where bilinear products are substituted for…

Optimization and Control · Mathematics 2022-07-20 Arvind U Raghunathan , Carlos Cardonha , David Bergman , Carlos J Nohra

Globally optimizing a nonconvex quadratic over the intersection of $m$ balls in $\mathbb{R}^n$ is known to be polynomial-time solvable for fixed $m$. Moreover, when $m=1$, the standard semidefinite relaxation is exact. When $m=2$, it has…

Optimization and Control · Mathematics 2023-10-31 Samuel Burer

We consider the general polynomial optimization problem $P: f^*=\min \{f(x)\,:\,x\in K\}$ where $K$ is a compact basic semi-algebraic set. We first show that the standard Lagrangian relaxation yields a lower bound as close as desired to the…

Optimization and Control · Mathematics 2012-10-18 Jean Lasserre

This paper introduces novel relaxation hierarchies for concavo-convex programs (CXP), a class of problems that includes disjoint bilinear programming (DBP) and concave minimization (CM) as special cases. At the core of these hierarchies is…

Optimization and Control · Mathematics 2025-12-01 Mohit Tawarmalani

We efficiently treat bilinear forms in the context of global optimization, by applying McCormick convexification and by extending an approach of Saxena, Bonami and Lee for symmetric quadratic forms to bilinear forms. A key application of…

Optimization and Control · Mathematics 2018-03-22 Marcia Fampa , Jon Lee

The problem of minimizing a (nonconvex) quadratic form over the unit simplex, referred to as a standard quadratic program, admits an exact convex conic formulation over the computationally intractable cone of completely positive matrices.…

Optimization and Control · Mathematics 2020-03-02 Y. Gorkem Gokmen , E. Alper Yildirim

We consider the problem of inference in higher-order undirected graphical models with binary labels. We formulate this problem as a binary polynomial optimization problem and propose several linear programming relaxations for it. We compare…

Optimization and Control · Mathematics 2024-12-17 Aida Khajavirad , Yakun Wang

We prove weak duality between two recent convex relaxation methods for bounding the optimal value of a constrained variational problem in which the objective is an integral functional. The first approach, proposed by Valmorbida et al. (IEEE…

Optimization and Control · Mathematics 2019-07-01 Giovanni Fantuzzi

Semidefinite programming is an indispensable tool in computer vision, but general-purpose solvers for semidefinite programs are often too slow and memory intensive for large-scale problems. We propose a general framework to approximately…

Computer Vision and Pattern Recognition · Computer Science 2016-08-10 Sohil Shah , Abhay Kumar , Carlos Castillo , David Jacobs , Christoph Studer , Tom Goldstein

Many computer vision problems can be formulated as binary quadratic programs (BQPs). Two classic relaxation methods are widely used for solving BQPs, namely, spectral methods and semidefinite programming (SDP), each with their own…

Computer Vision and Pattern Recognition · Computer Science 2016-11-18 Peng Wang , Chunhua Shen , Anton van den Hengel