An algorithm for finding the scaled basis of the supereigenvector space in max-plus algebra
Hui-li Wang, Sergei Sergeev

TL;DR
This paper introduces a novel algorithm for efficiently computing a basis of the supereigenvector space in max-plus algebra, leveraging tropical double description and extremality criteria.
Contribution
The paper presents a new algorithm that improves basis computation in max-plus algebra by combining tropical double description with extremality criteria.
Findings
Algorithm effectively computes the basis of the supereigenvector space.
Utilizes tropical double description method for generator improvement.
Incorporates extremality criteria to enhance the process.
Abstract
We present an algorithm for finding a basis of the supereigenvector space in max-plus algebra. The main ideas of the new algorithm are: finding better generators by exploiting the main operation of the tropical double description method and making use of the previously known extremality criteria.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Commutative Algebra and Its Applications · Formal Methods in Verification
