English

Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial

Optimization and Control 2025-10-22 v2

Abstract

Max-plus algebra is a semiring with addition ab=max(a,b)a\oplus b = \max(a,b) and multiplication ab=a+ba\otimes b = a+b. It is applied in cases, such as combinatorial optimization and discrete event systems. We consider the power of max-plus square matrices, which is equivalent to obtaining the all-pair maximum weight paths with a fixed length in the corresponding weighted digraph. Each nn-by-nn matrix admits the CSR expansion that decomposes the matrix into a sum of at most nn periodic terms after O(n2)O(n^{2}) times of powers. In this study, we propose an O(n(m+nlogn))O(n(m+n \log n)) time algorithm for the CSR expansion, where mm is the number of nonzero entries in the matrix, which improves the O(n4logn)O(n^{4} \log n) algorithm known for this problem. Our algorithm is based on finding the roots of the characteristic polynomial of the max-plus matrix. These roots play a similar role to the eigenvalues of the matrix, and become the growth rates of the terms in the CSR expansion.

Keywords

Cite

@article{arxiv.2311.03844,
  title  = {Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial},
  author = {Yuki Nishida},
  journal= {arXiv preprint arXiv:2311.03844},
  year   = {2025}
}
R2 v1 2026-06-28T13:13:49.281Z