Abstract
Two approaches for solving one-sided max-linear systems are presented, combinatorial and algebraic. This fact highlights two fundamental aspects of max-algebra: its combinatorial nature and a specific way of dealing with the virtual non-existence of inverse matrices due to the lack of subtraction. In the latter case the significance of dual operators, matrix conjugation and extension of the ground set by an upper bound is demonstrated.
Since the solvability question is essentially deciding whether a vector is in a subspace (column space of a matrix), later in this chapter a theory of max-algebraic subspaces is presented. This includes the concepts of generators, independence and bases. A description of bases for general max-algebraic subspaces is given using extremals; it then follows that every finitely generated subspace has a unique scaled basis. Dimensional anomalies and unsolvable systems are also discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Akian, M., Gaubert, S., & Kolokoltsov, V. (2002). Invertibility of functional Galois connections. Comptes Rendus de L’Academie Des Sciences Paris, 335, 883–888.
Butkovič, P. (1994). Strong regularity of matrices—a survey of results. Discrete Applied Mathematics, 48, 45–68.
Butkovič, P. (2003). Max-algebra: the linear algebra of combinatorics? Linear Algebra and Its Applications, 367, 313–335.
Butkovič, P. (2008). Permuted max-algebraic (tropical) eigenvector problem is NP-complete. Linear Algebra and Its Applications, 428, 1874–1882.
Butkovič, P., & Tam, K. P. (2009). On some properties of the image set of a max-linear mapping. In G. L. Litvinov & S. N. Sergeev (Eds.), Contemporary mathematics series : Vol. 495. Tropical and idempotent mathematics (pp. 115–126). Providence: AMS.
Butkovič, P., Schneider, H., & Sergeev, S. (2007). Generators, extremals and bases of max cones. Linear Algebra and Its Applications, 421, 394–406.
Cechlárová, K., & Cuninghame-Green, R. A. (2003). Soluble approximation of linear systems in max-plus algebra. Kybernetika (Prague), 39(2), 137–141. Special issue on max-plus algebras (Prague, 2001).
Cohen, G., Gaubert, S., & Quadrat, J.-P. (2004). Duality and separation theorems in idempotent semimodules. Linear Algebra and Its Applications, 379, 395–422. Tenth conference of the international linear algebra society.
Cohen, G., Gaubert, S., & Quadrat, J.-P. (2006). Projection and aggregation in maxplus algebra. In Systems control found appl. Current trends in nonlinear systems and control (pp. 443–454). Boston: Birkhäuser.
Cohen, G., Gaubert, S., Quadrat, J.-P., & Singer, I. (2005). Max-plus convex sets and functions. In Contemp. math. : Vol. 377. Idempotent mathematics and mathematical physics (pp. 105–129). Providence: Amer. Math. Soc.
Cuninghame-Green, R. A. (1960). Process synchronisation in a steelworks—a problem of feasibility. In Banbury & Maitland (Eds.), Proc. 2nd int. conf. on operational research (pp. 323–328). London: English University Press.
Cuninghame-Green, R. A. (1976). Projections in minimax algebra. Mathematical Programming, 10(1), 111–123.
Cuninghame-Green, R. A. (1979). Lecture notes in economics and math systems : Vol. 166. Minimax algebra. Berlin: Springer. (Downloadable from http://web.mat.bham.ac.uk/P.Butkovic/).
Cuninghame-Green, R. A., & Butkovič, P. (2004). Bases in max-algebra. Linear Algebra and Its Applications, 389, 107–120.
Develin, M., & Sturmfels, B. (2004). Tropical convexity. Documenta Mathematica, 9, 1–27.
Garey, M. R., & Johnson, D. S. (1979). Computers and intractability. A guide to the theory of NP-completeness. San Francisco: W. H. Freeman and Co.
Gaubert, S., & Katz, R. (2006). Max-plus convex geometry. In Lecture notes in comput. sci. : Vol. 4136. Relations and Kleene algebra in computer science (pp. 192–206). Berlin: Springer.
Gaubert, S., & Katz, R. (2007). The Minkowski theorem for max-plus convex sets. Linear Algebra and Its Applications, 421, 356–369.
Helbig, S. (1988). Caratheodory’s and Krein-Milman’s theorems in fully ordered groups. Commentationes Mathematicae Universitatis Carolinae, 29, 157–167.
Joswig, M. (2005). Tropical halfspaces. In J. E. Goodman, J. Pach, & E. Welzl (Eds.), MSRI publications : Vol. 52. Combinatorial and computational geometry (pp. 409–431). Cambridge: Cambridge University Press.
Papadimitriou, C. H., & Steiglitz, K. (1998). Combinatorial optimization—algorithms and complexity. Mineola: Dover Publications.
Rosen, K. H. et al. (2000). Handbook of discrete and combinatorial mathematics. New York: CRC Press.
Sergeev, S. (2007). Max-plus definite matrix closures and their eigenspaces. Linear Algebra and Its Applications, 421, 182–201.
Vorobyov, N. N. (1967). Extremal algebra of positive matrices. Elektronische Informationsverarbeitung und Kybernetik, 3, 39–71 (in Russian).
Wagneur, E. (1988). Finitely generated moduloïds: The existence and unicity problem for bases. In J. L. Lions & A. Bensoussan (Eds.), Lecture notes in control and inform. sci. : Vol. 111. Analysis and optimization of systems, Antibes, 1988 (pp. 966–976). Berlin: Springer.
Wagneur, E. (1991). Moduloïds and pseudomodules: 1. Dimension theory. Discrete Mathematics, 98, 57–73.
Zimmermann, K. (1976). Extremální algebra. Výzkumná publikace Ekonomicko-matematické laboratoře při Ekonomickém ústavě ČSAV 46 Praha (in Czech).
Zimmermann, U. (1981). Annals of discrete mathematics : Vol. 10. Linear and combinatorial optimization in ordered algebraic structures. Amsterdam: North-Holland.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London Limited
About this chapter
Cite this chapter
Butkovič, P. (2010). One-sided Max-linear Systems and Max-algebraic Subspaces. In: Max-linear Systems: Theory and Algorithms. Springer Monographs in Mathematics. Springer, London. https://doi.org/10.1007/978-1-84996-299-5_3
Download citation
DOI: https://doi.org/10.1007/978-1-84996-299-5_3
Publisher Name: Springer, London
Print ISBN: 978-1-84996-298-8
Online ISBN: 978-1-84996-299-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)