← 研踪 PaperTrailarXiv:2604.05152 · v3
Polynomial and Pseudopolynomial Algorithms for Two Classes of Bin Packing Instances
首次提交 2026-04-07 04:28
版本更新 2026-11-04 06:23
雷达观测 2026-11-05 11:11
摘要
The Bin Packing Problem (BPP) and Cutting Stock Problem (CSP) are classical combinatorial optimization problems extensively studied since the 1960s. State-of-the-art exact algorithms are based on set-cover and arc-flow models whose linear relaxation, rounded up, matches the integer optimum for most benchmark instances, a condition known as the Integer Round-up Property (IRUP). In 2016, Delorme et al. showed that most existing instances could be solved within ten minutes by approaches exploiting this property. This motivated them to introduce two new classes of instances, Augmented IRUP (AI) and Augmented Non-IRUP (ANI), designed to challenge the exact algorithms available at the time. Although these classes have motivated significant advances over the past decade, 13 out of 500 AI and ANI instances remain unsolved within standard time limits in the literature. In this paper, we show that while AI and ANI are particularly hard for mixed-integer programming methods, the BPP restricted to these classes is not strongly NP-hard. We present polynomial-time algorithms for the AI class and pseudopolynomial-time algorithms for the ANI class, which solve all such instances orders of magnitude faster than previous approaches. They are also straightforward to adapt to the Skiving Stock Problem, the dual counterpart of the CSP. In addition, they can be used as preprocessing routines in exact methods, as their runtime is independent of the instance class, although they are guaranteed to return an optimality status only for instances belonging to the class for which they were designed.
观测到的版本
相邻记录可能跳过中间版本；首次发现 v2 及以上也会标为版本更新。
v3 · 2026-11-04 06:23 · 最新观测版本
Polynomial and Pseudopolynomial Algorithms for Two Classes of Bin Packing Instances
The Bin Packing Problem (BPP) and Cutting Stock Problem (CSP) are classical combinatorial optimization problems extensively studied since the 1960s. State-of-the-art exact algorithms are based on set-cover and arc-flow models whose linear relaxation, rounded up, matches the integer optimum for most benchmark instances, a condition known as the Integer Round-up Property (IRUP). In 2016, Delorme et al. showed that most existing instances could be solved within ten minutes by approaches exploiting this property. This motivated them to introduce two new classes of instances, Augmented IRUP (AI) and Augmented Non-IRUP (ANI), designed to challenge the exact algorithms available at the time. Although these classes have motivated significant advances over the past decade, 13 out of 500 AI and ANI instances remain unsolved within standard time limits in the literature. In this paper, we show that while AI and ANI are particularly hard for mixed-integer programming methods, the BPP restricted to these classes is not strongly NP-hard. We present polynomial-time algorithms for the AI class and pseudopolynomial-time algorithms for the ANI class, which solve all such instances orders of magnitude faster than previous approaches. They are also straightforward to adapt to the Skiving Stock Problem, the dual counterpart of the CSP. In addition, they can be used as preprocessing routines in exact methods, as their runtime is independent of the instance class, although they are guaranteed to return an optimality status only for instances belonging to the class for which they were designed.
查看此版本解读 →查看此版本原文 ↗