English
Related papers

Related papers: Aggregation-based cutting-planes for packing and c…

200 papers

Sparse cutting-planes are often the ones used in mixed-integer programing (MIP) solvers, since they help in solving the linear programs encountered during branch-&-bound more efficiently. However, how well can we approximate the integer…

Optimization and Control · Mathematics 2014-05-09 Santanu S. Dey , Marco Molinaro , Qianyi Wang

Cutting planes and branching are two of the most important algorithms for solving mixed-integer linear programs. For both algorithms, disjunctions play an important role, being used both as branching candidates and as the foundation for…

Optimization and Control · Mathematics 2023-07-10 Mark Turner , Timo Berthold , Mathieu Besançon , Thorsten Koch

Concepts of consistency have long played a key role in constraint programming but never developed in integer programming (IP). Consistency nonetheless plays a role in IP as well. For example, cutting planes can reduce backtracking by…

Computational Complexity · Computer Science 2018-12-07 Danial Davarnia , J. N. Hooker

Integer programming (IP) is a general optimization framework widely applicable to a variety of unstructured and structured problems arising in, e.g., scheduling, production planning, and graph optimization. As IP models many provably hard…

Machine Learning · Computer Science 2020-07-22 Yunhao Tang , Shipra Agrawal , Yuri Faenza

This paper considers the generalized maximal covering location problem (GMCLP) which establishes a fixed number of facilities to maximize the weighted sum of the covered customers, allowing customer weights to be positive or negative. Due…

Optimization and Control · Mathematics 2025-05-12 Wei Lv , Cheng-Yang Yu , Jie Liang , Wei-Kun Chen , Yu-Hong Dai

The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by computing all mixed integer Gomory cuts read from all tableau's…

Robotics · Computer Science 2010-10-29 Pierre Bonami

In this paper we give a generalization of the well known split cuts of Cook, Kannan and Schrijver to cuts which are based on multi-term disjunctions. They will be called k-disjunctive cuts. The starting point is the question what kind of…

Optimization and Control · Mathematics 2007-07-27 Markus Jörg

We introduce and analyze a class of valid inequalities for nonconvex quadratically constrained optimization problems (QCQPs) which we call Eigen-CG inequalities. These inequalities are obtained by applying a Chv\'atal-Gomory (CG) rounding…

Optimization and Control · Mathematics 2026-04-02 Santanu S. Dey , Nan Jiang , Aleksandr Kazachkov , Andrea Lodi , Gonzalo Muñoz

Recutting is an operation on planar polygons defined by cutting a polygon along a diagonal to remove a triangle, and then reattaching the triangle along the same diagonal but with opposite orientation. Recuttings along different diagonals…

Exactly Solvable and Integrable Systems · Physics 2022-11-22 Anton Izosimov

Given an integral polyhedron P and a rational polyhedron Q living in the same n-dimensional space and containing the same integer points as P, we investigate how many iterations of the Chv\'atal-Gomory closure operator have to be performed…

Optimization and Control · Mathematics 2012-11-09 Gennadiy Averkov , Michele Conforti , Alberto Del Pia , Marco Di Summa , Yuri Faenza

Probabilistic relaxations of graph cuts offer a differentiable alternative to spectral clustering, enabling end-to-end and online learning without eigendecompositions, yet prior work centered on RatioCut and lacked general guarantees and…

Machine Learning · Computer Science 2026-04-02 Ayoub Ghriss

Mixed-integer rounding (MIR) cutting planes (cuts) are effective at improving the strength of a linear relaxation for mixed-integer linear programming (MIP) problems. The cuts in this family are derived by aggregating constraints then…

Optimization and Control · Mathematics 2024-12-16 Oscar Guaje , Arnaud Deza , Aleksandr M. Kazachkov , Elias B. Khalil

We introduce $\mathcal{V}$-polyhedral disjunctive cuts (VPCs) for generating valid inequalities from general disjunctions. Cuts are critical to integer programming solvers, but the benefit from many families is only realized when the cuts…

Optimization and Control · Mathematics 2024-02-20 Egon Balas , Aleksandr M. Kazachkov

We show that the integration-by-parts reductions of various two-loop integral topologies can be efficiently obtained by applying unitarity cuts to a specific set of subgraphs and solving associated polynomial (syzygy) equations.

High Energy Physics - Theory · Physics 2016-07-08 Kasper J. Larsen , Yang Zhang

Algorithms based on spectral graph cut objectives such as normalized cuts, ratio cuts and ratio association have become popular in recent years because they are widely applicable and simple to implement via standard eigenvector…

Computer Vision and Pattern Recognition · Computer Science 2014-11-27 Xiangyang Zhou , Jiaxin Zhang , Brian Kulis

We investigate the theoretical complexity of branch-and-bound (BB) and cutting plane (CP) algorithms for mixed-integer optimization. In particular, we study the relative efficiency of BB and CP, when both are based on the same family of…

Optimization and Control · Mathematics 2020-11-23 Amitabh Basu , Michele Conforti , Marco Di Summa , Hongyi Jiang

We investigate a clustering problem with data from a mixture of Gaussians that share a common but unknown, and potentially ill-conditioned, covariance matrix. We start by considering Gaussian mixtures with two equally-sized components and…

Machine Learning · Statistics 2021-11-30 Damek Davis , Mateo Díaz , Kaizheng Wang

Cutting plane methods are a fundamental approach for solving integer linear programs (ILPs). In each iteration of such methods, additional linear constraints (cuts) are introduced to the constraint set with the aim of excluding the previous…

Optimization and Control · Mathematics 2024-06-28 Pol Puigdemont , Stratis Skoulakis , Grigorios Chrysos , Volkan Cevher

The phase-transition behavior of the NP-hard vertex-cover (VC) combinatorial optimization problem is studied numerically by linear programming (LP) on ensembles of random graphs. As the basic Simplex (SX) algorithm suitable for such LPs may…

Statistical Mechanics · Physics 2022-10-05 G. Claussen , A. K. Hartmann

We present tools and methods to generalize parity compilation to digital quantum computing devices with arbitrary connectivity graphs and construct circuit implementations for the constraint Hamiltonian of higher-order constrained binary…

Quantum Physics · Physics 2025-12-01 Roeland ter Hoeven , Anette Messinger , Wolfgang Lechner