This paper gives a shortest path algorithm for CFG (context free grammar) labeled and weighted digraphs where edge weights may be positive or negative, but negative-weight cycles are not allowed in the underlying unlabeled graph. These results build directly on an algorithm of Barrett et al. [SIAM J. Comput. 30 (2000) 809-837]. In addition to many other results, they gave a shortest path algorithm for CFG labeled and weighted digraphs where all edges are nonnegative. Our algorithm is based closely on Barrett et al.'s algorithm as well as Johnson's algorithm for shortest paths in digraphs whose edges may have positive or negative weights.
Mots clés : shortest paths, negative and positive edge weights, context free grammars
@article{ITA_2009__43_3_567_0, author = {Bradford, Phillip G. and Thomas, David A.}, title = {Labeled shortest paths in digraphs with negative and positive edge weights}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {567--583}, publisher = {EDP-Sciences}, volume = {43}, number = {3}, year = {2009}, doi = {10.1051/ita/2009011}, mrnumber = {2541131}, zbl = {1175.68196}, language = {en}, url = {http://www.numdam.org/articles/10.1051/ita/2009011/} }
TY - JOUR AU - Bradford, Phillip G. AU - Thomas, David A. TI - Labeled shortest paths in digraphs with negative and positive edge weights JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2009 SP - 567 EP - 583 VL - 43 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2009011/ DO - 10.1051/ita/2009011 LA - en ID - ITA_2009__43_3_567_0 ER -
%0 Journal Article %A Bradford, Phillip G. %A Thomas, David A. %T Labeled shortest paths in digraphs with negative and positive edge weights %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2009 %P 567-583 %V 43 %N 3 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita/2009011/ %R 10.1051/ita/2009011 %G en %F ITA_2009__43_3_567_0
Bradford, Phillip G.; Thomas, David A. Labeled shortest paths in digraphs with negative and positive edge weights. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009) no. 3, pp. 567-583. doi : 10.1051/ita/2009011. http://www.numdam.org/articles/10.1051/ita/2009011/
[1] Formal-language-constrained path problems. SIAM J. Comput. 30 (2000) 809-837. | MR | Zbl
, and ,[2] Label Constrained Shortest Path Algorithms: An Experimental Evaluation using Transportation Networks. Tech. Report: Virginia Tech (USA), Arizona State University (USA), and Karlsruhe University (Germany), Presented at at the workshop on the DIMACS Shortest-Path Challenge, http://i11www.ira.uka.de/algo/people/mholzer/publications/pdf/bbhkmw-lcspa-07.pdf
, , , , and ,[3] Classical and contemporary shortest path problems in road networks: Implementation and experimental analysis of the TRANSMIS router. European Symposium on Algorithms (ESA 02). Lect. Notes Comput. Sci. 2461 (2002) 126-138. | Zbl
, , , and ,[4] Fast Dyck and semi-Dyck constrained shortest paths on DAGs (submitted).
and ,[5] Matrix multiplication via arithmetic progressions. J. Symb. Comput. 9 (1990) 251-280. | MR | Zbl
and ,[6] Introduction to Algorithms, 2nd edition. MIT Press (2001). | MR | Zbl
, , and ,[7] Limits to Parallel Computation: P-Completeness Theory. Oxford University Press (1995). | MR | Zbl
, and ,[8] Introduction to Automata Theory, Languages, and Computation. Addison-Wesley (1979). | MR | Zbl
and ,[9] Efficient algorithms for shortest paths in sparse networks. J. ACM 24(1) (1977) 1-13. | MR | Zbl
,[10] Finding regular simple paths in graph databases. SIAM J. Comput. 24 (1995) 1235-1258. | MR | Zbl
and ,[11] The exact path length problem. J. Algor. 42 (2002) 41-53. | MR | Zbl
and ,[12] Complete pushdown languages. Unpublished manuscript (1979).
,[13] Graph-theoretic methods in database theory. In Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS '90). ACM, New York, NY (1990) 230-242.
,[14] Exact and Approximate Distances in Graphs - A survey. In Proceedings of the Ninth ESA (2001) 33-48. | MR | Zbl
,Cité par Sources :