CC BY
28
УДК 519.8+512.64 Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6 (64). Вып. 3 МБС 65К10, 15А80, 90В35, 90С47, 90С48
Решение задачи тропической оптимизации с приложением к оптимальному планированию*
Н. К. Кривулин, У. Л. Баско
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Для цитирования: Кривулин Н. К., Баско У. Л. Решение задачи тропической оптимизации с приложением к оптимальному планированию // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2019. Т. 6(64). Вып. 3. С. 440-451. https://doi.org/10.21638/11701/spbu01.2019.309
Рассматривается многомерная задача оптимизации, которая формулируется и решается в терминах тропической математики, изучающей теорию и приложения полуколец с идемпотентным сложением. Для решения задачи, целевая функция которой задается при помощи некоторой матрицы, используются методы и результаты идемпотентной алгебры и тропической оптимизации. Сначала строится точная нижняя оценка для целевой функции задачи, что позволяет определить минимальное значение целевой функции. Затем составляется и решается уравнение для целевой функции и ее минимального значения, откуда находится полное решение в виде множества всех собственных векторов матрицы задачи. В качестве приложения полученного результата приводится решение в явном виде задачи составления оптимального плана проекта, который состоит в выполнении некоторого набора работ при заданных ограничениях на время их начала и завершения. Критерий оптимальности плана определяется как минимум максимального разброса времени рабочего цикла по всем работам, которое задано как интервал между временем начала и завершения работы. Полученный аналитический результат расширяет и дополняет существующие алгоритмические численные решения задач оптимального планирования. Представлен иллюстративный пример применения этого результата к решению задачи планирования проекта, состоящего из трех работ.
Ключевые слова: идемпотентное полуполе, (тах, +)-алгебра, собственные число и вектор матрицы, тропическая оптимизация, задача планирования.
1. Введение. Задачи тропической оптимизации составляют важный класс задач тропической (идемпотентной) математики, которая является областью, занимающейся изучением полуколец с идемпотентным сложением. Первые публикации [1-4], посвященные тропической математике, появились в 60-х годах XX века. В частности, в работе [2] была рассмотрена одна из первых задач тропической оптимизации. Дальнейшее развитие методов тропической математики и оптимизации отражено в большом числе публикаций, включая монографии [5-10], где изучались задачи оптимизации, продиктованные конкретными проблемами в технике, экономике и менеджменте.
Одной из особенностей задач тропической оптимизации является то, что их решение часто сводится к решению линейных векторных уравнений, исследованию спектра линейного оператора и другим вычислительным проблемам идемпотентной
* Работа выполнена при финансовой поддержке РФФИ (грант №18-010-00723).
(¡5 Санкт-Петербургский государственный университет, 2019
алгебры, что во многих случаях позволяет получать прямое решение в компактной векторной форме. Приложения задач тропической оптимизации включают многокритериальные задачи принятия решений, минимаксные задачи размещения объектов на плоскости и в пространстве, а также задачи планирования сроков выполнения проектов.
Оптимальное планирование сроков выполнения проектов является важной задачей управления проектами, направленной на определение оптимального времени начала и завершения работ проекта при различных временных ограничениях и критериях оптимальности. В 1910 году для решения таких задач американский инженер Г. Л. Гантт разработал технику календарного планирования с использованием горизонтальных диаграмм [11]. На основе диаграмм Гантта появились другие алгоритмы с использованием теории графов, известные как методы сетевого планирования.
Впервые методы сетевого планирования были разработаны в США в 50-х годах XX века. Специалисты из корпораций DuPont и Remington Rand, занятые ремонтом оборудования заводов DuPont, предложили метод критического пути (CPM — Critical Path Method) [12]. Компания Lockheed и консалтинговая фирма Booz Allen Hamilton при разработке баллистической ракеты «Поларис» по заказу ВМФ США создали метод оценки и пересмотра планов (PERT — Program Evaluation and Review Technique) [13].
Одна из трудностей решения задач планирования сроков выполнения проектов заключается в нелинейности и негладкости целевой функции и ограничений. Традиционные методы решения таких задач на основе линейного программирования или оптимизации на графах дают численное решение в виде итерационных вычислительных алгоритмов и не гарантируют получение аналитического решения в явном виде. В отличие от указанных методов решение задач планирования в форме многомерных задач тропической оптимизации во многих случаях позволяет получить результат в явном виде в компактной векторной форме [14-17]. Такое аналитическое решение позволяет прямо применять формальные методы анализа для исследования задач и их решений и обычно приводит к конечношаговым вычислительным схемам, для которых можно точно определить число операций, необходимых для получения результата.
Существует ряд задач оптимального планирования, где требуется минимизировать максимальное по всем работам время рабочего цикла, которое определяется как разность между временем завершения и временем начала работы [2, 5, 14, 15, 17]. В терминах тропической математики эти задачи приводят к минимизации функции x-Ax, где A — заданная квадратная матрица, а x и х- — неизвестный вектор и мультипликативно сопряженный к нему. В работе [2] было показано, что минимум этой функции равен тропическому спектральному радиусу матрицы A. Описание решений задачи в неявной форме в виде векторного неравенства было дано в [18, 19]. Прямое полное решение задачи и некоторых ее обобщений получено в работах
[14, 15].
В настоящей работе рассматривается задача минимизации функции x-Ax(Ax)-x, возникающая в задачах планирования, в которых необходимо минимизировать максимальный разброс времени цикла по всем работам. Получено полное решение задачи, сформулированной в терминах произвольного идемпотент-ного полуполя. Представлен иллюстративный пример применения полученного результата к решению задачи планирования проекта, состоящего из трех работ.
2. Элементы идемпотентной алгебры. В этом разделе представлен краткий обзор основных понятий и обозначений идемпотентной алгебры, необходимых для формулировки и решения задачи оптимизации в следующих частях работы. Дополнительные сведения по теории, методам и приложениям тропической математики можно найти, например, в работах [5-10].
2.1. Идемпотентное полуполе. Рассмотрим непустое множество X, замкнутое относительно двух операций: сложения ф и умножения ©. По сложению множество X является идемпотентным коммутативным моноидом с нейтральным элементом 0. Свойство идемпотентности означает, что для любого элемента x G X выполняется xфx = x. Относительно умножения множество X\{0} образует коммутативную группу с нейтральным элементом 1. Для любого ненулевого x существует обратный элемент x-1 такой, что x © x-1 = 1. Кроме того, умножение © обладает свойством дистрибутивности относительно сложения ф и имеет 0 в качестве поглощающего элемента. Алгебраическая система (X, ф, ©, 0,1} с указанными свойствами называется идемпотентным полуполем.
В силу ассоциативности умножения операция возведения в целую степень может быть введена стандартным образом. Для любого ненулевого x G X и натурального числа n определим: x0 = 1, xn = xn-1 ©x, x-n = (x-1)n, 0n = 0. Будем считать, что введенная операция возведения в целую степень может быть распространена в полуполе на случай вещественного показателя степени.
Далее для упрощения записи знак умножения в алгебраических выражениях будем опускать: x © y = xy.
Идемпотентность сложения порождает на X такое отношение ^ частичного порядка, что x ^ y тогда и только тогда, когда x ф y = y. Из этого определения следует выполнение неравенств x ^ x ф y и y ^ x ф y, а также равносильность неравенства x ф y ^ z и системы неравенств x ^ z и y ^ z для любых x, y, z G X. Операции ф и © монотонны в смысле указанного порядка по каждому из аргументов: если x ^ y, то для любого z G X выполняются неравенства x ф z ^ y ф z и xz ^ yz. Отметим, что для любых ненулевых элементов x, y G X, для которых выполняется неравенство x ^ y, справедливо неравенство x-1 ^ y-1. В дальнейшем будем предполагать, что введенный частичный порядок является линейным.
В качестве примера идемпотентного полуполя рассмотрим вещественное полуполе Rmax,+ = (R U {-то}, max, +, —то, 0}, где роль нулевого элемента выполняет —то, а единичного — 0. Для любого x G R существует обратный элемент x-1, равный —x в обычной арифметике. Для любых x, y G R определена степень xy, значение которой совпадает с арифметическим произведением xy. Порядок, порожденный на Rmax,+ идемпотентным сложением, соответствует обычному линейному порядку на R. Это полуполе обычно называют (max, +)-алгеброй.
2.2. Векторы и матрицы. Обозначим через Xmxn множество матриц над X, состоящих из m строк и n столбцов. Матрица, все элементы которой равны 0, является нулевой. Матрица, у которой отсутствуют нулевые столбцы, называется регулярной по столбцам.
Операции сложения и умножения матриц подходящего размера, а также умножения матрицы на скаляр выполняются по стандартным правилам с заменой соответствующих покомпонентных операций на ф и ©.
Рассмотрим квадратные матрицы из Хпхп. Матрица I = diag(1,..., 1), у которой все недиагональные элементы равны 0, называется единичной. Для любой квадратной матрицы А и натурального п определена степень: А0 = I, Ап = Ап-1 А.
Квадратная матрица является разложимой, если путем одинаковых перестановок строк и столбцов ей можно придать блочно-треугольную форму, где все блоки выше (ниже) диагональных блоков — нулевые. Иначе матрица называется неразложимой.
Следом матрицы А = (а^) € Хпхп называется число ^ А = а11 ф • • • ф апп.
Обозначим множество векторов-столбцов над X порядка п через Хп. Вектор называется регулярным, если у него отсутствуют нулевые компоненты.
Векторные операции сложения и умножения на скаляр выполняются по стандартным правилам с заменой соответствующих скалярных операций на ф и ©. Свойства монотонности операций ф и © для скаляров распространяется на операции над векторами, в которых неравенства понимаются покомпонентно.
Нетрудно проверить, что для неразложимой матрицы А и регулярного вектора х вектор Ах также будет регулярным.
Для любого ненулевого вектора-столбца х = (хг) € Хп определен мультипликативно сопряженный вектор-строка х- = (х-) с элементами х- = х-1, если хг = 0, и х— = 0 в противном случае.
Если х, у — ненулевые векторы, то для них справедливо равенство (ху-)- = ух-. Для регулярных векторов х, у € Хп из неравенства х ^ у следует неравенство х > у-.
Для любого регулярного вектора х выполняется неравенство хх- ^ I. Если вектор х ненулевой, для него справедливо равенство х- х = 1.
Вектор у € Хп линейно зависит от векторов х1?..., хт € Хп, если его можно представить в виде линейной комбинации у = а1х1 ф • • • ф атхт с коэффициентами а1,..., ат € X. Векторы х и у являются коллинеарными, если у = ах, где а € X.
2.3. Спектральный радиус и собственные векторы матрицы. Число Л является собственным значением матрицы А € Хпхп, если существует ненулевой вектор х € Хп, для которого выполняется равенство
Ах = Лх.
Любой ненулевой вектор х € Хп, удовлетворяющий этому равенству, называется собственным вектором матрицы А, соответствующим собственному числу Л. Собственные векторы неразложимой матрицы являются регулярными.
Спектральным радиусом матрицы А называется ее максимальное собственное число. Если А — неразложимая матрица, то она имеет единственное собственное число Л > 0, которое совпадает с ее спектральным радиусом и вычисляется по формуле
п
Л = и А ф ^1/2 (А2) ф--ф ^1/п(Ап) = 0^1/т(Ат). (1)
т=1
Все собственные векторы неразложимой матрицы А, соответствующие ее единственному собственному числу Л, можно найти следующим путем.
Используя обозначение Ад = Л 1А, определим две матрицы («звезда» Клини и «плюс» Клини):
п-1
ЛД = I © Ал ©•••© АП-1 = 0 Am, (2)
m=0
Л+ = ЛлЛД = Лл © Лд ©•••© ЛП = 0 Am. (3)
m=1
Пусть а* обозначает столбец i матрицы ЛД, а а+ —диагональный элемент матрицы Л+. Рассмотрим подмножество столбцов а* с индексами i, для которых выполняется а+ = 1. Из этого подмножества выберем столбцы, которые линейно не зависят от остальных, и составим из них матрицу ЛД . Множество всех собственных векторов матрицы Л совпадает с линейной оболочкой столбцов ЛД и определяется равенством
х = Лд v,
где v —любой ненулевой вектор соответствующей размерности.
3. Предварительные результаты. Приведем известные результаты тропической математики, которые будут использованы при решении задачи оптимизации в следующем разделе. Сначала предположим, что заданы матрица Л € Xmxn и регулярный вектор d € Xm. Требуется найти все векторы x € Xn, удовлетворяющие неравенству
Лх < d. (4)
Решение неравенства (4) описывает следующее утверждение, полное доказательство которого приводится, например, в работе [14].
Лемма 1. Для любой регулярной по столбцам матрицы Л и регулярного вектора d все 'решения неравенства (4) имеют вид
х < ^-Л)-.
Пусть теперь задана неразложимая матрица Л € Xnxn с собственным числом Л и необходимо найти регулярные векторы х € Xn, которые решают задачи
min х-Лх, (5)
x
min (Лх)-х. (6)
x
Для решения задачи оптимизации в следующем разделе потребуется результат, который был получен для случая неразложимой матрицы в работе [20] в таком виде.
Лемма 2. Пусть Л — неразложимая матрица, Л — ее собственное число. Тогда имеют место равенства
min х Лх = Л, (7)
x
min (Лх)-х = Л-1, (8)
x
причем минимумы достигаются на любом собственном векторе матрицы Л.
Для произвольной матрицы Л решение задач (5) и (6) было найдено в [14, 21].
4. Решение задачи тропической оптимизации. В этом разделе рассматривается новая задача тропической оптимизации, которая состоит в минимизации функции, заданной в форме идемпотентного произведения целевых функций в задачах (5) и (6). Пусть A — заданная неразложимая матрица. Задача состоит в том, чтобы найти регулярные векторы x G Xn, на которых достигается
min x-Ax(Ax)-x. (9)
x
Для решения задачи используется подход, при котором сначала строится точная нижняя оценка для целевой функции задачи, что позволяет определить минимальное значение целевой функции. Затем задача сводится к решению уравнения для целевой функции и найденного минимума, из которого находятся все решения задачи.
Следующая теорема описывает множество всех решений задачи (9).
Теорема 1. Пусть А — неразложимая матрица со спектральным радиусом Л и Ал = Л-1 А. Тогда минимум в задаче (9) равен 1 и достигается тогда и только тогда, когда х — собственный вектор матрицы А, который имеет вид
х = АХ^,
где V — любой ненулевой вектор соответствующей размерности.
Доказательство. Сначала оценим целевую функцию х-Ах(Ах)-х задачи (9) снизу. Согласно условию задачи матрица А является неразложимой, а вектор х —регулярным. Тогда векторы Ах и (Ах)- также будут регулярными и выполняется неравенство Ах (Ах)- ^ I. Учитывая это неравенство, получим х-Ах(Ах)-х ^ х-х = 1, откуда следует, что 1 является оценкой снизу для функции х-Ах(Ах)-х. Заметим, что эту оценку можно также прямо получить, используя равенства (7) и (8).
В силу того, что матрица А является неразложимой, она имеет единственное собственное число Л > 0 и регулярный собственный вектор хо. Подстановка хо в целевую функцию дает х-Ах0(Ах0)-х0 = Лх-х0(Лх0)-х0 = ЛЛ-1 х-х0х-х0 = 1, а это означает, что 1 является минимумом целевой функции в задаче (9).
Найдем все векторы, на которых целевая функция х-Ах(Ах)-х достигает своего минимального значения. Для этого решим уравнение
х-Ах(Ах)-х = 1 (10)
и покажем, что, кроме собственных векторов матрицы А, других решений оно не имеет.
Пусть х-Ах = а. Вектор х —регулярный, откуда следует, что а = 0. Тогда существует а-1 такое, что аа-1 = 1, а из уравнения (10) вытекает, что (Ах)-х = а-1.
Теперь уравнение (10) можно заменить эквивалентной системой
х-Ах = а, (Ах)-х = а-1, а > 0. (11)
Согласно утверждению леммы 2 собственное число Л матрицы А является минимальным значением функции х-Ах, а Л-1 — функции (Ах)-х. Учитывая, что тогда
а = х Лх ^ Л и а 1 = (Лх) х ^ Л 1, получим двойное неравенство Л ^ а ^ Л, откуда следует, что а = Л. Теперь система (11) приобретает вид
х-Лх = Л, (Лх)-х = Л-1.
Ясно, что множество решений полученной системы совпадает с множеством решений системы неравенств
х-Лх < Л, (Лх)-х < Л-1.
Применение леммы 1 для решения первого неравенства относительно Лх, а второго — относительно х приводит к равносильной системе неравенств Лх ^ (Л-1 х-)- и х ^ (Л(Лх)-)-, которую можно записать в виде Лх ^ Лх и Лх ^ Лх. Тогда выполняется двойное неравенство Лх ^ Лх ^ Лх, которое эквивалентно равенству Лх = Лх.
При условии, что Л является собственным значением матрицы Л, последнее равенство означает, что х — собственный вектор матрицы Л, соответствующий Л. Следовательно, множество решений уравнения (10) совпадает с множеством собственных векторов матрицы Л, которое состоит из векторов х = AXv, где v — любой ненулевой вектор соответствующей размерности. Других решений уравнение не имеет. ■
Заметим, что вычислительная сложность полученного решения прямо определяется затратами на вычисления собственного числа Л по формуле (1) и матриц ЛД и Л+ по формулам (2) и (3), которые опираются на нахождение суммы степеней матриц. Учитывая, что произведение двух матриц порядка n требует не более O(n3) арифметических операций, вычислительная сложность нахождения суммы n степеней и самого решения не будет превосходить величины O(n4).
5. Приложение к задачам планирования. Рассмотрим пример приложения полученного выше результата к решению задач оптимального планирования [22, 23]. Предположим, что имеется проект, согласно которому необходимо выполнить n работ. Для каждой работы i = 1,..., n обозначим через xj время начала работы, а через yj — время завершения работы. Пусть aj — наименьший допустимый интервал между началом работы j и завершением i. Заданы ограничения «старт-финиш», которые определяют отношения между временем начала и временем завершения работ в форме неравенств
yi > xj + ajj, i, j = 1,... ,n.
Будем предполагать, что каждая работа завершается немедленно, как только будут выполнены ограничения «старт-финиш», наложенные на время завершения работы. Тогда хотя бы одно из неравенств должно выполняться как равенство, а все неравенства для времени завершения работы i можно объединить в виде равенства
yj = max (xj + aj), i = 1,..., n.
Для каждой работы i время рабочего цикла определено как разность yj — Xj между временем завершения и начала. Максимальный разброс времени цикла по всем работам проекта вычисляется по формуле
max (yi — Xj) — min (yj — Xj) = max (yj — Xj) + max (xj — yj).
Задача планирования в соответствии с критерием минимума максимального разброса времени цикла формулируется как задача нахождения времени начала xj и времени завершения yj для каждой работы i = 1,..., n, при которых достигается минимум
min ( max (yj - Xj) + max (xj - yj)
yj = max (xj + ajj-), i = 1,..., n.
i^j^n
Эту задачу можно сформулировать как задачу линейного программирования и решить с помощью подходящего численного алгоритма, например, симплекс-алгоритма. Такой подход, однако, не позволяет получить все решения в аналитическом виде в замкнутой форме, удобной для формального анализа и непосредственных вычислений.
Чтобы построить аналитическое решение, запишем задачу в терминах идемпо-тентного полуполя Rmax,+ . Введем следующие векторы и матрицу:
x = (xj), y = (yj), A = (a j).
Тогда задача записывается в виде
min y-xx-y,
x
y = Ax.
С помощью подстановки y = Ax получаем задачу без ограничений
min x-Ax(Ax)-x,
x
полное решение которой дает теорема 1.
Пример 1. Для иллюстрации найденного решения рассмотрим следующий пример. Пусть имеется проект, состоящий из n = 3 работ, связанных ограничениями «старт-финиш», которые задаются матрицей
4 0 37 A = | 25 31 43 25 5 1
Используя арифметику полуполя Rmax,+, найдем спектральный радиус Л матрицы A по формуле (1). Для этого сначала вычислим матрицы
62 42 43 \ / 68 73
A2 = | 68 62 74 I , A3 = | 99 93 30 36 62 87 67
После определения следов матрицы A и ее степеней
tr A = 31, tr A2 = 62, tr A3 = 93
находим спектральный радиус в виде
Л = ^ А ф 1г1/2(А2) ф 1г1/3(А3) = 31.
Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6(64)- Вып. 3
Теперь составим матрицу Ал = А 1А и возведем ее в квадрат:
Ал =
По формулам (2) и (3) вычислим матрицы
-27 -31 6 / 0 -20 -19
-6 0 12 ) , A| = | 6 0 12
6 26 30 \ 32 26 0
A^ = A+ = | 6 0 12
0 -20 6 6 0 12 6 26 0
Заметим, что все столбцы матрицы А+ имеют 0 = 1 на диагонали. Учитывая, что третий столбец коллинеарен (в смысле полуполя Ктах,+ ) первому, его можно отбросить.
Составляя матрицу А^ из первых двух столбцов матрицы А+, получим решение задачи в векторной форме
x = A>, A* = | 6 0
0 -20 6 0 ч -6 -26
где вектор V = («1, «2)т может быть выбран произвольно.
Переходя к обычной записи, запишем координаты вектора х = (х ,ж2,жз)т в следующем виде:
х1 = тах(«1, «2 — 20), х2 = тах(«1 + 6, «2), = тах(«1 — 6, «2 — 26).
6. Заключение. В работе рассмотрена новая задача тропической оптимизации, в которой требуется минимизировать функцию, заданную при помощи неразложимой матрицы на множестве векторов над идемпотентным полуполем. Показано, что все решения задачи являются собственными векторами матрицы, соответствующими ее спектральному радиусу, и могут быть представлены в компактной векторной форме, удобной для формального анализа и непосредственных вычислений с невысокой вычислительной сложностью. Полученный результат использован для прямого решения в явном виде задачи оптимального планирования сроков выполнения проекта. Такое аналитическое решение дополняет и расширяет возможности существующих алгоритмических методов решения задач планирования, и будет полезным, когда алгоритмическое численное решение задачи по тем или иным причинам оказывается непригодным или невозможным.
Для дальнейшего исследования представляет интерес построение решения задачи при условии дополнительных ограничений и более сложной целевой функции.
Авторы благодарят рецензентов за ряд важных замечаний и предложений, которые были учтены при подготовке окончательного варианта статьи.
Литература
1. Pandit S.N.N. A new matrix calculus // J. SIAM. 1961. Vol. 9, N 4. P. 632-639. https: //doi.org/10.1137/0109052
2. Cuninghame-Green R.A. Describing industrial processes with interference and approximating their steady-state behaviour / / Oper. Res. Quart. 1962. Vol. 13, N 1. P. 95—100. https://doi.org/10.2307/3007584
3. Vorob'ev N.N. The extremal matrix algebra // Soviet Math. Dokl. 1963. Vol. 4, N 5. P. 12201223.
4. Romanovskii I. V. Asymptotic behavior of dynamic programming processes with a continuous set of states // Soviet Math. Dokl. 1964. Vol. 5, N 6. P. 1684-1687.
5. Cuninghame-Green R.A. Minimax Algebra. In: Lecture Notes in Economics and Mathematical Systems. Vol. 166. Berlin: Springer, 1979. https://doi.org/10.1007/978-3-642-48708-8
6. Zimmermann U. Linear and Combinatorial Optimization in Ordered Algebraic Structures. In: Annals of Discrete Mathematics. Vol. 10. Amsterdam: Elsevier, 1981.
7. Маслов В. П., Колокольцов В. Н. Идемпотентный анализ и его применение в оптимальном управлении. М.: Физматлит, 1994.
8. Heidergott B., Olsder G. J., van der Woude J. Max Plus at Work. In: Princeton Series in Applied Mathematics. Princeton, NJ: Princeton Univ. Press, 2006.
9. Кривулин Н. К. Методы идемпотентной алгебры в задачах моделирования и анализа сложных систем. СПб.: Изд-во С.-Петерб. ун-та, 2009.
10. Butkovic P. Max-linear Systems. In: Springer Monographs in Mathematics. London: Springer, 2010. https://doi.org/10.1007/978-1-84996-299-5
11. Clark W., Polakov W.N., Trabold F. W. The Gantt Chart. In: Ronald Manufacturing Management and Administration Series. New York: Ronald Press Company, 1922.
12. Kelley J. E. Critical-path planning and scheduling: mathematical basis // Oper. Res. 1961. Vol. 9, N 3. P. 296-320. https://doi.org/10.1287/opre.9.3.296
13. Malcolm D.G., Roseboom J.H., Clark C.E., Fazar W. Application of a technique for research and development program evaluation // Oper. Res. 1959. Vol. 7, N 5. P. 646-669. https://doi.org/10.1287/opre.7.5.646
14. Krivulin N. Extremal properties of tropical eigenvalues and solutions to tropical optimization problems // Linear Algebra Appl. 2015. Vol. 468. P. 211-232. https://doi.org/10.1016/j.laa.2014.06.044
15. Krivulin N. A multidimensional tropical optimization problem with nonlinear objective function and linear constraints // Optimization. 2015. Vol. 64, N 5. P. 1107-1129. https://doi.org/10.1080/02331934.2013.840624
16. Krivulin N. Tropical optimization problems with application to project scheduling with minimum makespan // Ann. Oper. Res. 2017. Vol. 256, N 1. P. 75-92. https://doi.org/10.1007/s10479-015-1939-9
17. Krivulin N. Tropical optimization problems in time-constrained project scheduling // Optimization. 2017. Vol. 66, N 2. P. 205-224. https://doi.org/10.1080/02331934.2016.1264946
18. Elsner L., van den Driessche P. Max-algebra and pairwise comparison matrices // Linear Algebra Appl. 2004. Vol. 385, N 1. P. 47-62. https://doi.org/10.1016/S0024-3795(03)00476-2
19. Elsner L., van den Driessche P. Max-algebra and pairwise comparison matrices, II // Linear Algebra Appl. 2010. Vol. 432, N 4. P. 927-935. https://doi.org/10.1016/j.laa.2009.10.005
20. Krivulin N. K. Eigenvalues and eigenvectors of matrices in idempotent algebra // Vestnik St. Petersburg Univ.: Math. 2006. Vol. 39, N 2. P. 72-83.
21. Krivulin N. Complete algebraic solution of multidimensional optimization problems in tropical semifield // J. Log. Algebr. Methods Program. 2018. Vol. 99. P. 26-40. https://doi.org/10.1016/j.jlamp.2018.05.002
22. Demeulemeester E.L., Herroelen W.S. Project Scheduling. New York: Springer, 2002. https://doi.org/10.1007/b101924
23. Neumann K., Schwindt C., Zimmermann J. Project Scheduling with Time Windows and Scarce Resources. 2nd ed. Berlin: Springer, 2003. https://doi.org/10.1007/978-3-540-24800-2
Статья поступила в редакцию 19 ноября 2018 г.;
после доработки 6 февраля 2019 г.; рекомендована в печать 21 марта 2019 г.
Контактная информация:
Кривулин Николай Кимович — д-р физ.-мат. наук, проф.; nkk@math.spbu.ru Баско Ульяна Львовна — студент; ulyana.basko@yandex.ru
Solving a tropical optimization problem with application to optimal scheduling*
N. K. Krivulin, U. L. Basko
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation
For citation: Krivulin N. K., Basko U. L. Solving a tropical optimization problem with application to optimal scheduling. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2019, vol. 6 (64), issue 3, pp. 440-451. https://doi.org/10.21638/11701/spbu01.2019.309 (In Russian)
A multidimensional optimization problem is considered, which is formulated and solved in terms of tropical mathematics focused on the theory and applications of semirings with idempotent addition. To solve the problem, which has an objective function given by a matrix, methods and results of idempotent algebra and tropical optimization are used. A strict lower bound for the objective function of the problem is first derived to allow the evaluation of the minimum value of the objective function. Then, an equation is formed and solved for the objective function and its minimum value, from which a complete solution is obtained in the form of all eigenvectors of the matrix in the problem. As an application of the result obtained, an explicit solution is given to the problem of optimal scheduling of a project that consists of a set of activities to be done under given constraints on the start and finish times of the activities. The optimality criterion for scheduling is defined as the minimum of maximal deviation, over all activities, of the working cycle time, which is given by the time interval between start and finish of the activity. The analytical result obtained extends and supplements the existing algorithmic numerical solutions to optimal scheduling problems. An example is presented to illustrate application of the result with a scheduling problem for a project consisting of three activities.
Keywords: idempotent semifield, (max, +)-algebra, eigenvalue and eigenvector of matrix, tropical optimization, scheduling problem.
References
1. Pandit S.N.N.,"A new matrix calculus", J. SIAM 9 (4), 632-639 (1961). https://doi.org/10.1137 /0109052
2. Cuninghame-Green R. A., "Describing industrial processes with interference and approximating their steady-state behaviour", Oper. Res. Quart. 13(1), 95-100 (1962). https://doi.org/10.2307/3007584
3. Vorob'ev N. N., "The extremal matrix algebra", Soviet Math. Dokl. 4(5), 1220-1223 (1963).
4. Romanovskii I. V., "Asymptotic behavior of dynamic programming processes with a continuous set of states", Soviet Math. Dokl. 5(6), 1684-1687 (1964).
5. Cuninghame-Green R. A., Minimax Algebra, in Lecture Notes in Economics and Mathematical Systems 166 (Springer, Berlin, 1979). https://doi.org/10.1007/978-3-642-48708-8.
6. Zimmermann U., Linear and Combinatorial Optimization in Ordered Algebraic Structures, in Annals of Discrete Mathematics 10 (Elsevier, Amsterdam, 1981).
7. Maslov V. P., Kolokoltsov V. N., Idempotent Analysis and Its Applications to Optimal Control Theory (Nauka Publ., Moscow, 1994). (In Russian)
8. Heidergott B., Olsder G. J., van der Woude J., Max Plus at Work, in Princeton Series in Applied Mathematics (Princeton Univ. Press, Princeton, NJ, 2006).
9. Krivulin N. K., Methods of idempotent algebra for problems in modeling and analysis of complex systems (Saint Petersburg Univ. Publ., Saint Petersburg, 2009). (In Russian)
10. Butkovic P., Max-linear Systems, in Springer Monographs in Mathematics (Springer, London, 2010). https://doi.org/10.1007/978-1-84996-299-5
11. Clark W., Polakov W. N., Trabold F. W., The Gantt Chart, in Ronald Manufacturing Management and Administration Series (Ronald Press Company, New York, 1922).
*The work is supported by Russian Foundation for Basic Research (project N18-010-00723).
12. Kelley J.E., "Critical-path planning and scheduling: mathematical basis", Oper. Res. 9(3), 296-320 (1961). https://doi.Org/10.1287/opre.9.3.296
13. Malcolm D.G., Roseboom J.H., Clark C.E., Fazar W., "Application of a technique for research and development program evaluation", Oper. Res. 7(5), 646-669 (1959). https: //doi.org/ 10.1287/opre.7.5.646
14. Krivulin N., "Extremal properties of tropical eigenvalues and solutions to tropical optimization problems", Linear Algebra Appl. 468, 211-232 (2015). https://doi.org/10.1016/j.laa.2014.06.044
15. Krivulin N., "A multidimensional tropical optimization problem with nonlinear objective function and linear constraints", Optimization 64(5), 1107-1129 (2015). https://doi.org/10.1080 /02331934.2013.840624
16. Krivulin N., "Tropical optimization problems with application to project scheduling with minimum makespan", Ann. Oper. Res. 256(1), 75-92 (2017). https://doi.org/10.1007/s10479-015-1939-9
17. Krivulin N., "Tropical optimization problems in time-constrained project scheduling', Optimization 66(2), 205-224 (2017). https://doi.org/10.1080/02331934.2016.1264946
18. Elsner L., van den Driessche P., "Max-algebra and pairwise comparison matrices", Linear Algebra Appl. 385(1), 47-62 (2004). https://doi.org/10.1016/S0024-3795(03)00476-2
19. Elsner L., van den Driessche P., "Max-algebra and pairwise comparison matrices, II", Linear Algebra Appl. 432(4), 927-935 (2010). https://doi.org/10.1016/j.laa.2009.10.005
20. Krivulin N. K., "Eigenvalues and eigenvectors of matrices in idempotent algebra", Vestnik St. Petersburg Univ.: Math. 39(2), 72-83 (2006).
21. Krivulin N., "Complete algebraic solution of multidimensional optimization problems in tropical semifield", J. Log. Algebr. Methods Program. 99, 26-40 (2018). https://doi.org/10.1016 /j.jlamp.2018.05.002
22. Demeulemeester E. L., Herroelen W. S., Project Scheduling (Springer, New York, 2002). https://doi.org/10.1007/b101924
23. Neumann K., Schwindt C., Zimmermann J., Project Scheduling with Time Windows and Scarce Resources (2nd ed., Springer, Berlin, 2003). https://doi.org/10.1007/978-3-540-24800-2
Received: November 19, 2018 Revised: February 6, 2019 Accepted: March 21, 2019
Author's information:
Nikolai K. Krivulin — nkk@math.spbu.ru Ulyana L. Basko — ulyana.basko@yandex.ru
