Max-Algebra - the Linear Algebra of Combinatorics?

Abstract Let a ⊕ b =max( a , b ), a ⊗ b = a + b for a,b∈ R := R ∪{−∞} . By max-algebra we understand the analogue of linear algebra developed for the pair of operations (⊕,⊗) extended to matrices and vectors. Max-algebra, which has been studied for more than 40 years, is an attractive way of describing a class of nonlinear problems appearing for instance in machine-scheduling, information technology and discrete-event dynamic systems. This paper focuses on presenting a number of links between basic max-algebraic problems like systems of linear equations, eigenvalue–eigenvector problem, linear independence, regularity and characteristic polynomial on one hand and combinatorial or combinatorial optimisation problems on the other hand. This indicates that max-algebra may be regarded as a linear-algebraic encoding of a class of combinatorial problems. The paper is intended for wider readership including researchers not familiar with max-algebra.

[1]  U. Zimmermann Linear and combinatorial optimization in ordered algebraic structures , 1981 .

[2]  J. Quadrat,et al.  Numerical Computation of Spectral Elements in Max-Plus Algebra☆ , 1998 .

[3]  P. Macdonald Combinatorial Programming: Methods and Applications , 1976 .

[4]  Hans Schneider,et al.  Max-Balancing Weighted Directed Graphs and Matrix Scaling , 1991, Math. Oper. Res..

[5]  M. Gondran,et al.  Path Algebra and Algorithms , 1975 .

[6]  Rainer E. Burkard,et al.  Linear Assignment Problems and Extensions , 1999, Handbook of Combinatorial Optimization.

[7]  M. Gondran,et al.  Linear Algebra in Dioids: A Survey of Recent Results , 1984 .

[8]  C. Leake Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[9]  S. Gaubert Theorie des systemes lineaires dans les dioides , 1992 .

[10]  M. Fiedler,et al.  Diagonally dominant matrices , 1967 .

[11]  Peter Butkovic,et al.  Strong Regularity of Matrices - A Survey of Results , 1994, Discret. Appl. Math..

[12]  Rainer E. Burkard,et al.  Finding all essential terms of a characteristic maxpolynomial , 2003, Discret. Appl. Math..

[13]  Peter Butkovic On the coefficients of the max-algebraic characteristic polynomial and equation , 2003, Kybernetika.

[14]  C. Thomassen Sign-Nonsingular Matrices and Even Cycles in Directed Graphs , 1986 .

[15]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[16]  T. Raghavan,et al.  Nonnegative Matrices and Applications , 1997 .

[17]  Robin Thomas,et al.  PERMANENTS, PFAFFIAN ORIENTATIONS, AND EVEN DIRECTED CIRCUITS , 1997, STOC 1997.

[18]  Peter Butkovic,et al.  Simple image set of (max, +) linear mappings , 2000, Discret. Appl. Math..

[19]  P. Regularity of matrices in min-algebra and its time-complexity , 2003 .

[20]  R. Cuninghame-Green Minimax Algebra and Applications , 1994 .

[21]  Raymond Cuninghame-Green,et al.  The characteristic maxpolynomial of a matrix , 1983 .

[22]  Peter Butkovič,et al.  A condition for the strong regularity of matrices in the minimax algebra , 1985, Discret. Appl. Math..