Apr 20, 2012 · In this paper we consider computational problems related to tropical linear system. We show that the solvability problem (both over \mathbb{Z} and \mathbb{Z} \ ...

Dec 7, 2020 · For systems of min-plus linear inequalities it is also known that the solvability problem is equivalent to mean payoff games [1]. The first ...

Dec 20, 2013 · A tropical (or min-plus) semiring is a set Z (or Z ∪ { ∞ } ) endowed with two operations: ⊕ , which is just usual minimum, and ⊙ , which is ...

For systems of min-plus linear inequalities it is also known that the solvability problem is equivalent to mean payoff games [1]. The first result of our paper ...

Thus we provide a tight connection of computational aspects of tropical linear algebra with mean payoff games and min-plus linear algebra. On the other hand we ...

A tropical (or min-plus) semiring is a set Z (or Z ∪ {∞}) en-dowed with two operations: ⊕, which is just usual minimum, and which is usual addition.

An algorithm is designed for solving a tropical linear system with complexity polynomial in the size of the system. 35 Citations.

A tropical (or min-plus) semiring is a set Z Z (or Z ∪ { ∞ } Z { } ) endowed with two operations: ⊕ , which is just usual minimum, and ⊙ , which is usual ...

Dima Grigoriev, Nicolai Vorobjov, “Complexity of deciding whether a tropical linear prevariety is a tropical variety”, AAECC, 32:2 (2021), 157 crossref; Dima ...

Grigoriev, Dima and Podolskii, Vladimir V. (2012) Complexity of tropical and min-plus linear prevarieties. MPIM Preprint Series 2012 (23).