Abstract
The solution of the algebraic path problem, for instance with the algorithm by Floyd and Warshall, is part of the classical repertoire on algorithms. This solution presupposes that path costs are computed in a closed semiring or a similar algebraic structure. The associativity and distributivity laws in such algebraic structures exclude many possible path costs. In the seventies, several authors have developed algebraic methods in order to overcome such restrictions.
Recently, applications have created the need for handling such unstructured path costs. Motivated by such applications, we investigate the efficiency of algorithms solving path problems with unstructured costs. The resulting procedure allows for developing efficient algorithms for solving the algebraic path problem with respect to a wide variety of cost measures, including finding shortest paths with discounting, and counting paths or computing the expected length of paths with desired properties.
(preliminary version)
This research has been supported by the Project EMC Simulation Systems by the German Ministery of Research and Technology (BMFT) No. 0118/13AS0099
Preview
Unable to display preview. Download preview PDF.
References
A. V. Aho, J. E. Hopcroft, and J. D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Series in Computer Science and Engineering. Addison-Wesley, Reading, MA, 1974.
R. C. Backhouse and B. A. Carré. Regular algebra applied to path-finding problems. Journal of the Institute of Mathematics and its Applications, 15:161–186, 1975.
J. Berstel. Transductions and Context-Free Languages. Teubner Verlag, Stuttgart, Germany, 1979.
J. Berstel and C. Reutenauer. Rational Series and Their Languages. EATCS Monographs on Theoretical Computer Science. Springer Verlag, New York, NY, 1984.
B. A. Carré. An algebra for network routing problems. Journal of the Institute of Mathematics and its Applications, 7:273–294, 1971.
B. A. Carré. Graphs and Networks. Oxford Applied Mathematics and Computing Science Series. Clarendon Press, 1979.
T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. McGraw-Hill, New York, 1990.
R. Dechter and J. Pearl. Generalized best-first search strategies and the optimality of A*. Journal of the Association for Computing Machinery, 32(3):505–536, 1985.
J. G. Fletcher. A more general algorithm for computing closed semiring costs between vertices of a directed graph. Communications of the Association for Computing Machinery, 23(6):350–351, 1980.
R. N. Floyd. Algorithm 97—shortest path. Communications of the Association for Computing Machinery, 5(6):345, 1962.
M. Gondran and M. Minoux. Graphs and Algorithms. Wiley-Interscience Series in Discrete Mathematics. John Wiley & Sons, Chichester, U.K., 1984.
W. John. Remarks to the solution of EMC-problems on printed circuit boards. In Proceedings of the Seventh International Conference on Electromagnetic Compatbility, pages 68–72, York, U.K., 1990.
S. C. Kleene. Representation of events in nerve nets and finite automata. In C. Shannon and J. McCarthy, editors, Automata Studies, pages 3–40. Princeton University Press, Princeton, NJ, 1956.
T. Lengauer and D. Theune. Efficient algorithms for path problems with general cost criteria. In B. Monien and M. Rodriguez-Artalejo, editors, 18th International Symposium on Automata, Languages, and Programming, pages 314–326. Springer Lecture Notes in Computer Science, No. 510 Springer Verlag, New York, 1991.
G. Rote. A systolic array algorithm for the algebraic path problem (shortest path, matrix inversion). Computing, 34(3):191–219, 1985.
G. Rote. Path problems in graphs. Computing Supplement, 7:155–189, 1990.
R. E. Tarjan. Fast algorithms for solving path problems. Journal of the Association for Computing Machinery, 28(3):594–614, 1981.
R. E. Tarjan. A unified approach to path problems. Journal of the Association for Computing Machinery, 28(3):577–593, 1981.
S. Warshall. A theorem on boolean matrices. Journal of the Association for Computing Machinery, 9(1):11–12, 1962.
A. Wongseelashote. Semirings and path spaces. Discrete Mathematics, 26:55–78, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lengauer, T., Theune, D. (1991). Unstructured path problems and the making of semirings. In: Dehne, F., Sack, JR., Santoro, N. (eds) Algorithms and Data Structures. WADS 1991. Lecture Notes in Computer Science, vol 519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028261
Download citation
DOI: https://doi.org/10.1007/BFb0028261
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54343-5
Online ISBN: 978-3-540-47566-8
eBook Packages: Springer Book Archive