Fully realistic multi-criteria timetable information systems

Millions of people use public transportation and consult electronic timetable information systems. A customer selects from the connections offered by the system according to personal preferences. The chosen connection is typically a compromise based on the importance of several criteria, including departure and arrival time, travel time, comfort and ticket cost. Consequently, multi-criteria optimization should be used to deliver “attractive” alternatives. We developed the concept of advanced Pareto optimality as an evolution of the classical Pareto optimality approach. It delivers more alternatives and removes unattractive solutions from the results to suit the notion of attractive connections for all potential customers. Realistic modeling of the search for attractive connections leads to shortest-path algorithms. Fast search algorithms are needed to answer customer requests in only a few milliseconds since the schedules are modeled as large graphs (several hundred thousand edges and nodes). The graphs are either time-expanded or time-dependent to model the dimension of time. In contrast to the majority of scientific work on the subject, our approach is fully realistic without simplifying assumptions. We extended the time-expanded graph model to an exact representation satisfying all constraints of a real schedule. Based on a generalization of Dijkstra’s shortest-path algorithm, we developed our full-fledged multi-criteria timetable information system MOTIS (Multi Objective Traffic Information System). It delivers valid connections according to the principle of advanced Pareto optimality. A customer may actually buy a ticket for the connections determined by our system. Furthermore, we also explored the time-dependent model and built a prototype system working on that model as a proof of concept. We also investigated several additional criteria that had not been considered before, for example special offers (reduced ticket cost under certain conditions, e.g. based on the availability of contingents) or the reliability of interchanges, a measure of how likely it is to catch all connecting trains of a trip. Moreover, we present approaches to the search for night trains with the additional objective of ensuring reasonable sleeping times without the need for train changes. Our algorithms respecting these criteria are fast and deliver attractive alternatives. We explored and adapted existing speed-up techniques and developed new ones suitable for our scenario. In an extensive computational study we discuss the cost of regarding the criteria, the effect of various parameterizations of our algorithm, and the impact of the developed speed-up techniques. Applying these, we achieve runtimes of about one quarter of a second on average and solve most of the queries (95%) in less than a second. Delays occur quite frequently in public transportation. They may invalidate connections as interchanges become infeasible. Current systems do not take that into account. At the utmost, they add changed departure or arrival times to connections calculated according to the static schedule. By incorporating information about delays into our model, we are able to deliver valid connections. We propose a multi-server architecture that allows several search servers to be updated by a central server distributing delay data. The simulation of a whole day with more than 6 million status messages takes less than two minutes. In our architecture, update phases may be scheduled to guarantee the availability of service at all times. We have built user interfaces and visualization tools for our system. Additionally, we have created a new service: proactive route guidance. Within this service a planned trip is registered in CoCoAS (our Connection Controller and Alternatives System). While the passenger travels, the system continously checks the status of the connection. As soon as the system determines that the connection will break, it offers alternatives. By computing these alternatives as early as possible, an asset of our system, more and better options can be explored.

[1]  Ariel Orda,et al.  Shortest-path and minimum-delay algorithms in networks with time-dependent edge-length , 1990, JACM.

[2]  S. Pallottino,et al.  Shortest Path Algorithms in Transportation models: classical and innovative aspects , 1997 .

[3]  Dorothea Wagner,et al.  Pareto Paths with SHARC , 2009, SEA.

[4]  Peter Sanders,et al.  Goal-directed shortest-path queries using precomputed cluster distances , 2010, JEAL.

[5]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[6]  Karsten Weihe,et al.  On the cardinality of the Pareto set in bicriteria shortest path problems , 2006, Ann. Oper. Res..

[7]  Peter Sanders,et al.  Engineering highway hierarchies , 2006, JEAL.

[8]  Karsten Weihe,et al.  Getting Train Timetables into the Main Storage , 2002, Electron. Notes Theor. Comput. Sci..

[9]  Arthur Warburton,et al.  Approximation of Pareto Optima in Multiple-Objective, Shortest-Path Problems , 1987, Oper. Res..

[10]  Matthias Müller-Hannemann,et al.  Finding All Attractive Train Connections by Multi-criteria Pareto Search , 2004, ATMOS.

[11]  Rolf H. Möhring,et al.  Fast Point-to-Point Shortest Path Computations with Arc-Flags , 2006, The Shortest Path Problem.

[12]  Matthias Müller-Hannemann,et al.  Efficient On-Trip Timetable Information in the Presence of Delays , 2008, ATMOS.

[13]  Jens Vygen,et al.  The Book Review Column1 , 2020, SIGACT News.

[14]  D. Shier,et al.  An empirical investigation of some bicriterion shortest path algorithms , 1989 .

