Extremality criteria for the supereigenvector space in max-plus algebra

We present necessary and sufficient criteria for a max-algebraic supereigenvector, i.e., a solution of the system $A\otimes\textbf{x}\geq\textbf{x}$ with $A\in\overline{\mathbb{R}}^{n\times n}$ in max-plus algebra, to be an extremal. We also show that the suggested extremality criteria can be verified in $O(n^2)$ time for any given solution $\textbf{x}$.