Max-plus algebra is an algebraic structure in which classical addition and multiplication are replaced by maximum and addition, respectively. We say that the columns of a real matrix A are strongly independent if the max-plus linear system A⊗x=b has a unique solution for at least one real vector b. A square matrix A with strongly independent columns is called strongly regular. The investigation of the properties of regularity is important for applications. The values of vector or matrix inputs in practice are usually not exact numbers and they can be rather considered as values in some intervals. The present paper studies three versions of the regularity of matrices and interval matrices, namely, strong regularity, von Neumann regularity and Gondran-Minoux regularity. For each concept of regularity we will present equivalent conditions which can be verified in polynomial time.
Read full abstract