Compact integer linear programming formulations for the temporal bin packing problem with fire-ups

Abstract In this article we examine a specific version of the temporal bin packing problem (TBPP) that occurs in job-to-server scheduling. The TBPP represents a generalization of the well-known bin packing problem (BPP) with respect to an additional time dimension, and it requires to find the minimum number of bins (servers) to accommodate a given list of items (jobs) at any instant of time. In addition to this goal, recent publications suggest to also incorporate the number of fire-ups of the respective servers as an important factor in sustainable and energy-efficient overall operation. Addressing both these objectives by a weighted sum method typically increases the modeling complexity, thus leading to challenging ILP formulations, two of which have already been described in the literature. It has been shown that the parameter used to weight the two objectives strongly influences the applicability of heuristics and, therefore, the difficulty of the overall problem, so that only favorable choices can be handled so far. Even for these tailored scenarios, the current approaches already fail to compute an exact solution of many moderately-sized instances in reasonable times. For this reason, we propose various new preprocessing techniques to strengthen the LP bound and/or to reduce the numbers of variables or constraints appearing in the existing ILP formulations as well as one alternative modeling approach for the problem under consideration. Based on numerical tests with differently characterized sets of benchmark instances, the new and improved formulations are shown to lead (on average) to better performances (than compact state-of-the-art models) in terms of instances solved to optimality and computation times.

[1]  Zsolt Tuza,et al.  Tight absolute bound for First Fit Decreasing bin-packing: FFD(l) ≤ 11/9 OPT(L) + 6/9 , 2013, Theor. Comput. Sci..

[2]  Stefan Irnich,et al.  Stabilized branch-and-price algorithms for vector packing problems , 2018, Eur. J. Oper. Res..

[3]  Mauro Dell'Amico,et al.  A branch-and-price algorithm for the temporal bin packing problem , 2019, Comput. Oper. Res..

[4]  Andrea Lodi,et al.  Two-dimensional packing problems: A survey , 2002, Eur. J. Oper. Res..

[5]  Antonio Frangioni,et al.  New MINLP Formulations for the Unit Commitment Problems with Ramping Constraints , 2019 .

[6]  Paolo Toth,et al.  Knapsack Problems: Algorithms and Computer Implementations , 1990 .

[7]  Pamela H. Vance,et al.  Branch-and-Price Algorithms for the One-Dimensional Cutting Stock Problem , 1998, Comput. Optim. Appl..

[8]  Frits C. R. Spieksma,et al.  A branch-and-bound algorithm for the two-dimensional vector packing problem , 1994, Comput. Oper. Res..

[9]  Sunilkumar S. Manvi,et al.  Resource management for Infrastructure as a Service (IaaS) in cloud computing: A survey , 2014, J. Netw. Comput. Appl..

[10]  Paolo Toth,et al.  Lower bounds and algorithms for the 2-dimensional vector packing problem , 2001, Discret. Appl. Math..

[11]  Alexander Schill,et al.  Power Consumption Estimation Models for Processors, Virtual Machines, and Servers , 2014, IEEE Transactions on Parallel and Distributed Systems.

[12]  Vincenzo Mancuso,et al.  A measurement-based analysis of the energy consumption of data center servers , 2014, e-Energy.

[13]  Morteza Zadimoghaddam,et al.  Overcommitment in Cloud Services: Bin Packing with Chance Constraints , 2019, Manag. Sci..

[14]  Alberto Caprara,et al.  Uncommon Dantzig-Wolfe Reformulation for the Temporal Knapsack Problem , 2013, INFORMS J. Comput..

[15]  Antonio Frangioni,et al.  Large-scale unit commitment under uncertainty: an updated literature survey , 2018, Annals of Operations Research.

[16]  Manuel Iori,et al.  Bin packing and cutting stock problems: Mathematical models and exact algorithms , 2016, Eur. J. Oper. Res..

[17]  Guido Perboli,et al.  A Generalized Bin Packing Problem for parcel delivery in last-mile logistics , 2019, Eur. J. Oper. Res..

[18]  George L. Nemhauser,et al.  Solving binary cutting stock problems by column generation and branch-and-bound , 1994, Comput. Optim. Appl..

[19]  Manuel Iori,et al.  Enhanced Pseudo-polynomial Formulations for Bin Packing and Cutting Stock Problems , 2020, INFORMS J. Comput..

[20]  Daniele Vigo,et al.  An Exact Approach to the Strip-Packing Problem , 2003, INFORMS J. Comput..

[21]  Gleb Belov,et al.  A branch-and-cut-and-price algorithm for one-dimensional stock cutting and two-dimensional two-stage cutting , 2006, Eur. J. Oper. Res..

[22]  R. Gomory,et al.  A Linear Programming Approach to the Cutting-Stock Problem , 1961 .

[23]  Anders S. G. Andrae,et al.  On Global Electricity Usage of Communication Technology: Trends to 2030 , 2015 .

[24]  Christel Baier,et al.  Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing , 2019, Proceedings of the IEEE.

