English
Related papers

Related papers: Comparative analysis of mathematical formulations …

200 papers

We introduce a very natural generalization of the well-known problem of simultaneous congruences. Instead of searching for a positive integer $s$ that is specified by $n$ fixed remainders modulo integer divisors $a_1,\dots,a_n$ we consider…

Discrete Mathematics · Computer Science 2020-11-20 Max A. Deppert , Klaus Jansen , Kim-Manuel Klein

Quadratic unconstrained binary optimization problems (QUBOs) are intensively discussed in the realm of quantum computing and polynomial optimization. We provide a vast experimental study of semidefinite programming (SDP) relaxations of…

We present BiqBin, an exact solver for linearly constrained binary quadratic problems. Our approach is based on an exact penalty method to first efficiently transform the original problem into an instance of Max-Cut, and then to solve the…

Optimization and Control · Mathematics 2022-08-15 Nicolò Gusmeroli , Timotej Hrga , Borut Lužar , Janez Povh , Melanie Siebenhofer , Angelika Wiegele

The minimum common string partition problem is an NP-hard combinatorial optimization problem with applications in computational biology. In this work we propose the first integer linear programming model for solving this problem. Moreover,…

Artificial Intelligence · Computer Science 2014-05-23 Christian Blum , José A. Lozano , Pedro Pinacho Davidson

Cutting plane methods, particularly outer approximation, are a well-established approach for solving nonlinear discrete optimization problems without relaxing the integrality of decision variables. While powerful in theory, their…

Optimization and Control · Mathematics 2025-11-04 Hòa T. Bùi , Alberto De Marchi

A set of points $X = X_B \cup X_R \subseteq \mathbb{R}^d$ is linearly separable if the convex hulls of $X_B$ and $X_R$ are disjoint, hence there exists a hyperplane separating $X_B$ from $X_R$. Such a hyperplane provides a method for…

Discrete Mathematics · Computer Science 2017-12-29 Ricardo C. Corrêa , Diego Delle Donne , Javier Marenco

Nowadays hybrid evolutionary algorithms, i.e, heuristic search algorithms combining several mutation operators some of which are meant to implement stochastically a well known technique designed for the specific problem in question while…

Neural and Evolutionary Computing · Computer Science 2014-04-23 Boris Mitavskiy , Jun He

We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate the effect on mixed-integer linear programming (MIP) solvers…

Optimization and Control · Mathematics 2026-04-09 Pierre Bonami , Sanjeeb Dash , Anton Derkach , Andrea Lodi

We consider a non-polynomial cubic spline to develop the classes of methods for the numerical solution of singularly perturbed two-point boundary value problems. The proposed methods are second and fourth order accurate and applicable to…

Numerical Analysis · Mathematics 2012-06-13 Islam Khan , Tariq Aziz

Combinatorial optimization problems arise in a wide range of applications from diverse domains. Many of these problems are NP-hard and designing efficient heuristics for them requires considerable time and experimentation. On the other…

Data Structures and Algorithms · Computer Science 2020-01-07 Juho Lauri , Sourav Dutta , Marco Grassia , Deepak Ajwani

We derive a posteriori error estimates for the hybridizable discontinuous Galerkin (HDG) methods, including both the primal and mixed formulations, for the approximation of a linear second-order elliptic problem on conforming simplicial…

Numerical Analysis · Mathematics 2017-06-20 Mark Ainsworth , Guosheng Fu

This article presents a validation of a recently proposed strongly polynomial-time algorithm for the general linear programming problem. The proposed algorithm is an implicit reduction procedure that combines primal and dual linear…

Optimization and Control · Mathematics 2026-04-28 Samuel Awoniyi

We consider an extension of the set covering problem (SCP) introducing (i)~multicover and (ii)~generalized upper bound (GUB)~constraints. For the conventional SCP, the pricing method has been introduced to reduce the size of instances, and…

Data Structures and Algorithms · Computer Science 2018-01-09 Shunji Umetani , Masanao Arakawa , Mutsunori Yagiura

The varying coefficient model has received broad attention from researchers as it is a powerful dimension reduction tool for non-parametric modeling. Most existing varying coefficient models fitted with polynomial spline assume equidistant…

Methodology · Statistics 2022-06-15 Xufei Wang , Bo Jiang , Jun S. Liu

The pooling problem has applications, e.g., in petrochemical refining, water networks, and supply chains and is widely studied in global optimization. To date, it has largely been treated deterministically, neglecting the influence of…

Optimization and Control · Mathematics 2019-06-19 Johannes Wiebe , Inês Cecílio , Ruth Misener

The break minimization problem is a fundamental problem in sports scheduling. Recently, its quadratic unconstrained binary optimization (QUBO) formulation has been proposed, which has gained much interest with the rapidly growing field of…

Discrete Mathematics · Computer Science 2023-07-04 Koichi Fujii , Tomomi Matsui

Imaginary-time evolution has been shown to be a promising framework for tackling combinatorial optimization problems on quantum hardware. In this work, we propose a classical quantum-inspired strategy for solving combinatorial optimization…

Quantum Physics · Physics 2025-12-05 Erik M. Åsgrim , Ahsan Javed Awan

Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this functionality in the solver, more or less transparently to the…

Artificial Intelligence · Computer Science 2010-08-26 Lars Kotthoff , Neil C. A. Moore

The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines…

Discrete Mathematics · Computer Science 2025-04-04 Phablo F. S. Moura , Roel Leus , Hande Yaman

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