Papers by Roberto Baldacci
3 paper(s) by this author
· All BibTeX
PrecPack: An Efficient Open-Source Exact Solver for Bin Packing with Generalized Precedence Constraints
Efficient resource use in packing and assembly-line applications requires decisions that jointly account for capacity and precedence constraints. The strongly NP-hard bin packing problem with generalized precedence constraints (BPP-GP) models such decisions by minimizing the number of ordered, capacitated bins required to pack weighted items, even when precedence requirements span multiple bins. Existing exact algorithms primarily focus on classical special cases, whereas general BPP-GP has been addressed only via compact integer models and heuristics, with no efficient open-source exact solver. We present PrecPack, a unified exact solver that extends branch-bound-and-remember (BBR) to arbitrary nonnegative precedence weights and naturally specializes to the classical cases. Generalized states capture restrictions that remain active across future bins, which are addressed through branching, dominance, and conflict-aware lower bounds. Root column generation uses fixed-point arithmetic to compute numerically valid dual bounds for pruning or to prove optimality. To support reuse and verification, we provide common programming and command-line interfaces, independent assignment checking, explicit termination statuses, and reproducible batch execution; the core procedures require no commercial software. In same-machine, single-threaded comparisons on classic assembly-line benchmarks, more instances are proven optimal, and average computing times are substantially reduced relative to leading source-available BBR implementations. Further comparisons with published benchmark results for bin packing with precedence constraints and BPP-GP also show that more instances were proved optimal and that reported average gaps were smaller on most benchmark sets. PrecPack is released under the MIT License at https://github.com/Sunkanghong-Wang/PrecPack.
The Bin Packing Problem with Setups: Formulation, Structural Properties and Computational Insights
We introduce and study a novel generalization of the classical Bin Packing Problem (BPP), called the Bin Packing Problem with Setups (BPPS). In this problem, which has many practical applications in production planning and logistics, the items are partitioned into classes and, whenever an item from a given class is packed into a bin, a setup weight and cost are incurred. We present a natural Integer Linear Programming (ILP) formulation for the BPPS and analyze the structural properties of its Linear Programming relaxation. We show that the lower bound provided by the relaxation can be arbitrarily poor in the worst case. We introduce the Minimum Classes Inequalities (MCIs), which strengthen the relaxation and restore a worst-case performance guarantee of 1/2, matching that of the classical BPP. In addition, we derive the Minimum Bins Inequality (MBI) to further reinforce the relaxation, together with an upper bound on the number of bins in any optimal BPPS solution, which leads to a significant reduction in the number of variables and constraints of the ILP formulation. Finally, we establish a comprehensive benchmark of 480 BPPS instances and conduct extensive computational experiments. The results show that the integration of MCIs, the MBI, and the upper bound on the number of bins substantially improves the performance of the ILP formulation in terms of solution time and number of instances solved to optimality.
Optimal Solution of Vehicle Routing Problems with Fractional Objective Function
Published
• View Publication
• BIB
This work proposes a first extensive analysis of the Vehicle Routing Problem with Fractional Objective Function (vrpfof). We investigate how the principal techniques used either in the context of fractional programming or in the context of vehicle routing problems interact. We present new dual and primal bounding procedures which have been incorporated in an exact method. The method proposed allows to extend specific variants of \vrp\ to their counterpart with a fractional objective function. Extensive numerical experiments prove the validity of our approach.