Abstract
Exotic semirings such as the “(max, +) semiring” (ℝ ∪ {−∞},max,+), or the “tropical semiring” (ℕ ∪ {+∞}, min, +), have been invented and reinvented many times since the late fifties, in relation with various fields: performance evaluation of manufacturing systems and discrete event system theory; graph theory (path algebra) and Markov decision processes, Hamilton-Jacobi theory; asymptotic analysis (low temperature asymptotics in statistical physics, large deviations, WKB method); language theory (automata with multiplicities).
Despite this apparent profusion, there is a small set of common, non-naive, basic results and problems, in general not known outside the (max, +) community, which seem to be useful in most applications. The aim of this short survey paper is to present what we believe to be the minimal core of (max, +) results, and to illustrate these results by typical applications, at the frontier of language theory, control, and operations research (performance evaluation of discrete event systems, analysis of Markov decision processes with average cost).
Basic techniques include: solving all kinds of systems of linear equations, sometimes with exotic symmetrization and determinant techniques; using the (max, +) Perron-Frobenius theory to study the dynamics of (max, +) linear maps. We point out some open problems and current developments.
Max Plus is a collective name for a working group on (max, +) algebra, at INRIA Rocquencourt, comprising currently: Marianne Akian, Guy Cohen, S.G., Jean-Pierre Quadrat and Michel Viot.
Preview
Unable to display preview. Download preview PDF.
References
M. Akian, R.B. Bapat, and S. Gaubert. Asymptotics of the Perron eigenvalue and eigenvector using max algebra. in preparation, 1996.
F. Baccelli, G. Cohen, G.J. Olsder, and J.P. Quadrat. Synchronization and Linearity. Wiley, 1992.
R.B. Bapat, D. Stanford, and P. van den Driessche. Pattern properties and spectral inequalities in max algebra. SIAM Journal of Matrix Analysis and Applications, 16(3):964–976, 1995.
A. Berman and R.J. Plemmons. Nonnegative matrices in the mathematical sciences. Academic Press, 1979.
T.S. Blyth and M.F. Janowitz. Residuation Theory. Pergamon press, 1972.
M. Brilman and J.M. Vincent. Synchronisation by resources sharing: a performance analysis. Technical report, MAI-IMAG, Grenoble, France, 1995.
P. Butkovič. Strong regularity of matrices — a survey of results. Discrete Applied Mathematics, 48:45–68, 1994.
P. Butkovič. Regularity of matrices in min-algebra and its time-complexity. Discrete Applied Mathematics, 57:121–132, 1995.
P. Butkovič and G. Hegedüs. An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Ekonomicko-matematicky Obzor, 20, 1984.
Z.Q. Cao, K.H. Kim, and F.W. Roush. Incline algebra and applications. Ellis Horwood, 1984.
G. Cohen, S. Gaubert, and J.P. Quadrat. Asymptotic throughput of continuous timed petri nets. In Proceedings of the 34th Conference on Decision and Control, New Orleans, Dec 1995.
G. Cohen, S. Gaubert, and J.P Quadrat. Kernels, images and projections in dioids. In Proceedings of WODES'96, Edinburgh, August 1996. IEE.
G. Cohen and J.-P. Quadrat, editors. 11th International Conference on Analysis and Optimization of Systems, Discrete Event Systems. Number 199 in Lect. Notes. in Control and Inf. Sci. Springer Verlag, 1994.
J.E. Cohen. Subadditivity, generalized products of random matrices and operations research. SIAM Review, 30:69–86, 1988.
R.A. Cuninghame-Green. Minimax Algebra. Number 166 in Lecture notes in Economics and Mathematical Systems. Springer, 1979.
R.A Cuninghame-Green. Minimax algebra and applications. Advances in Imaging and Electron Physics, 90, 1995.
A. Dembo and O. Zeitouni. Large Deviation Techniques and Applications. Jones and Barlett, 1993.
S. Gaubert. Théorie des systèmes linéaires dans les dioïdes. Thèse, École des Mines de Paris, July 1992.
S. Gaubert. Performance evaluation of (max,+) automata. IEEE Trans. on Automatic Control, 40(12), Dec 1995.
S. Gaubert. On the Burnside problem for semigroups of matrices in the (max,+) algebra. Semigroup Forum, 52:271–292, 1996.
M. Gondran and M. Minoux. Graphes et algorithmes. Eyrolles, Paris, 1979. Engl. transi. Graphs and Algorithms, Wiley, 1984.
M. Gondran and M. Minoux. Linear algebra in dioids: a survey of recent results. Annals of Discrete Mathematics, 19:147–164, 1984.
J. Gunawardena. Min-max functions. Discrete Event Dynamic Systems, 4:377–406, 1994.
J. Gunawardena, editor. Idempotency. Publications of the Newton Institute. Cambridge University Press, to appear in 1996 or 1997.
K. Hashiguchi. Improved limitedness theorems on finite automata with distance functions. Theoret. Comput. Sci., 72:27–38, 1990.
G. Hegedüs. Az extremális sajátvektorok meghatározása eliminációs módszerrel — az általánosított Warshall algorithmus egy javítása. Alkalmazott Matematikai Lapok, 11:399–408, 1985.
R.M. Karp. A characterization of the minimum mean-cycle in a digraph. Discrete Maths., 23:309–311, 1978.
D. Krob and A. Bonnier-Rigny. A complete system of identities for one letter rational expressions with multiplicities in the tropical semiring. J. Pure Appl. Algebra, 134:27–50, 1994.
H. Leung. Limitedness theorem on finite automata with distance function: an algebraic proof. Theoret. Comput. Sci, 81:137–145, 1991.
V. Maslov and V. Kolokoltsov. Idempotent analysis and its applications to optimal control theory. Nauka, Moskow, 1994. In Russian.
V. Maslov and S. Samborskii, editors. Idempotent analysis, volume 13 of Adv. in Sov. Math. AMS, RI, 1992.
V.P. Maslov. Méthodes Operatorielles. Mir, Moscou, 1973. French Transi. 1987.
P. Moller. Théorie algébrique des Systèmes à Événements Discrets. Thèse, École des Mines de Paris, 1988.
M. Plus. Linear systems in (max, +)-algebra. In Proceedings of the 29th Conference on Decision and Control, Honolulu, Dec. 1990.
M.L. Puterman. Markov decision processes. Handbook in operations research and management science, 2:331–434, 1990.
C. Reutenauer and H. Straubing. Inversion of matrices over a commutative semiring. J. Algebra, 88(2):350–360, June 1984.
I.V. Romanovskii. Optimization and stationary control of discrete deterministic process in dynamic programming. Kibernetika, 2:66–78, 1967. Engl. transl. in Cybernetics 3 (1967).
A. Salomaa and M. Soittola. Automata Theoretic Aspects of Formal Powers Series. Springer, New York, 1978.
I. Simon. Limited subsets of the free monoid. In Proc. of the 19th Annual Symposium on Foundations of Computer Science, pages 143–150. IEEE, 1978.
I. Simon, On semigroups of matrices over the tropical semiring. Theor. Infor. and Appl., 28(3–4):277–294, 1994.
N.N. Vorobyev. Extremal algebra of positive matrices. Elektron. Informationsverarbeitung und Kybernetik, 3, 1967. in Russian.
E. Wagneur. Moduloids and pseudomodules. 1. dimension theory. Discrete Math., 98:57–73, 1991.
Chen Wende, Qi Xiangdong, and Deng Shuhui. The eigen-problem and period analysis of the discrete event systems. Systems Science and Mathematical Sciences, 3(3), August 1990.
U. Zimmermann. Linear and Combinatorial Optimization in Ordered Algebraic Structures. North Holland, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gaubert, S., Plus, M. (1997). Methods and applications of (max,+) linear algebra. In: Reischuk, R., Morvan, M. (eds) STACS 97. STACS 1997. Lecture Notes in Computer Science, vol 1200. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023465
Download citation
DOI: https://doi.org/10.1007/BFb0023465
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62616-9
Online ISBN: 978-3-540-68342-1
eBook Packages: Springer Book Archive