Abstract
Nowadays, certain problems in automata theory, manufacturing systems, telecommunication networks, parallel processing systems and traffic control are intimately linked with linear systems over tropical semirings. Due to non-invertibility of matrices—except monomial matrices—over certain semirings, we cannot generally take advantage of having the inverse of the coefficient matrix of a system to solve it. The main purpose of this paper is to introduce two methods based on the pseudo-inverse of a matrix for solving a linear system of equations over tropical semirings. To this end, under suitable conditions, we first reduce the order of the system through some row–column operational analysis. We then present a necessary and sufficient condition for the system to have a maximal solution. This solution is also obtained through a new version of Cramer’s rule for overdetermined system of equations. Finally, some illustrative examples are given to show the efficiency of the proposed methods, and Maple procedures are also included in the end.
Similar content being viewed by others
References
Aceto, L., Esik, Z., Ingolfsdottir, A.: Equational theories of tropical semirings. Theoret. Comput. Sci. 298(3), 417–469 (2003)
Akian, M., Gaubert, S., Guterman, A.: Tropical Cramer determinants revisited. Trop. Idempotent Math. Appl. 616, 1–45 (2014)
Baccelli, F., Cohen, G., Olsder, G. J., Quadrat, J. P.: Synchronization and linearity: an algebra for discrete event systems, (1992)
Golan, J.S.: Semirings and their Applications. Springer, Berlin (2013)
Gondran, M., Minoux, M.: Graphs, Dioids and Semirings New Models and Algorithms. Springer, Berlin (2008)
Krivulin, N., Sergeev, S.: Tropical optimization techniques in multi-criteria decision making with Analytical Hierarchy Process. In: 2017 European Modelling Symposium (EMS) IEEE, pp. 38–43 (2017)
McEneaney, W.M.: Max-Plus Methods for Nonlinear Control and Estimation. Springer, Berlin (2006)
Olsder, G.J., Roos, C.: Cramer and Cayley-Hamilton in the max algebra. Linear Algebra Appl. 101, 87–108 (1998)
Sararnrakskul, R.I., Sombatboriboon, S., Lertwichitsilp, P.: Invertible Matrices over semifields. East-West Journal of Mathematics 12(1), 85–91 (2010)
Tan, Y.J.: Determinants of matrices over semirings. Linear Multilinear Algebra 62(4), 498–517 (2014)
Tan, Y.J.: Inner products on semimodules over a commutative semiring. Linear Algebra Appl. 460, 151–173 (2014)
Tan, Y.J.: On invertible matrices over commutative semirings. Linear Multilinear Algebra 61(6), 710–724 (2013)
Vandiver, H.S.: Note on a simple type of algebra in which the cancellation law of addition does not hold. Bull. Am. Math. Soc. 40(12), 914–920 (1934)
Wilding, D.: Linear algebra over semirings, Doctoral dissertation, The University of Manchester (United Kingdom), (2015)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Jamshidvand, S., Ghalandarzadeh, S., Amiraslani, A. et al. On the maximal solution of a linear system over tropical semirings. Math Sci 14, 147–157 (2020). https://doi.org/10.1007/s40096-020-00325-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-020-00325-w