[15]  Kim Allan Andersen,et al.  A label correcting approach for solving bicriterion shortest-path problems , 2000, Comput. Oper. Res..

[16]  Giuseppe F. Italiano,et al.  Experimental analysis of dynamic all pairs shortest path algorithms , 2004, SODA '04.

[17]  Matthias Müller-Hannemann,et al.  Accelerating Time-Dependent Multi-Criteria Timetable Information is Harder Than Expected , 2009, ATMOS.

[18]  Kurt Mehlhorn,et al.  A Heuristic for Dijkstra's Algorithm with Many Targets and Its Use in Weighted Matching Algorithms , 2001, ESA.

[19]  Donald B. Johnson,et al.  Efficient Algorithms for Shortest Paths in Sparse Networks , 1977, J. ACM.

[20]  Matthias Müller-Hannemann,et al.  Efficient Timetable Information in the Presence of Delays , 2009, Robust and Online Large-Scale Optimization.

[21]  Giuseppe F. Italiano,et al.  Engineering Shortest Path Algorithms , 2004, WEA.

[22]  Frank Schulz,et al.  Timetable information and shortest paths , 2005 .

[23]  Haim Kaplan,et al.  Better Landmarks Within Reach , 2007, WEA.

[24]  Rolf H. Möhring,et al.  Verteilte Verbindungssuche im öffentlichen Personenverkehr Graphentheoretische Modelle und Algorithmen , 1999, Angewandte Mathematik, insbesondere Informatik.

[25]  Robert E. Tarjan,et al.  The pairing heap: A new form of self-adjusting heap , 2005, Algorithmica.

[26]  Ariel Orda,et al.  Minimum weight paths in time-dependent networks , 1991, Networks.

[27]  Gianlorenzo D'Angelo,et al.  Arc-Flags in Dynamic Graphs , 2009, ATMOS.

[28]  Daniel Delling,et al.  Time-Dependent SHARC-Routing , 2008, Algorithmica.

[29]  Matthias Müller-Hannemann,et al.  Paying Less for Train Connections with MOTIS , 2005, ATMOS.

[30]  Matthias Müller-Hannemann,et al.  Improved Search for Night Train Connections , 2007, ATMOS.

[31]  M. Kostreva,et al.  Time Dependency in Multiple Objective Dynamic Programming , 1993 .

[32]  Christos D. Zaroliagis,et al.  Towards Realistic Modeling of Time-Table Information through the Time-Dependent Approach , 2004, Electron. Notes Theor. Comput. Sci..

[33]  Andrew V. Goldberg,et al.  Computing the shortest path: A search meets graph theory , 2005, SODA '05.

[34]  Daniel Delling,et al.  Engineering and Augmenting Route Planning Algorithms , 2009 .

[35]  I. Murthy,et al.  A parametric approach to solving bicriterion shortest path problems , 1991 .

[36]  Robert E. Tarjan,et al.  Fibonacci heaps and their uses in improved network optimization algorithms , 1984, JACM.

[37]  Xavier Gandibleux,et al.  An Annotated Bibliography of Multiobjective Combinatorial Optimization , 2000 .

[38]  Horst W. Hamacher,et al.  Algorithms for time-dependent bicriteria shortest path problems , 2006, Discret. Optim..

[39]  Paolo Penna,et al.  Online train disposition: to wait or not to wait? , 2002, Electron. Notes Theor. Comput. Sci..

[40]  Peter van Emde Boas,et al.  Design and implementation of an efficient priority queue , 1976, Mathematical systems theory.

[41]  Peter Widmayer,et al.  Railway Delay Management: Exploring Its Algorithmic Complexity , 2004, SWAT.

[42]  Karsten Weihe,et al.  Dijkstra's algorithm on-line: an empirical case study from public railroad transport , 2000, JEAL.

[43]  F. Glover,et al.  A computational analysis of alternative algorithms and labeling techniques for finding shortest path trees , 1979, Networks.

[44]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[45]  Peter Sanders,et al.  Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks , 2008, WEA.

[46]  Peter Sanders,et al.  Time-Dependent Contraction Hierarchies , 2009, ALENEX.

[47]  Peter Sanders,et al.  Dynamic Highway-Node Routing , 2007, WEA.

[48]  Peter Sanders,et al.  Engineering Fast Route Planning Algorithms , 2007, WEA.

[49]  Christos D. Zaroliagis,et al.  Experimental Comparison of Shortest Path Approaches for Timetable Information , 2004, ALENEX/ANALC.

[50]  Ludolf E. Meester,et al.  Stochastic delay propagation in railway networks and phase-type distributions , 2007 .

[51]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[52]  Daniel Delling,et al.  SHARC: Fast and robust unidirectional routing , 2008, JEAL.

