English
Related papers

Related papers: A Combinatorial Cut-and-Lift Procedure with an App…

200 papers

Recent advancements in quantum computing and quantum-inspired algorithms have sparked renewed interest in binary optimization. These hardware and software innovations promise to revolutionize solution times for complex problems. In this…

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 goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite…

Optimization and Control · Mathematics 2021-06-25 Xiaoyi Gu , Santanu S. Dey , Jean-Philippe P. Richard

The {\sc $c$-Balanced Separator} problem is a graph-partitioning problem in which given a graph $G$, one aims to find a cut of minimum size such that both the sides of the cut have at least $cn$ vertices. In this paper, we present new…

Data Structures and Algorithms · Computer Science 2010-11-22 Manjish Pal

Efficient omission of symmetric solution candidates is essential for combinatorial problem-solving. Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints (SBCs) for…

Logic in Computer Science · Computer Science 2022-04-26 Alice Tarzariol , Martin Gebser , Konstantin Schekotihin

This paper studies binary quadratic programs in which the objective is defined by a Euclidean distance matrix, subject to a general polyhedral constraint set. This class of nonconcave maximisation problems includes the capacitated,…

Optimization and Control · Mathematics 2023-09-19 Hoa T. Bui , Sandy Spiers , Ryan Loxton

Since its inception, Benders Decomposition (BD) has been successfully applied to a wide range of large-scale mixed-integer (linear) problems. The key element of BD is the derivation of Benders cuts, which are often not unique. In this…

Optimization and Control · Mathematics 2024-05-21 Mojtaba Hosseini , John Turner

The lifted multicut problem is a combinatorial optimization problem whose feasible solutions relate one-to-one to the decompositions of a graph $G = (V, E)$. Given an augmentation $\widehat{G} = (V, E \cup F)$ of $G$ and given costs $c \in…

Discrete Mathematics · Computer Science 2024-04-15 Lucas Fabian Naumann , Jannik Irmai , Shengxian Zhao , Bjoern Andres

The distributed operating room (OR) scheduling problem aims to find an assignment of surgeries to ORs across collaborating hospitals that share their waiting lists and ORs. We propose a stochastic extension of this problem where surgery…

Optimization and Control · Mathematics 2020-10-06 Cheng Guo , Merve Bodur , Dionne M. Aleman , David R. Urbach

Block-structured integer linear programs (ILPs) play an important role in various application fields. We address $n$-fold ILPs where the matrix $\mathcal{A}$ has a specific structure, i.e., where the blocks in the lower part of…

Data Structures and Algorithms · Computer Science 2025-10-13 Klaus Jansen , Kai Kahler , Lis Pirotton , Malte Tutas

Robust optimization is a framework for modeling optimization problems involving data uncertainty and during the last decades has been an area of active research. If we focus on linear programming (LP) problems with i) uncertain data, ii)…

Numerical Analysis · Computer Science 2017-02-15 Roberto Mínguez , Víctor Casero-Alonso

Cutting and packing problems are present in many, at first glance unconnected, areas, therefore it's beneficial to have a good understanding of their underlying structure, to select proper techniques for finding solutions. Cutting and…

Optimization and Control · Mathematics 2023-11-14 Szymon Wróbel

Combinatorial optimization is considered a promising class of problems in which quantum computers can show significant advantages. However, problems of practical relevance typically have more variables than current or foreseeable quantum…

Quantum Physics · Physics 2025-12-23 Mathias Schmid , Naeimeh Mohseni , Michael J. Hartmann

In this paper we consider the problem of distributed nonlinear optimisation of a separable convex cost function over a graph subject to cone constraints. We show how to generalise, using convex analysis, monotone operator theory and…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-16 Richard Heusdens , Guoqiang Zhang

Balas and Mazzola linearization (BML) is widely used in devising cutting plane algorithms for quadratic 0-1 programs. In this article, we improve BML by first strengthening the primal formulation of BML and then considering the dual…

Data Structures and Algorithms · Computer Science 2012-04-24 Wajeb Gharibi

This paper proposes an algorithmic framework for various reconfiguration problems using zero-suppressed binary decision diagrams (ZDDs), a data structure for families of sets. In general, a reconfiguration problem checks if there is a…

Data Structures and Algorithms · Computer Science 2022-12-19 Takehiro Ito , Jun Kawahara , Yu Nakahata , Takehide Soh , Akira Suzuki , Junichi Teruyama , Takahisa Toda

When solving combinatorial problems, pruning symmetric solution candidates from the search space is essential. Most of the existing approaches are instance-specific and focus on the automatic computation of Symmetry Breaking Constraints…

Logic in Computer Science · Computer Science 2022-08-08 Alice Tarzariol

Cut-generating linear programs (CGLPs) play a key role as a separation oracle to produce valid inequalities for the feasible region of mixed-integer programs. When incorporated inside branch-and-bound, the cutting planes obtained from CGLPs…

Optimization and Control · Mathematics 2023-11-01 Atefeh Rajabalizadeh , Danial Davarnia

Linear programming (LP) decoding approximates maximum-likelihood (ML) decoding of a linear block code by relaxing the equivalent ML integer programming (IP) problem into a more easily solved LP problem. The LP problem is defined by a set of…

Information Theory · Computer Science 2013-01-01 Xiaojie Zhang , Paul H. Siegel

In recent years, there has been considerable interest in the transformative potential of additive manufacturing (AM) since it allows for producing highly customizable and complex components while reducing lead times and costs. The rise of…

Discrete Mathematics · Computer Science 2023-08-21 Benedikt Zipfel , Felix Tamke , Leopold Kuttner