Algebraic solution of tropical polynomial optimization problems

Research output: Contribution to journalArticlepeer-review


We consider constrained optimization problems defined in the tropical algebra setting on a linearly ordered, algebraically complete (radicable) idempotent semifield (a semiring with idempotent addition and invertible multiplication). The problems are to minimize the objective functions given by tropical analogues of multivariate Puiseux polynomials, subject to box constraints on the variables. A technique for variable elimination is presented that converts the original optimization problem to a new one in which one variable is removed and the box constraint for this variable is modified. The novel approach may be thought of as an extension of the Fourier–Motzkin elimination method for systems of linear inequalities in ordered fields to the issue of polynomial optimization in ordered tropical semifields. We use this technique to develop a procedure to solve the problem in a finite number of iterations. The procedure includes two phases: backward elimination and forward substitution of variables. We describe the main steps of the procedure, discuss its computational complexity and present numerical examples.
Original languageEnglish
Article number2472
Number of pages18
Issue number19
StatePublished - 3 Oct 2021

Scopus subject areas

  • Control and Optimization
  • Algebra and Number Theory


  • tropical algebra
  • idempotent semifield
  • tropical Puiseux polynomial
  • constrained polynomial optimization problem
  • box constraint
  • variable elimination


Dive into the research topics of 'Algebraic solution of tropical polynomial optimization problems'. Together they form a unique fingerprint.

Cite this