[53]  Dorothea Wagner,et al.  Engineering Time-Expanded Graphs for Faster Timetable Information , 2008 .

[54]  Yann Disser,et al.  Multi-criteria Shortest Paths in Time-Dependent Train Networks , 2008, WEA.

[55]  Dirk Theune,et al.  Robuste und effiziente Methoden zur Lösung von Wegproblemen , 1995, Teubner-Texte zur Informatik.

[56]  M. S. Hung,et al.  Performance of shortest path algorithms in network flow problems , 1990 .

[57]  Christos D. Zaroliagis,et al.  Using Multi-level Graphs for Timetable Information in Railway Systems , 2002, ALENEX.

[58]  Rolf H. Möhring,et al.  Partitioning Graphs to Speed Up Dijkstra's Algorithm , 2005, WEA.

[59]  Peter Sanders,et al.  Fast Routing in Road Networks with Transit Nodes , 2007, Science.

[60]  Karsten Weihe,et al.  Pareto Shortest Paths is Often Feasible in Practice , 2001, WAE.

[61]  Leon Peeters,et al.  The Computational Complexity of Delay Management , 2005, WG.

[62]  K. Cooke,et al.  The shortest route through a network with time-dependent internodal transit times , 1966 .

[63]  Andreas S. Schulz,et al.  Optimal Routing of Traffic Flows with Length Restrictions in Networks with Congestion , 1999 .

[64]  Kurt Mehlhorn,et al.  Faster algorithms for the shortest path problem , 1990, JACM.

[65]  Anita Schöbel,et al.  To Wait or Not to Wait? The Bicriteria Delay Management Problem in Public Transportation , 2007, Transp. Sci..

[66]  Dorothea Wagner,et al.  Time-Dependent Route Planning , 2009, Encyclopedia of GIS.

[67]  Dominik Schultes,et al.  Route Planning in Road Networks , 2008 .

[68]  Kurt Mehlhorn,et al.  Resource Constrained Shortest Paths , 2000, ESA.

[69]  Thomas Willhalm,et al.  Combining Speed-Up Techniques for Shortest-Path Computations , 2004, WEA.

[70]  Peter Sanders,et al.  Engineering Route Planning Algorithms , 2009, Algorithmics of Large and Complex Networks.

[71]  Thomas Willhalm,et al.  Engineering shortest paths and layout algorithms for large graphs , 2005 .

[72]  D. Wagner,et al.  Timetable Information Updating in Case of Delays : Modeling Issues ⋆ , 2008 .

[73]  Gerth Stølting Brodal,et al.  Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries , 2004, ATMOS.

[74]  Ronald J. Gutman,et al.  Reach-Based Routing: A New Approach to Shortest Path Algorithms Optimized for Road Networks , 2004, ALENEX/ANALC.

[75]  Kurt Mehlhorn,et al.  CNOP - A Package for Constrained Network Optimization , 2001, ALENEX.

[76]  Christos D. Zaroliagis,et al.  Multiobjective Optimization: Improved FPTAS for Shortest Paths and Non-Linear Objectives with Applications , 2006, Theory of Computing Systems.

[77]  Martin Holzer Engineering planar-separator and shortest-path algorithms , 2008 .

[78]  E. Martins On a multicriteria shortest path problem , 1984 .

[79]  Christos D. Zaroliagis,et al.  Efficient models for timetable information in public transportation systems , 2008, JEAL.

[80]  Dorothea Wagner,et al.  Landmark-Based Routing in Dynamic Graphs , 2007, WEA.

[81]  Anita Schöbel,et al.  Integer Programming Approaches for Solving the Delay Management Problem , 2004, ATMOS.

[82]  Robert B. Dial,et al.  Algorithm 360: shortest-path forest with topological ordering [H] , 1969, CACM.

[83]  Haim Kaplan,et al.  Reach for A*: Efficient Point-to-Point Shortest Path Algorithms , 2006, ALENEX.

[84]  Peter Sanders,et al.  Combining Hierarchical and Goal-Directed Speed-Up Techniques for Dijkstra's Algorithm , 2008, WEA.

[85]  Christos D. Zaroliagis,et al.  Timetable Information: Models and Algorithms , 2004, ATMOS.

[86]  Ming S. Hung,et al.  A computational study of efficient shortest path algorithms , 1988, Comput. Oper. Res..

[87]  Satish Rao,et al.  Planar graphs, negative weight edges, shortest paths, and near linear time , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[88]  K. Nachtigall Time depending shortest-path problems with applications to railway networks , 1995 .

[89]  Dorothea Wagner,et al.  Engineering multilevel overlay graphs for shortest-path queries , 2009, JEAL.