Abstract
We investigate the complexity of shortest paths in time-dependent graphs where the costs of edges (that is, edge travel times) vary as a function of time, and as a result the shortest path between two nodes s and d can change over time. Our main result is that when the edge cost functions are (polynomial-size) piecewise linear, the shortest path from s to d can change n Θ(logn) times, settling a several-year-old conjecture of Dean (Technical Reports, 1999, 2004). However, despite the fact that the arrival time function may have superpolynomial complexity, we show that a minimum delay path for any departure time interval can be computed in polynomial time. We also show that the complexity is polynomial if the slopes of the linear function come from a restricted class and describe an efficient scheme for computing a (1+ϵ)-approximation of the travel time function.
Similar content being viewed by others
Notes
One can show that if the true travel time functions for edges are linear but are approximated discretely using fixed-size buckets, then the error in the travel time estimate can grow exponentially, depending on the slope of the linear functions.
Discontinuities in A[e] map to horizontal edges in A[e r] and vice versa. For example, if an edge e has a discontinuous function A[e], i.e., A[e](τ −)=x and A[e](τ +)=y with x<y, then in A[e r] each time in the range [x,y] maps to τ: when traveling from s, one must arrive at edge e at or before t=τ in order to reach the other end of e at or before any time in the range [x,y].
References
Basch, J., Guibas, L.J., Hershberger, J.: Data structures for mobile data. In: Proc. of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 747–756 (1997)
Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems. Math. Oper. Res. 16(3), 580–595 (1991)
Cai, X., Kloks, T., Wong, C.K.: Time-varying shortest path problems with constraints. Networks 29(3), 141–150 (1997)
Carstensen, P.J.: Parametric cost shortest path problems (1984). Unpublished Bellcore memo
Chabini, I.: Discrete dynamic shortest path problems in transportation applications: complexity and algorithms with optimal run time. J. Transp. Res. Board. 1645, 170–175 (1998)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT Press, New York (2001)
Dean, B.C.: Continuous-time dynamic shortest path algorithms. Master’s thesis, Massachusetts Institute of Technology (1999)
Dean, B.C.: Shortest paths in FIFO time-dependent networks: theory and algorithms. Technical report (2004)
Dehne, F., Omran, M.T., Sack, J.-R.: Shortest paths in time-dependent FIFO networks using edge load forecasts. In: Proc. of 2nd International Workshop on Computational Transportation Science, pp. 1–6 (2009)
Dehne, F., Omran, M.T., Sack, J.R.: Shortest paths in time-dependent FIFO networks. Algorithmica, 1–20 (2010)
Delling, D., Wagner, D.: Time-dependent route planning. In: Robust and Online Large-Scale Optimization, vol. 5868, pp. 207–230 (2009)
Demetrescu, C., Italiano, G.F.: Dynamic shortest paths and transitive closure: An annotated bibliography (draft) (2005). See www.diku.dk/PATH05/biblio-dynpaths.pdf
Ding, B., Yu, J.X., Qin, L.: Finding time-dependent shortest paths over large graphs. In: Proc. of the 11th International Conference on Extending Database Technology, pp. 205–216 (2008)
Dreyfus, S.E.: An appraisal of some shortest-path algorithms. Oper. Res. 17(3), 395–412 (1969)
Erickson, J.: Maximum flows and parametric shortest paths in planar graphs. In: Proc. of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 794–804 (2010)
Fernández-Baca, D., Slutzki, G.: Parametric problems on graphs of bounded tree-width. J. Algorithms 16(3), 408–430 (1994)
Ford, L.R., Fulkerson, D.R.: Flows in Networks. Princeton University Press, Princeton (1962)
Guibas, L.J.: Kinetic data structures—a state of the art report. In: Agarwal, P.K., Kavraki, L.E., Mason, M. (eds.) Proc. of the Workshop on Algorithmic Foundations of Robotics, pp. 191–209 (1998)
Gusfield, D.M.: Sensitivity analysis for combinatorial optimization. PhD thesis, University of California, Berkeley (1980)
Kanoulas, E., Du, Y., Xia, T., Zhang, D.: Finding fastest paths on a road network with speed patterns. In: Proc. of the 22nd International Conference on Data Engineering, p. 10 (2006)
Karp, R.M., Orlin, J.B.: Parametric shortest path algorithms with an application to cyclic staffing. Discrete Appl. Math. 3(1), 37–45 (1981)
King, V.: Fully dynamic algorithms for maintaining all-pairs shortest paths and transitive closure in digraphs. In: Proc. of the 40th Annual Symposium on Foundations of Computer Science, pp. 81–89 (1999)
Mitchell, J.S.B., Papadimitriou, C.H.: The weighted region problem: finding shortest paths through a weighted planar subdivision. J. ACM 38(1), 18–73 (1991)
Mulmuley, K., Shah, P.: A lower bound for the shortest path problem. In: Proc. of the 15th Annual IEEE Conference on Computational Complexity, pp. 14–21 (2000)
Nachtigall, K.: Time depending shortest-path problems with applications to railway networks. Eur. J. Oper. Res. 83(1), 154–166 (1995)
Nannicini, G., Delling, D., Liberti, L., Schultes, D.: Bidirectional A ∗ search for time-dependent fast paths. In: Workshop on Experimental Algorithms. Lecture Notes in Computer Science, vol. 5038, pp. 334–346 (2008)
Nikolova, E., Brand, M., Karger, D.R.: Optimal route planning under uncertainty. In: Proc. of International Conference on Automated Planning and Scheduling (2006)
Nikolova, E., Kelner, J.A., Brand, M., Mitzenmacher, M.: Stochastic shortest paths via quasi-convex maximization. In: Proc. of 14th European Symposium on Algorithms, pp. 552–563 (2006)
Orda, A., Rom, R.: Shortest-path and minimum-delay algorithms in networks with time-dependent edge-length. J. ACM 37(3), 607–625 (1990)
Roditty, L., Zwick, U.: On dynamic shortest paths problems. In: Proc. of 12th Annual European Symposium on Algorithms, vol. 3221, pp. 580–591 (2004)
Sherali, H.D., Ozbay, K., Subramanian, S.: The time-dependent shortest pair of disjoint paths problem: complexity, models, and algorithms. Networks 31(4), 259–272 (1998)
Thorup, M.: Worst-case update times for fully-dynamic all-pairs shortest paths. In: Proc. of the 37th Annual ACM Symposium on Theory of Computing, pp. 112–119 (2005)
Young, N., Tarjan, R., Orlin, J.: Faster parametric shortest path and minimum balance algorithms. Networks 21(2), 205–221 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of this paper was presented at the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA), 2011.
This work was partially supported by National Science Foundation grants CNS-1035917 and CCF-0514738.
Rights and permissions
About this article
Cite this article
Foschini, L., Hershberger, J. & Suri, S. On the Complexity of Time-Dependent Shortest Paths. Algorithmica 68, 1075–1097 (2014). https://doi.org/10.1007/s00453-012-9714-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-012-9714-7