On Computational Complexity of Pickup-and-Delivery Problems with Precedence Constraints or Time Windows

Pickup-and-Delivery (PD) problems consider routing vehicles to achieve a set of tasks related to “Pickup”, and to “Delivery”. Meanwhile these tasks might subject to Precedence Constraints (PDPC) or Time Windows (PDTW) constraints. PD is a variant to Vehicle Routing Problems (VRP), which have been extensively studied for decades. In the recent years, PD demonstrates its closer relevance to AI. With an awareness that few work has been dedicated so far in addressing where the tractability boundary line can be drawn for PD problems, we identify in this paper a set of highly restricted PD problems and prove their NPcompleteness. Many problems from a multitude of applications and industry domains are general versions of PDPC. Thus this new result of NPhardness, of PDPC, not only clarifies the computational complexity of these problems, but also sets up a firm base for the requirement on use of approximation or heuristics, as opposed to looking for exact but intractable algorithms for solving them. We move on to perform an empirical study to locate sources of intractability in PD problems. That is, we propose a local-search formalism and algorithm for solving PDPC problems in particular. Experimental results support strongly effectiveness and efficiency of the local-search. Using the local-search as a solver for randomly generated PDPC problem instances, we obtained interesting and potentially useful insights regarding computational hardness of PDPC and PD.

[1]  L. Goddard,et al.  Operations Research (OR) , 2007 .

[2]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[3]  Carme Torras,et al.  Robotics and Autonomous Systems: Introduction , 2003 .

[4]  Nelishia Pillay,et al.  Vehicle Routing Problems , 2018 .

[5]  Samy Bengio,et al.  The Vehicle Routing Problem with Time Windows Part II: Genetic Search , 1996, INFORMS J. Comput..

[6]  Michel Gendreau,et al.  Vehicle Routing Problem with Time Windows, Part II: Metaheuristics , 2005, Transp. Sci..

[7]  Manuel Iori,et al.  Pickup-and-Delivery Problems for Goods Transportation , 2014, Vehicle Routing.

[8]  Hakim Mitiche,et al.  A taxonomy for task allocation problems with temporal and ordering constraints , 2017, Robotics Auton. Syst..

[9]  Sarvapali D. Ramchurn,et al.  Sharing Rides with Friends: A Coalition Formation Algorithm for Ridesharing , 2015, AAAI.

[10]  Maria L. Gini Multi-Robot Allocation of Tasks with Temporal and Ordering Constraints , 2017, AAAI.

[11]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[12]  Benjamin W. Wah,et al.  A discrete Lagrangian-based global-search method for solving satisfiability problems , 1996, Satisfiability Problem: Theory and Applications.

[13]  M. D. Wilkinson,et al.  Management science , 1989, British Dental Journal.

[14]  Kathleen Daly,et al.  Volume 7 , 1998 .

[15]  Steven Minton,et al.  Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems , 1992, Artif. Intell..

[16]  Michael Grüninger,et al.  The Complexity of Partial-Order Plan Viability Problems , 2014, ICAPS.

[17]  Richard F. Hartl,et al.  A survey on pickup and delivery problems , 2008 .

[18]  Paul Shaw,et al.  Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems , 1998, CP.

[19]  Abdul Sattar,et al.  Modelling and solving temporal reasoning as propositional satisfiability , 2008, Artif. Intell..

[20]  Sergiy Butenko,et al.  2012 Journal of Global Optimization best paper award , 2013, Journal of Global Optimization.

[21]  Bernhard Nebel,et al.  Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.

[22]  Jieping Ye,et al.  Deep Multi-View Spatial-Temporal Network for Taxi Demand Prediction , 2018, AAAI.

[23]  Xing Tan,et al.  Towards tractable reasoning on temporal projection problems , 2009, 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems.

[24]  Peter Jeavons,et al.  Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra , 2003, JACM.

[25]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[26]  A. Provetti,et al.  Reasoning about Partially OrderedEvents in the Event Calculus , 1994 .

[27]  David Engel Foundations Of Artificial Intelligence And Expert Systems , 2016 .

[28]  R. Lathe Phd by thesis , 1988, Nature.

[29]  Gilbert Laporte,et al.  Classical and modern heuristics for the vehicle routing problem , 2000 .

[30]  M. Sol The general pickup and delivery problem , 2010 .

[31]  Gilbert Laporte,et al.  A Tabu Search Heuristic for the Vehicle Routing Problem , 1991 .

[32]  Hochschule für Welthandel Wien Journal für Betriebswirtschaft , 2013 .

[33]  Bart Selman,et al.  Satisfiability Solvers , 2008, Handbook of Knowledge Representation.

[34]  Juan José Salazar González,et al.  The multi‐commodity pickup‐and‐delivery traveling salesman problem , 2014, Networks.

[35]  Jan Karel Lenstra,et al.  Job Shop Scheduling by Local Search , 1996, INFORMS J. Comput..

[36]  Rolf H. Möhring,et al.  Computationally Tractable Classes of Ordered Sets , 1989 .

[37]  Abdul Sattar,et al.  Modelling and Solving Temporal Reasoning as Satisfiability , 2005 .

[38]  Oladele A. Ogunseitan,et al.  in Transportation Science , 2009 .

[39]  Michal Maciejewski,et al.  Towards a Testbed for Dynamic Vehicle Routing Algorithms , 2017, PAAMS.

[40]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[41]  Daniel Gooch,et al.  Communications of the ACM , 2011, XRDS.

[42]  Jacques Desrosiers,et al.  The Pickup and Delivery Problem with Time Windows , 1989 .

[43]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[44]  Ronald L. Rivest,et al.  Training a 3-node neural network is NP-complete , 1988, COLT '88.

[45]  Michel Gendreau,et al.  A Tabu Search Heuristic for the Vehicle Routing Problem with Soft Time Windows , 1997, Transp. Sci..

[46]  J. Christopher Beck,et al.  Cost-Based Heuristics and Node Re-Expansions across the Phase Transition , 2017, SOCS.

[47]  S. Crawford,et al.  Volume 1 , 2012, Journal of Diabetes Investigation.