[25]  João Pedro Pedroso,et al.  Bin packing and related problems: General arc-flow formulation with graph compression , 2013, Comput. Oper. Res..

[26]  José M. Valério de Carvalho,et al.  A comparative study of the arcflow model and the one-cut model for one-dimensional cutting stock problems , 2018, Eur. J. Oper. Res..

[27]  Teodor Gabriel Crainic,et al.  Logistics capacity planning: A stochastic bin packing formulation and a progressive hedging meta-heuristic , 2016, Eur. J. Oper. Res..

[28]  Daniele Vigo,et al.  Bin packing approximation algorithms: Survey and classification , 2013 .

[29]  Esther M. Arkin,et al.  Scheduling jobs with fixed start and end times , 1987, Discret. Appl. Math..

[30]  José M. Valério de Carvalho,et al.  LP models for bin packing and cutting stock problems , 2002, Eur. J. Oper. Res..

[31]  Rajkumar Buyya,et al.  Article in Press Future Generation Computer Systems ( ) – Future Generation Computer Systems Cloud Computing and Emerging It Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility , 2022 .

[32]  J. M. Valério de Carvalho Exact solution of bin‐packing problems using column generation and branch‐and‐bound , 1999 .

[33]  J. Koomey Worldwide electricity used in data centers , 2008 .

[34]  Guntram Scheithauer,et al.  Introduction to Cutting and Packing Optimization , 2018 .

[35]  Mauro Dell'Amico,et al.  Combinatorial Benders' Cuts for the Strip Packing Problem , 2014, Oper. Res..

[36]  Stefan Irnich,et al.  Dual Inequalities for Stabilized Column Generation Revisited , 2016, INFORMS J. Comput..

[37]  Jeffrey D. Ullman,et al.  Worst-Case Performance Bounds for Simple One-Dimensional Packing Algorithms , 1974, SIAM J. Comput..

[38]  Marco A. Boschetti,et al.  New upper bounds for the two‐dimensional orthogonal non‐guillotine cutting stock problem , 2002 .

[39]  Hiroshi Nagamochi,et al.  Exact algorithms for the two-dimensional strip packing problem with and without rotations , 2009, Eur. J. Oper. Res..

[40]  L. V. Kantorovich,et al.  Mathematical Methods of Organizing and Planning Production , 1960 .

[41]  John Martinovic,et al.  Mathematical models and approximate solution approaches for the stochastic bin packing problem , 2021, Comput. Oper. Res..

[42]  Manuel Iori,et al.  Arc Flow Formulations Based on Dynamic Programming: Theoretical Foundations and Applications , 2020, Eur. J. Oper. Res..

[43]  Alberto Caprara,et al.  Solving the Temporal Knapsack Problem via Recursive Dantzig-Wolfe Reformulation , 2016, Inf. Process. Lett..

[44]  Jacques Carlier,et al.  New reduction procedures and lower bounds for the two-dimensional bin packing problem with fixed orientation , 2007, Comput. Oper. Res..

[45]  Andreas Fischer,et al.  Cutting stock problems with nondeterministic item lengths: a new approach to server consolidation , 2018, 4OR.

[46]  Xia Li,et al.  Hybrid shuffled frog leaping algorithm for energy-efficient dynamic consolidation of virtual machines in cloud data centers , 2014, Expert Syst. Appl..

[47]  Nursen Aydin,et al.  Multi-objective temporal bin packing problem: An application in cloud computing , 2020, Comput. Oper. Res..

[48]  N. Jones How to stop data centres from gobbling up the world’s electricity , 2018, Nature.

[49]  David S. Johnson,et al.  Approximation Algorithms for Bin-Packing — An Updated Survey , 1984 .

[50]  Michele Monaci,et al.  Exact solution techniques for two-dimensional cutting and packing , 2020, Eur. J. Oper. Res..

[51]  Benjamín Barán,et al.  Virtual Machine Placement Literature Review , 2015, ArXiv.

[52]  Ian Miguel,et al.  The Temporal Knapsack Problem and Its Solution , 2005, CPAIOR.

[53]  Claudio Gentile,et al.  Solving Nonlinear Single-Unit Commitment Problems with Ramping Constraints , 2006, Oper. Res..

[54]  José M. Valério de Carvalho,et al.  Using Extra Dual Cuts to Accelerate Column Generation , 2005, INFORMS J. Comput..

[55]  Barry O'Sullivan,et al.  The Temporal Bin Packing Problem: An Application to Workload Management in Data Centres , 2016, 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI).

[56]  Waltenegus Dargie,et al.  A Stochastic Model for Estimating the Power Consumption of a Processor , 2015, IEEE Transactions on Computers.

[57]  Manuel Iori,et al.  Improved flow-based formulations for the skiving stock problem , 2020, Comput. Oper. Res..

[58]  C. Gentile,et al.  Start-up/Shut-Down MINLP Formulations for the Unit Commitment with Ramp Constraints , 2020 .