Substitution for minimizing/maximizing a tropical linear (fractional) programming
Tropical polyhedra seem to play a central role in static analysis of softwares. These tropical geometrical objects play also a central role in parity games especially mean payoff games and energy games. And determining if an initial state of such game leads to win the game is known to be equivalent to solve a tropical linear optimization problem. This paper mainly focus on the tropical linear minimization problem using a special substitution method on the tropical cone obtained by homogenization of the initial tropical polyhedron. But due to a particular case which can occur in the…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.26423
curl -X POST /api/v1/records/arxiv/2603.26423/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.26423/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'