A multidimensional tropical optimization problem with a non-linear objective function and linear constraints

We examine a multidimensional optimization problem in the tropical mathematics setting. The problem involves the minimization of a non-linear function defined on a finite-dimensional semimodule over an idempotent semifield subject to linear inequality constraints. We start with an overview of known tropical optimization problems with linear and non-linear objective functions. A short introduction to tropical algebra is provided to offer a formal framework for solving the problem under study. As a preliminary result, a solution to a linear inequality with an arbitrary matrix is presented. We describe an example optimization problem drawn from project scheduling and then offer a general representation of the problem. To solve the problem, we introduce an additional variable and reduce the problem to the solving of a linear inequality, in which the variable plays the role of a parameter. A necessary and sufficient condition for the inequality to hold is used to evaluate the parameter, whereas the solution to the inequality is considered a solution to the problem. Based on this approach, a complete direct solution in a compact vector form is derived for the optimization problem under fairly general conditions. Numerical and graphical examples for two-dimensional problems are given to illustrate the obtained results.

[1]  P. Butkovic.  Max-linear Systems: Theory and Algorithms , 2010 .

[2]  N. Krivulin.  An algebraic approach to multidimensional minimax location problems with Chebyshev distance , 2011, 1211.2425.

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

[4]  Raymond A. Cuninghame-Green,et al.  Projections in minimax algebra , 1976, Math. Program..

[5]  Peter Butkovič.  On Properties of Solution Sets of Extremal Linear Programs , 1984 .

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

[7]  Evaluation of bounds on the mean rate of growth of the state vector of a linear dynamical stochastic , 2005 .

[8]  H. Kunzi,et al.  Lectu re Notes in Economics and Mathematical Systems , 1975 .

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

[11]  M. Gondran,et al.  Linear Algebra in Dioids: A Survey of Recent Results , 1984 .

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

[13]  Leonardo Solarte-Pazos,et al.  The body of knowledge of the Project Management Institute-PMBOK® Guide, and the specificities of project management: a critical review , 2010 .

[14]  Nikolai K. Krivulin,et al.  Algebraic solutions to multidimensional minimax location problems with Chebyshev distance , 2011, ArXiv.

[15]  Peter Butkovič,et al.  Introduction to max-linear programming , 2009 .

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

[17]  N. Krivulin.  An extremal property of the eigenvalue of irreducible matrices in idempotent algebra and solution of the Rawls location problem , 2011 .

[18]  A. J. Hoffman.  On abstract dual linear programs , 1963 .

[19]  K. Zimmermann,et al.  On Max-Separable Optimization Problems , 1984 .

[20]  Peter Butkovic,et al.  The equation A⊗x=B⊗y over (max, +) , 2003, Theor. Comput. Sci..

[21]  Lotfi A. Zadeh,et al.  Please Scroll down for Article International Journal of General Systems Fuzzy Sets and Systems* Fuzzy Sets and Systems* , 2022 .

[22]  Professor Dr. Klaus Neumann,et al.  Project Scheduling with Time Windows and Scarce Resources , 2003, Springer Berlin Heidelberg.

[23]  Some optimization problems with extremal operations , 1984 .

[24]  B. Carré.  An Algebra for Network Routing Problems , 1971 .

[25]  Martin Gavalec,et al.  Duality for max-separable problems , 2012, Central Eur. J. Oper. Res..

[26]  G. Litvinov.  Maslov dequantization, idempotent and tropical mathematics: A brief introduction , 2005, math/0507014.

[27]  Ricardo D. Katz,et al.  Tropical linear-fractional programming and parametric mean payoff games , 2011, J. Symb. Comput..

[28]  Bernd Mahr,et al.  Iteration and summability in semirings , 1984 .

[29]  N. Krivulin.  A new algebraic solution to multidimensional minimax location problems with Chebyshev distance , 2012, 1210.4770.

[30]  N. Krivulin.  A complete closed-form solution to a tropical extremal problem , 2012, 1210.3658.

[31]  S. N. N. Pandit,et al.  A New Matrix Calculus , 1961 .

[32]  Nikolai K. Krivulin,et al.  A tropical extremal problem with nonlinear objective function and linear inequality constraints , 2012, ArXiv.

[33]  R. Cuninghame-Green.  Minimax algebra and applications , 1991 .

[34]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[35]  Alexander E. Guterman,et al.  Tropical Polyhedra are Equivalent to mean Payoff Games , 2009, Int. J. Algebra Comput..

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

[37]  R. A. Cuninghame-Green,et al.  Describing Industrial Processes with Interference and Approximating Their Steady-State Behaviour , 1962 .

[38]  I. Anderson,et al.  Graphs and Networks , 1981, The Mathematical Gazette.

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

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

[41]  U. Zimmermann.  Linear and combinatorial optimization in ordered algebraic structures , 1981 .

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

[43]  K. Zimmermann.  Optimization problems with unimodal functions in max-separabal constraints , 1992 .