Perspectives on integer programming for time-dependent models

Integer programs for solving time-dependent models—models in which decisions have to be made about the times at which activities occur and/or resources are utilized—are pervasive in industry, but are notoriously difficult to solve. In the last few years, interest in the role of discretization in approaches to solve these problems has intensified. One novel paradigm, dynamic discretization discovery, has emerged with the potential to greatly enhance the practical tractability of time-dependent models using integer programming technology. We introduce dynamic discretization discovery, illustrate its use on the traveling salesman problem with time windows, highlight its core principles, and point to opportunities for further research. Relations to other approaches for tackling time-dependent models are also discussed.

[1]  Andrea Lodi,et al.  A Hybrid Exact Algorithm for the TSPTW , 2002, INFORMS J. Comput..

[2]  Natashia Boland,et al.  A Bucket Indexed Formulation for Nonpreemptive Single Machine Scheduling Problems , 2016, INFORMS J. Comput..

[3]  Isaac Plana,et al.  Time-dependent asymmetric traveling salesman problem with time windows: Properties and an exact algorithm , 2019, Discret. Appl. Math..

[4]  Natashia Boland,et al.  Interval-Based Dynamic Discretization Discovery for Solving the Continuous-Time Service Network Design Problem , 2020 .

[5]  P. Baptiste,et al.  On scheduling a single machine to minimize a piecewise linear objective function: A compact MIP formulation , 2009 .

[6]  Xuesong Zhou,et al.  Finding Optimal Solutions for Vehicle Routing Problem with Pickup and Delivery Services with Time Windows: A Dynamic Programming Approach Based on State-space-time Network Representations , 2015, ArXiv.

[7]  Maurice Queyranne,et al.  The Time-Dependent Traveling Salesman Problem and Its Application to the Tardiness Problem in One-Machine Scheduling , 1978, Oper. Res..

[8]  Roberto Roberti,et al.  New State-Space Relaxations for Solving the Traveling Salesman Problem with Time Windows , 2012, INFORMS J. Comput..

[9]  Andrew B. Philpott,et al.  Continuous-Time Flows in Networks , 1990, Math. Oper. Res..

[10]  Luigi Di Puglia Pugliese,et al.  A survey of resource constrained shortest path problems: Exact solution approaches , 2013, Networks.

[11]  P. Nash,et al.  A Class of Continuous Network Flow Problems , 1982, Math. Oper. Res..

[12]  Martin W. P. Savelsbergh,et al.  Local search in routing problems with time windows , 1984 .

[13]  Christoph Helmberg,et al.  Dynamic graph generation for the shortest path problem in time expanded networks , 2014, Math. Program..

[14]  Luís Gouveia,et al.  Load-dependent and precedence-based models for pickup and delivery problems , 2015, Comput. Oper. Res..

[15]  Amelia C. Regan,et al.  Local truckload pickup and delivery with hard time window constraints , 2002 .

[16]  Amelia Regan,et al.  On the convergence of a new time window discretization method for the traveling salesman problem with time window constraints , 2009, Comput. Ind. Eng..

[17]  Natashia Boland,et al.  Scheduling network maintenance jobs with release dates and deadlines to maximize total flow over time: Bounds and solution strategies , 2014, Comput. Oper. Res..

[18]  Laurence A. Wolsey,et al.  Modelling Practical Lot-Sizing Problems as Mixed-Integer Programs , 2001, Manag. Sci..

[19]  Cláudio Alves,et al.  Iterative aggregation and disaggregation algorithm for pseudo-polynomial network flow models with side constraints , 2017, Eur. J. Oper. Res..

[20]  Sanjeeb Dash,et al.  A Time Bucket Formulation for the Traveling Salesman Problem with Time Windows , 2012, INFORMS J. Comput..

[21]  Paolo Toth,et al.  State-space relaxation procedures for the computation of bounds to routing problems , 1981, Networks.

[22]  Martin Skutella,et al.  An Introduction to Network Flows over Time , 2008, Bonn Workshop of Combinatorial Optimization.

[23]  Laurence A. Wolsey,et al.  bc -- prod: A Specialized Branch-and-Cut System for Lot-Sizing Problems , 2000 .

[24]  Martin W. P. Savelsbergh,et al.  The Continuous-Time Service Network Design Problem , 2017, Oper. Res..

[25]  Stefan Irnich,et al.  Shortest Path Problems with Resource Constraints , 2005 .

[26]  André Langevin,et al.  A two-commodity flow formulation for the traveling salesman and the makespan problems with time windows , 1990, Networks.

[27]  Michel Gendreau,et al.  An Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows , 1998, Transp. Sci..

[28]  Marcus Poggi de Aragão,et al.  Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems , 2010, Math. Program. Comput..

[29]  Günther R. Raidl,et al.  Strategies for Iteratively Refining Layered Graph Models , 2019, HM.

[30]  Matteo Fischetti,et al.  Konrad-zuse-zentrum F ¨ Ur Informationstechnik Berlin Solving the Asymmetric Travelling Salesman Problem with Time Windows by Branch-and-cut Solving the Asymmetric Travelling Salesman Problem with Time Windows by Branch-and-cut , 2022 .

[31]  Edward K. Baker,et al.  Technical Note - An Exact Algorithm for the Time-Constrained Traveling Salesman Problem , 1983, Oper. Res..

[32]  José María Sanchis,et al.  An asymmetric TSP with time windows and with time-dependent travel times and costs: An exact solution through a graph transformation , 2008, Eur. J. Oper. Res..

[33]  Martin W. P. Savelsbergh,et al.  Dynamic Discretization Discovery for Solving the Time-Dependent Traveling Salesman Problem with Time Windows , 2020, Transp. Sci..

[34]  Subhash Suri,et al.  On the Complexity of Time-Dependent Shortest Paths , 2011, Algorithmica.

[35]  Markus Leitner,et al.  Layered graph approaches for combinatorial optimization problems , 2019, Comput. Oper. Res..

[36]  Natashia Boland,et al.  The Continuous-Time Inventory-Routing Problem , 2020, Transp. Sci..

[37]  Andy Philpott,et al.  An adaptive discretization algorithm for a class of continuous network programs , 1995, Networks.

[38]  Artur Alves Pessoa,et al.  The time dependent traveling salesman problem: polyhedra and algorithm , 2013, Math. Program. Comput..

[39]  Stefan Irnich Resource extension functions: properties, inversion, and generalization to segments , 2008, OR Spectr..

[40]  Stefan Irnich,et al.  Path-Reduced Costs for Eliminating Arcs in Routing and Scheduling , 2010, INFORMS J. Comput..

[41]  Juan José Miranda Bront,et al.  An integer programming approach for the time-dependent traveling salesman problem with time windows , 2017, Comput. Oper. Res..

[42]  Imdat Kara,et al.  Formulations for Minimizing Tour Duration of the Traveling Salesman Problem with Time Windows , 2015 .