Ссылки

DOI

Optimization problems are considered in the framework of tropical algebra to minimize and maximize a nonlinear objective function defined on vectors over an idempotent semifield, and calculated using multiplicative conjugate transposition. To find the minimum of the function, we first obtain a partial solution, which explicitly represents a subset of solution vectors. We characterize all solutions by a system of simultaneous equation and inequality, and show that the solution set is closed under vector addition and scalar multiplication. A matrix sparsification technique is proposed to extend the partial solution, and then to obtain a complete solution described as a family of subsets. We offer a backtracking procedure that generates all members of the family, and derive an explicit representation for the complete solution. As another result, we deduce a complete solution of the maximization problem, given in a compact vector form by the use of sparsified matrices. The results obtained are illustrated with illuminating examples and graphical representations. We apply the results to solve real-world problems drawn from project (machine) scheduling, and give numerical examples.
Язык оригиналаанглийский
Страницы (с-по)150-170
ЖурналJournal of Logical and Algebraic Methods in Programming
Том89
Дата раннего онлайн-доступа29 мар 2017
DOI
СостояниеОпубликовано - июн 2017
Событие15th International Conference on Relational and Algebraic Methods in Computer Science - Braga, Португалия
Продолжительность: 28 сен 20151 окт 2015
Номер конференции: 15
http://ramics2015.di.uminho.pt/

    Предметные области Scopus

  • Теория оптимизации
  • Алгебра и теория чисел
  • Теория управления и исследование операций

ID: 7748402