Search

In this paper, we discuss and analyze methods for solving a system of linear equations over idempotent semifields. The first method is based on the pseudo-inverse of the system matrix. We then go over a specific version of Cramer’s rule which is also related to the pseudo-inverse of the system matrix. In these two methods, the constant vector plays an implicit role in solvability of the system. Another method is called the normalization method in which both the system matrix and the constant vector play explicit roles in the solution process. Each of these methods yields the maximal solution if it exists. Importantly, we show that the maximal solutions obtained from these methods as well as the previously studied LU-method are all identical.

In this paper, we introduce and analyze a new LU-factorization technique for square matrices over idempotent semifields. In particular, more emphasis is put on “max-plus” algebra here but the work is extended to other idempotent semifields as well. We first determine the conditions under which a square matrix has LU factors. Next, using this technique, we propose a method for solving square linear systems of equations whose system matrices are LU-factorizable. We also give conditions for an LU-factorizable system to have solutions. This work is an extension of similar techniques over fields. Maple® procedures for this LU-factorization are also included.