Complete Solution of an Optimization Problem in Tropical Semifield

We consider a multidimensional optimization problem that is formulated in the framework of tropical mathematics to minimize a function defined on vectors over a tropical semifield (a semiring with idempotent addition and invertible multiplication). The function, given by a matrix and calculated through a multiplicative conjugate transposition, is nonlinear in the tropical mathematics sense. We show that all solutions of the problem satisfy a vector inequality, and then use this inequality to establish characteristic properties of the solution set. We examine the problem when the matrix is irreducible. We derive the minimum value in the problem, and find a set of solutions. The results are then extended to the case of arbitrary matrices. Furthermore, we represent all solutions of the problem as a family of subsets, each defined by a matrix that is obtained by using a matrix sparsification technique. We describe a backtracking procedure that offers an economical way to obtain all subsets in the family. Finally, the characteristic properties of the solution set are used to provide a complete solution in a closed form.

[1]  Eugenii Shustin,et al.  Tropical Algebraic Geometry , 2007 .

[2]  Martin Gavalec,et al.  Decision Making and Optimization , 2015 .

[3]  Nikolai Krivulin,et al.  A multidimensional tropical optimization problem with a non-linear objective function and linear constraints , 2013, ArXiv.

[4]  Timothy G. Griffin,et al.  Relational and algebraic methods in computer science , 2015, J. Log. Algebraic Methods Program..

[5]  GondranM.,et al.  Dioïds and semirings , 2007 .

[6]  William M. McEneaney,et al.  Max-plus methods for nonlinear control and estimation , 2005 .

[7]  R. Weiner.  Lecture Notes in Economics and Mathematical Systems , 1985 .

[8]  K. Tam.  Optimizing and approximating eigenvectors in max-algebra , 2010 .

[9]  J. Golan.  Semirings and Affine Equations over Them: Theory and Applications , 2003 .

[10]  Nikolai Krivulin.  Solving a Tropical Optimization Problem via Matrix Sparsification , 2015, RAMICS.

[11]  K. Zimmermann,et al.  One class of separable optimization problems: solution method, application , 2010 .

[12]  Ludwig Elsner,et al.  Max-algebra and pairwise comparison matrices , 2004 .

[13]  Nikolai Krivulin,et al.  Tropical optimization problems , 2014, ArXiv.

[14]  Karel Zimmermann,et al.  Disjunctive optimization, max-separable problems and extremal algebras , 2003, Theor. Comput. Sci..

[15]  Karel Zimmermann,et al.  Biobjective center – balance graph location model * , 1999 .

[16]  Geert Jan Olsder,et al.  Max Plus at Work-Modelling and Analysis of Synchronized Systems , 2006 .

[17]  Nikolai Krivulin,et al.  Direct solution to constrained tropical optimization problems with application to project scheduling , 2015, Comput. Manag. Sci..

[18]  Michel Minoux,et al.  Graphs, dioids and semirings : new models and algorithms , 2008 .

[19]  Nikolai Krivulin,et al.  Rating alternatives from pairwise comparisons by solving tropical optimization problems , 2015, 2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD).

[20]  Nikolai Krivulin,et al.  Extremal properties of tropical eigenvalues and solutions to tropical optimization problems , 2013, ArXiv.

[21]  Nikolai Krivulin,et al.  Complete Solution of a Constrained Tropical Optimization Problem with Application to Location Analysis , 2013, RAMiCS.

[22]  P. Butkovic.  One-sided Max-linear Systems and Max-algebraic Subspaces , 2010 .

[23]  Eigenvalues and Eigenvectors of Matrices in Idempotent Algebra , 2006 .

[24]  V. Kolokoltsov,et al.  Idempotent Analysis and Its Applications , 1997 .

[25]  Peter Butkovič,et al.  Non-linear programs with max-linear constraints: a heuristic approach , 2012 .

[26]  Nikolai Krivulin,et al.  Using Tropical Optimization Techniques to Evaluate Alternatives via Pairwise Comparisons , 2015, CSC.

[27]  N. Krivulin,et al.  On an algebraic solution of the Rawls location problem in the plane with rectilinear metric , 2015 .

[28]  Solution of generalized linear vector equations in idempotent algebra , 2006 .