Table of Contents
Fetching ...

Algebraic solutions of tropical optimization problems

N. Krivulin

TL;DR

The paper surveys tropical optimization problems defined over idempotent semifields, highlighting both linear and nonlinear objective functions and their solution techniques. It develops a unifying algebraic approach that introduces an auxiliary parameter representing the minimum objective value, transforming constrained problems into parametrized inequalities solvable via Kleene-star ($oldsymbol{A}^{oldsymbol{igstar}}$) representations. The authors compile and extend known results—covering Chebyshev approximation, span seminorms, linear-fractional programming, and spectral-radius problems—providing explicit, closed-form solutions and conditions for existence. A key contribution is a direct, complete solution to a new constrained problem, illustrating the practical power of the algebraic method for tropical optimization. Overall, the work advances the theory and toolbox for exact tropical optimization, with potential applications in scheduling, location analysis, transportation, and discrete event systems.

Abstract

We consider multidimensional optimization problems, which are formulated and solved in terms of tropical mathematics. The problems are to minimize (maximize) a linear or nonlinear function defined on vectors over an idempotent semifield, and may have constraints in the form of linear equations and inequalities. The aim of the paper is twofold: first to give a broad overview of known tropical optimization problems and solution methods, including recent results; and second, to derive a direct, complete solution to a new constrained optimization problem as an illustration of the algebraic approach recently proposed to solve tropical optimization problems with nonlinear objective functions.

Algebraic solutions of tropical optimization problems

TL;DR

The paper surveys tropical optimization problems defined over idempotent semifields, highlighting both linear and nonlinear objective functions and their solution techniques. It develops a unifying algebraic approach that introduces an auxiliary parameter representing the minimum objective value, transforming constrained problems into parametrized inequalities solvable via Kleene-star () representations. The authors compile and extend known results—covering Chebyshev approximation, span seminorms, linear-fractional programming, and spectral-radius problems—providing explicit, closed-form solutions and conditions for existence. A key contribution is a direct, complete solution to a new constrained problem, illustrating the practical power of the algebraic method for tropical optimization. Overall, the work advances the theory and toolbox for exact tropical optimization, with potential applications in scheduling, location analysis, transportation, and discrete event systems.

Abstract

We consider multidimensional optimization problems, which are formulated and solved in terms of tropical mathematics. The problems are to minimize (maximize) a linear or nonlinear function defined on vectors over an idempotent semifield, and may have constraints in the form of linear equations and inequalities. The aim of the paper is twofold: first to give a broad overview of known tropical optimization problems and solution methods, including recent results; and second, to derive a direct, complete solution to a new constrained optimization problem as an illustration of the algebraic approach recently proposed to solve tropical optimization problems with nonlinear objective functions.

Paper Structure

This paper contains 21 sections, 18 theorems, 50 equations.

Key Result

Lemma 1

For any column-regular matrix $\bm{A}$ and regular vector $\bm{d}$, all regular solutions to inequality I-Axd are given by the inequality $\bm{x}\leq(\bm{d}^{-}\bm{A})^{-}$.

Theorems & Definitions (19)

  • Lemma 1
  • Theorem 2
  • Theorem 3: Krivulin2013Direct
  • Theorem 4: Krivulin2013Direct
  • Theorem 5: Krivulin2014Complete
  • Corollary 6: Krivulin2014Complete
  • Theorem 7: Krivulin2013Explicit
  • Corollary 8
  • Theorem 9: Krivulin2013Explicit
  • Theorem 10: Krivulin2016Maximization
  • ...and 9 more