arXiv subjects

Fabio Furini

Publications and source records attributed to Fabio Furini.

9 recordsLinked to original sources

arXiv2026

An Integer Programming Approach to Compute Lower Bounds for Ramsey Numbers Using Circulant Graphs

The Ramsey number $R(m,n)$ is the smallest order at which every red-blue edge coloring of a complete graph must contain a blue clique (a complete subgraph) of size $m$ or a red clique of size $n$. Determining these numbers exactly is extremely hard, and even certifying a lower bound requires exhibiting an explicit coloring that avoids both cliques. We develop an integer programming framework for certifying such lower bounds, restricting the search to circulant graphs, whose rotational symmetry lets us reformulate the problem in a projected distance space, reducing the number of binary variables from quadratic to linear in the graph order. We strengthen this projected model through coefficient reduction and solve it with a branch-and-cut algorithm whose separation routine exploits the common neighborhood structure of circulant graphs, combining heuristic and exact maximum-clique algorithms. In an extensive computational campaign on circulant graphs with up to 410 vertices, we improve the best lower bounds previously obtained by other methods by up to 11 points for 25 values of $R(3,n)$ with $24\le n\le49$ and $n\neq27$, each backed by an explicit graph certificate that can be independently verified with a stand-alone exact clique solver. To the best of our knowledge, our method also provides the first reproducible optimization-based procedure for certifying circulant Ramsey numbers $R_C(m,n)$, which we use to establish eight new values of $R_C(3,n)$ with $13\le n\le20$. Our framework, graph certificates, and stand-alone checker are provided as supplementary material to support independent verification and reuse.

math.OC↗

arXiv2026

Optimal Macroitem Sequences in the Precedence Constrained Knapsack Problem

The Precedence Constrained Knapsack Problem (PCKP) asks for a maximum-profit subset of items, subject to a knapsack capacity constraint and precedence constraints encoded by a directed acyclic graph. We study the structure of optimal solutions of the Linear Programming (LP) relaxation of the natural Integer Linear Programming formulation of the PCKP. We introduce the notion of macroitem and of feasible sequence of macroitems, which partitions the item set while respecting the precedence structure. We establish that an optimal LP solution is fully characterized by the optimal sequence of macroitems: items are packed in nonincreasing order of the profit-to-weight ratio of their macroitem, with at most one macroitem fractionally included. We further show that the breakpoints of the parametric Lagrangian function of the capacity constraint coincide with the profit-to-weight ratios of the macroitems in the optimal sequence, and provide a complete combinatorial characterization of optimal dual solutions in terms of a feasible flow within each macroitem. Finally, for the special case in which the precedence graph is a forest, we devise an O(n^2) algorithm to compute the optimal sequence, which improves to O(n log n) for in-trees or out-trees, where n denotes the number of items.

math.OC↗

arXiv2026

Advancing Branch-and-Price for Graph Coloring: New Pricing Strategies and Benchmark Results

This paper proposes BPCOL+, an exact branch-and-price algorithm for the Graph Coloring Problem. The algorithm integrates enhanced pricing strategies based on Zero-Suppressed Binary Decision Diagrams (ZDDs) for solving the pricing problem associated with the maximal-stable-set-based set-covering formulation. After computing upper and lower bounds at the root node using heuristic procedures and column generation, BPCOL+ reduces the size of the ZDD by applying maximal stable set reduction techniques that exploit alternative dual vectors. Computational experiments on the 137 DIMACS benchmark instances and on 5,000 recently proposed Erd\H{o}s--R\'enyi instances show that BPCOL+ outperforms existing exact branch-and-price algorithms and remains highly competitive with state-of-the-art SAT-based exact solvers. In particular, BPCOL+ solves 96 DIMACS instances within one hour and proves optimality for 4,641 of the 5,000 Erd\H{o}s--R\'enyi instances.

math.OC↗

arXiv2026

Hardness of some optimization problems over correlation polyhedra

We prove the \textbf{NP}-hardness, using Karp reductions, of some problems related to the correlation polytope and its corresponding cone, spanned by all of the $n\times n$ rank-one matrices over $\{0,1\}$. The problems are: membership, rank of the decomposition, and a ``relaxed rank'' obtained from relaxing the zero-norm expression for the rank to an $\ell_1$ norm. While membership and rank are natural problems for any matrix cone, the relaxed rank problem occurs in some signal processing and statistical applications.

math.OC↗

arXiv2026

Branch-and-price strikes back for the k-vertex cut problem

Given an undirected graph, the k-vertex cut problem (k-VCP) asks for a minimum-cost set of vertices whose removal yields at least k connected components in the resulting graph. The k-VCP is an important problem in network optimization, with applications in infrastructure protection and epidemic containment. We present a new extended integer linear programming (ILP) formulation that unifies and strengthens existing models and serves as the foundation for a new branch-and-price algorithm for the k-VCP. An in-depth theoretical study enables us to devise algorithmic components such as tailored branching rules that preserve the structure of the pricing problems, as well as valid inequalities and symmetry-handling techniques. We also show that our new model dominates all previous ILP formulations of the k-VCP in terms of their linear relaxations, which theoretically justifies the computational effectiveness of our approach. Extensive computational experiments against state-of-the-art methods demonstrate substantially improved performance, both in terms of instances solved to proven optimality and running times.

