Combining dynamic programming with filtering to solve a four-stage two-dimensional guillotine-cut bounded knapsack problem

François Clautiaux (1, 2) , Ruslan Sadykov (1, 2) , François Vanderbeck (2, 1) , Quentin Viaud (2, 1)

1 Realopt - Reformulations based algorithms for Combinatorial Optimization
2 IMB - Institut de Mathématiques de Bordeaux

The two-dimensional knapsack problem consists in packing a set of small rectangular items into a given large rectangle while maximizing the total reward associated with selected items. We restrict our attention to packings that emanate from a k-stage guillotine-cut process. We introduce a generic model where a knapsack solution is represented by a flow in a directed acyclic hypergraph. This hypergraph model derives from a forward labeling dynamic programming recursion that enumerates all non-dominated feasible cutting patterns. To reduce the hypergraph size, we make use of further dominance rules and a filtering procedure based on Lagrangian reduced costs fixing of hyperarcs. Our hypergraph model is (incrementally) extended to account for explicit bounds on the number of copies of each item. Our exact forward labeling algorithm is numerically compared to solving the max-cost flow model in the base hyper-graph with side constraints to model production bounds. Benchmarks are reported on instances from the literature and on datasets derived from a real-world application.

Mots clés: Cutting and Packing; Dynamic Programming; Lagrangian Filtering; Reduced-Cost Fixing

Domaines: Recherche opérationnelle [math.OC]

François Clautiaux, Ruslan Sadykov, François Vanderbeck, Quentin Viaud. Combining dynamic programming with filtering to solve a four-stage two-dimensional guillotine-cut bounded knapsack problem. Discrete Optimization, 2018, 29, pp.18-44. ⟨10.1016/j.disopt.2018.02.003⟩. ⟨hal-01426690⟩