math.OC↗

arXiv2025

A Tight 2-Approximation Algorithm for the Bin Packing Problem with Setups

We study approximation algorithms for the Bin Packing Problem with Setups (BPPS), a generalization of the classical Bin Packing Problem (BPP) in which items are partitioned into classes and activating a class in a bin consumes a setup weight and incurs a setup cost. We show that direct adaptations of Next Fit (NF), First Fit (FF), Best Fit (BF), and Worst Fit (WF), as well as their decreasing-order variants, have unbounded absolute worst-case performance ratios, even with unit-weight items and zero setup costs. We then introduce a two-phase algorithm, $\mathrm{TP}_{\mathcal{A}}$ , that packs each class independently with a BPP algorithm and subsequently merges compatible packing patterns. We prove that the solution returned by $\mathrm{TP}_{\mathcal{A}}$ has cost at most twice the optimum under the assumption that produces pairwise merge-maximal solutions, i.e., such that no two packing patterns in the class-wise solution can be feasibly merged. If also runs in polynomial time, this yields a 2-approximation algorithm for the BPPS. The factor is tight: the absolute worst-case performance ratio of $\mathrm{TP}_{\mathcal{A}}$ is exactly 2, even when solves every class-wise BPP instance optimally. Since every Any Fit algorithm returns pairwise merge-maximal solutions, it follows that $\mathrm{TP}_{\mathrm{FF}}$ , $\mathrm{TP}_{\mathrm{BF}}$ , $\mathrm{TP}_{\mathrm{WF}}$ , and their decreasing-order variants all have an absolute worst-case performance ratio exactly 2. If, in addition, is an $\alpha$-approximation algorithm with $\alpha \leq 2$, we obtain a finer, component-wise guarantee with factor 2 for the bin-opening cost and factor $\alpha$ for the setup-cost component.

math.OC↗

arXiv2025

The Bin Packing Problem with Setups: Formulations, Structural Properties and Computational Insights

We introduce the Bin Packing Problem with Setups (BPPS), a generalization of the classical Bin Packing Problem with applications in production planning and logistics. In this problem, the items are partitioned into classes, and packing items of a class in a bin incurs a setup weight and cost. We propose a natural Integer Linear Programming (ILP) formulation for the BPPS and analyze its Linear Programming relaxation. We show that the resulting lower bound can be arbitrarily weak and introduce the Minimum Classes Inequalities (MCIs), which guarantee a worst-case ratio of 1/2 with respect to the optimal objective function value of the BPPS. We also derive the Minimum Bins Inequality (MBI) and an upper bound on the number of bins in any optimal solution, substantially reducing the formulation size. We further develop an arc-flow formulation for the BPPS based on a tailored graph construction and compression procedure. Its LP relaxation dominates that of the natural formulation, and both the MCIs and the MBI are extended to the arc-flow model. Finally, we introduce a benchmark comprising 576 randomly generated instances and 36 real-world instances derived from a vehicle-routing application, and conduct extensive computational experiments. Results show that the natural formulation performs best on instances with small or medium item weights, whereas the arc-flow formulation is more effective for large item weights and on the real-world testbed.

math.CO↗

arXiv2025

Strength of the Upper Bounds for the Edge-Weighted Maximum Clique Problem

We theoretically and computationally compare the strength of the three main upper bounds from the literature on the optimal value of the Edge-Weighted Maximum Clique Problem (EWMCP). We provide a set of instances for which the ratio between any of the three upper bounds and the optimal value of the EWMCP is unbounded, showing that none of them can give a performance guarantee. We further analyze the relative strength among the three upper bounds by determining, for every choice of a ratio between any two of them, the largest values it can attain and providing families of instances for which such values can be reached. Our results show that, for each pair of upper bounds, there exist appropriately chosen instances on which either bound is tighter than the other. Our theoretical analysis is complemented by extensive computational experiments on two benchmark datasets: the standard DIMACS instances and randomly generated instances, providing practical insights into the empirical strength of the upper bounds.

math.OC↗

arXiv2019

A Branch-and-Price Algorithm for the Temporal Bin Packing Problem

We study an extension of the classical Bin Packing Problem, where each item consumes the bin capacity during a given time window that depends on the item itself. The problem asks for finding the minimum number of bins to pack all the items while respecting the bin capacity at any time instant. A polynomial-size formulation, an exponential-size formulation, and a number of lower and upper bounds are studied. A branch-and-price algorithm for solving the exponential-size formulation is introduced. An overall algorithm combining the different methods is then proposed and tested trough extensive computational experiments.

math.OC↗