CC BY
46
УДК 519.85 Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т. 4 (62). Вып. 3
МЯО 15А80, 90С48, 65К05, 90С05
РЕШЕНИЕ ЗАДАЧ
МАТЕМАТИЧЕСКОГО ПРОГРАММИРОВАНИЯ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ ТРОПИЧЕСКОЙ ОПТИМИЗАЦИИ*
Н. К. Кривулин, И. В. Романовский
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Рассматривается класс задач математического программирования, который включает задачи линейного и нелинейного программирования определенного вида. Сначала изучается задача линейного программирования и исследуется возможность построения ее прямого полного решения в терминах обычной математики без применения известных итеративных вычислительных процедур и алгоритмов линейного программирования таких, как симплексный метод. Предлагаются прямые решения задачи в случае сокращенного набора ограничений и минимальной размерности. Показывается, что с увеличением размерности построение таких решений становится слишком трудной проблемой, и потому вряд ли осуществимо. Приводятся примеры других задач линейного и нелинейного программирования, которые могут быть получены из рассмотренной выше путем изоморфных преобразований. Далее предлагается обзор основных обозначений и предварительных результатов тропической математики, необходимых для последующего описания и применения методов тропической оптимизации. Формулируется задача тропической оптимизации и приводятся прямые полные решения этой задачи и некоторых ее частных случаев. Задачи линейного и нелинейного программирования, поставленные выше, сводятся к задаче тропической оптимизации, что обеспечивает их прямое полное решение в терминах тропической математики. Приводится запись решения задачи линейного программирования с сокращенным набором ограничений в терминах обычной математики. Библиогр. 17 назв.
Ключевые слова: математическое программирование, линейное программирование, тропическая математика, идемпотентное полуполе, тропическая оптимизация.
1. Введение. Тропическая (идемпотентная) математика представляет собой область прикладной математики, которая изучает теорию и приложения полуколец с идемпотентным сложением. Первые исследования в этой области были опубликованы в работах зарубежных [1-4] и российских (советских) [5-7] авторов, и имели своей целью решение практических задач оптимизации и исследования операций. В дальнейшем область тропической математики успешно развивалась во многих работах, включая [8-11].
Задачи оптимизации, которые могут быть сформулированы и решены в терминах идемпотентных полуколец и полуполей (задачи тропической оптимизации), составляют важный раздел тропической математики, основным направлением развития которого является разработка новых эффективных методов решения как классических, так и ранее неизвестных оптимизационных задач. Методы тропической оптимизации находят применение при решении многих актуальных задач в различных областях, включая задачи планирования, размещения и принятия решений. Некоторые задачи допускают прямое полное решение в компактной векторной форме, в то время как для других задач известны только алгоритмические решения в виде итерационных численных процедур (см., например, короткий обзор задач и методов решения в [12]).
* Работа выполнена при финансовой поддержке РГНФ в рамках научного проекта № 16-02-00059.
(¡5 Санкт-Петербургский государственный университет, 2017
Цель настоящей работы состоит в том, чтобы для одного класса задач математического программирования разработать новый метод, который, в отличие от известных алгоритмических подходов, позволяет получить прямое полное решение задачи в явном виде. Предлагается решение на основе аппарата и методов тропической оптимизации, которое имеет полиномиальную вычислительную сложность и приводит к результатам, представленным в компактной векторной форме, удобной как для дальнейшего анализа решений, так и для непосредственных расчетов.
В работе сначала формулируется некоторая задача линейного программирования и обсуждается возможность ее прямого полного решения в замкнутой форме. Приводятся формулировки еще одной задачи линейного программирования, а также двух задач нелинейного (геометрического) программирования, которые могут быть получены из рассмотренной выше путем изоморфных преобразований. Далее предлагается обзор основных обозначений и предварительных результатов тропической математики, необходимых для последующего применения методов тропической оптимизации. Формулируются задачи тропической оптимизации и приводятся их прямые полные решения, полученные в работах [13-15]. Поставленные выше задачи математического программирования сводятся к задачам тропической оптимизации, что обеспечивает их прямое решение. Для задачи линейного программирования с сокращенным набором ограничений приводится запись этого решения в терминах обычной математики.
2. Задача линейного программирования. Предположим, что заданы параметры ajj, bij ,pi, qj, r G R, а также gj, hj G R такие, что gj < hj для всех i, j = 1,... ,n. Требуется определить значения неизвестных xi G R для всех i = 0,1,..., n, которые решают задачу линейного программирования
min xo;
xo + xj - Xj > ajj, xo + Xj > pi, xo - Xj >-qj, xo > r, (1)
Xj - xj > bjj, gj < xj < hj, i,j = 1 ,...,n.
Ясно, что для решения этой задачи можно применить одну из известных итеративных вычислительных схем линейного программирования [16] (например, симплексный метод), которые обеспечивают непрямой алгоритмический способ решения.
Кроме того, учитывая, что целевая функция задана в виде одной переменной xo, для которой неравенства-ограничения указывают только нижние границы, решение задачи можно прямо свести к решению системы ограничений, а затем взять те решения системы, которые дают минимум xo. Однако известные решения таких задач в общем случае также используют алгоритмические процедуры [17].
В силу того, что задача имеет весьма специальный вид (простая форма целевой функции, малое число переменных в каждом неравенстве и наличие у переменных только коэффициентов ±1), можно ожидать, что найдется ее полное прямое решение, представленное в явной замкнутой форме.
Приведем некоторые примеры, которые показывают, что при использовании обычной арифметики нахождение явного решения может представлять значительные трудности, а при большой размерности задачи оказывается вряд ли возможным.
Сначала заметим, что неравенства, которые не включают переменную xo, задают выпуклый многогранник, полученный пересечением n-мерного прямоугольного параллелепипеда {gj < xj < hj|i = 1,..., n} с полупространствами, заданными неравенствами xj - xj > bjj при всех i, j = 1,... ,n. Учитывая, что количество вершин
этого многогранника может изменяться в широких пределах и, вообще говоря, быть очень велико, прямое явное его описание (через вершины) вряд ли осуществимо. В то же время, этот многогранник, по существу, определяет допустимое множество для переменных xi,... ,xn (если указанные неравенства справедливы, то для выполнения остальных неравенств можно просто выбрать достаточно большое значение для хо). Понятно, что указанные проблемы с аналитическим описанием многогранника, приведут к очевидным трудностям представления общего решения в явном виде.
Ниже будут исследованы частные случаи задачи (1) с тем, чтобы попробовать записать их решения в явном виде, а также понять, с какими проблемами придется столкнуться при построении такого решения в общем случае задачи большой размерности.
2.1. Задача с сокращенным числом ограничений. Рассмотрим упрощенный вариант задачи (1), который имеет вид
min хо;
хо + xi — Xj > aij, i,j = 1,. .., n.
Нетрудно проверить, что минимум целевой функции этой задачи может быть найден в явном виде без особого труда (см., например, [2]). Действительно, выписывая и складывая соответствующие неравенства по два и по три, получим
^ ^ aij + aji ^ aij + ajk + aki . 7
xo > au, хо > -2-' x° - -з-' t,j,k=l,...,n.
В общем случае при сложении k = 1,... ,n неравенств имеем
. aili2 + ai2i3 + * * * + aik il ■ ■ л
xo> -;-, H, ■ ■ ■, Ч = 1, • • • ,п.
k
Выражение в правой части вычисляется как среднее элементов матрицы A = (aij), соответствующих циклическому пути (циклу) в графе, для которого A является матрицей смежности, и называется циклическим средним элементов матрицы A.
Объединение полученных неравенств дает нижнюю оценку для целевой функции:
^ ail i2 + ai2 i3 + ' ' ' + aik il /o\
xo > max max ---. (3)
1<k<n 1<ii ,---,ik <n k
Покажем, что это неравенство для всех решений задачи выполняется как равенство. Пусть хо, xi,..., xn —решение задачи. Сначала заметим, что для каждого индекса i найдется хотя бы один индекс j такой, что xo + xi — xj = aij. Действительно, если для всех j выполняется xo + xi — xj > 0, то, уменьшая значение xi, можно получить равенство хотя бы в одном таком строгом неравенстве в то время, как все другие неравенства-ограничения, в которые xi входит с отрицательным знаком, останутся выполненными.
Возьмем ii = 1 и найдем i,2 из условия равенства xo + xil — xi2 = aili2. Затем найдем i3 из условия x0 + xi2 — xi3 = ai2i3. Продолжая эту процедуру, будем строить последовательность индексов ii,i2,... Ясно, что в этой последовательности появятся повторяющиеся индексы. Выберем циклическую подпоследовательность индексов ii, i+i,... ,ik, где ik = ii, причем 1 < k — l < n. Складывая равенства, соответствующие этой подпоследовательности, получим
(k — l)xo = aiiii+i + ai;+iii+2 + ''' + aik-iii.
Это означает, что хотя бы одно циклическое среднее в правой части (3) равно хо. Следовательно, неравенство (3) для решений задачи выполняется как равенство. Это равенство задает оптимальное значение хо и, тем самым, минимум в задаче (2). Одно из решений задачи можно найти следующим образом [2]. Положим
ai1i2 + ai2+ * * * + ai
жо = max max
1<fc<n 1<ii <n k
Тогда значения остальных неизвестных определяются так: xi =0, Х2 = xo —ai2, хз = 2xo—ai2 — a23, ..., x„ = (n—1)xo — ai2—a23 - ----a„_ijn.
Заметим, однако, что описание всех решений задачи (2) в замкнутой форме может оказаться более трудной задачей. Ниже приведен пример общего решения другого варианта задачи (1) малой размерности, записанного в компактном виде, и обсуждается возможность построения подобных решений для задач большой размерности.
2.2. Решение задачи малой размерности. Снова рассмотрим задачу (1) с сокращенным числом ограничений в виде
min x0;
. = (4)
^с о I i j j, ^c i ^c j bij, i, j — 1,..., .
При n = 2 задача примет следующий вид (ясно, что для разрешимости системы ограничений должно выполняться условие Ьц, &22 < 0):
min xo;
xo > aii, xo + xi — X2 > ai2, xo — xi + X2 > a2i, xo > a22, xi — x2 > bi2, x2 — xi > &2i.
Решим систему неравенств-ограничений задачи путем исключения неизвестных [17]. Для этого преобразуем эту систему к виду
xo > max(aii, a22), —xo + ai2 < xi — x2 < xo — a2i, bi2 < xi — x2 < — &2i.
Для того чтобы полученная система была разрешима, необходимо выполнение условия bi2 < — &2i. При таком условии эта система эквивалентна следующей системе:
xo > max(aii, a22), —xo + ai2 < xo — a2i, —xo + ai2 < —&2i, bi2 < xo — a2i, max(—xo + ai2, bi2) < xi — x2 < min(xo — a2i, —&2i).
После решения первых четырех неравенств относительно xo и объединения полученных результатов приходим к системе
xo > max(aii, a22, (ai2 + a2i)/2, ai2 + &2i, a2i + bi2), max(—xo + ai2, bi2) < xi — x2 < min(xo — a2i, —b2i).
Учитывая, что требуется найти минимальное значение xo, первое неравенство можно заменить равенством. Тогда полное решение задачи принимает вид
xo = max(aii, a22, (ai2 + a2i)/2, ai2 + b2i, a2i + bi2),
max(-xo + ai2, bi2) < xi - x2 < min(xo - a2i, -b2i).
Ясно, что при n = 2 добавление других ограничений задачи (1) приведет к некоторому, но не слишком значительному, усложнению выкладок. Однако такой подход для решения задач при больших значениях n потребует исследования слишком большого числа неравенств и не сможет обеспечить компактную запись общего решения, а поэтому представляется малопригодным.
Ниже будет показано, что применение методов и результатов тропической оптимизации позволяет представить все решения задачи (1) в компактной векторной форме, удобной как для дальнейшего анализа решений, так и для непосредственных расчетов.
2.3. Другие задачи математического программирования. В заключение этого раздела приведем примеры задач оптимизации, которые могут быть получены из задачи (1) путем изоморфных преобразований, и решение которых в терминах тропической математики принципиально не отличается от решения указанной задачи. Сначала заметим, что с помощью преобразования x ^ -x задачу (1) можно привести к задаче линейного программирования такого вида:
max xo;
xo + xj - xj < ajj, xo + xj < pj, xo - xj <-qj, xo < r, (5)
xj - xj < bjj, gj < xj < hj, i, j = 1,..., n.
Кроме того, применение преобразования x ^ exp x трансформирует задачу (1) в задачу нелинейного (геометрического) программирования в форме
min xo;
xoxjx-i > ajj, xoxj > pj, xox-i > q-1, xo > r, (6)
xjx-i > bjj, gj < xj < hj, i,j = 1,..., n;
при условии, что заданные параметры ajj, bjj, pj, qj, gj и hj, а также неизвестные переменные xo и xj принимают неотрицательные значения при всех i, j = 1, . . . , n.
Аналогично, преобразование x ^ exp(-x) приводит к задаче с положительными параметрами и неизвестными, которая имеет вид
max xo;
xoxjx-i < ajj, xoxj < pj, xox-1 < q-1, xo < r, (7)
xjx-i < bjj, gj < xj < hj, i,j = 1,...,n.
3. Элементы тропической математики. Приведем краткий обзор основных обозначений и предварительных результатов тропической математики [11], которые потребуются для описания задач тропической оптимизации и их решений, представленных ниже. Подробное изложение различных вопросов теории и приложений тропической математики можно найти в работах [8-10].
Идемпотентное (тропическое) полуполе представляет собой систему (X, 0,1, ф, (), в которой на непустом множестве X заданы операции сложения ф и умножения ( вместе с нейтральными элементами нулем 0 и единицей 1 так, что (X, 0, ф) образует
идемпотентную коммутативную полугруппу с нулем, (X \ {0}, 1, () — абелеву группу, а умножение дистрибутивно относительно сложения.
На множестве X определен частичный порядок так, что x < y тогда и только тогда, когда x ф y = y. Относительно такого порядка операции сложения и умножения обладают свойством монотонности, а операция обращения является антитонной. Кроме того, для любых x,y,z G X неравенство x ф y < z оказывается равносильным системе из двух неравенств x < z и y < z. Учитывая, что для введенного порядка всегда можно построить линейное продолжение, этот порядок считается линейным.
Степень с целым показателем определяется обычным путем: x0 = 1, xp = x ( xp—1, x—p = (x-1)p и 0p = 0 для любых x = 0 и целого p > 0. Предполагается, что полуполе является алгебраически полным в смысле разрешимости относительно x уравнения xp = y при любом целом p > 0, из чего вытекает существование степеней с рациональным показателем. Далее знак умножения ( будет для краткости опускаться.
Примеры идемпотентных полуполей включают: Rmax,+ = (R U {—то}, —то, 0, max, +), Rmin,+ = (R U {+то}, +то, 0, min, +), Rmax,x = (R+ U {0}, 0,1, max, x) и Rmin,x = (R+ U {+то}, +то, 1, min, x), где R — множество вещественных чисел и R+ = {x G R|x > 0}.
Множество матриц, состоящих из m строк и n столбцов с элементами из X, обозначается через Xmxn. Сложение и умножение матриц подходящего размера, а также умножение матрицы на скаляр выполняются по обычным правилам с заменой арифметических сложения и умножения на операции ф и ( . Отношение порядка, введенное на X, и связанные с ним свойства скалярных операций, прямо распространяются на матрицы, для которых неравенства понимаются как покомпонентные.
Рассмотрим множество квадратных матриц Xnxn. Матрица с элементами, равными 1 на диагонали и 0 —вне ее, является единичной и обозначается I. Как обычно, целая положительная степень матрицы A G Xnxn определяет произведения матрицы на себя так, что A0 = I и Ap = AAp—1 для любого целого p > 0.
След матрицы A = (aij) вычисляется по формуле tr A = aii ф • • • ф ann. Сумма следов степеней матрицы A обозначается через
n
Tr(A) = tr A ф---ф tr An = 0tr Ak.
k=1
Если Tr(A) < 1, то определена матрица (известная также как «звезда Клини»)
n— 1
A* = I ф A ф • • • ф An—1 Ak.
k=0
Матрица, состоящая из одного столбца (строки), образует вектор-столбец (вектор-строку). Ниже все векторы считаются векторами-столбцами, если не указано иное. Множество векторов-столбцов порядка n над X обозначается через Xn. Вектор, все элементы которого равны 0, является нулевым и обозначается 0. Вектор без нулевых элементов называется регулярным. Для любого ненулевого вектора-столбца x = (xj) определен мультипликативно сопряженный вектор-строка x— = (x—) с элементами x— = x—1, если xj = 0, и x— = 0 в противном случае.
Скаляр Л G X является собственным числом матрицы A G Xnxn, если найдется ненулевой вектор x G Xn, удовлетворяющий равенству Ax = Лх. Максимальное (в
смысле отношения порядка, индуцированного идемпотентным сложением) собственное число матрицы A называется спектральным радиусом и вычисляется по формуле
n
Л = tr A ©•••© tr1/n(An) = 0tr1/k (Ak).
k=1
4. Задачи тропической оптимизации и их решения. В настоящем разделе приводится задача тропической оптимизации, сформулированная в терминах произвольного идемпотентного полуполя. Затем представлено прямое полное решение этой задачи и ее частных случаев в компактной векторной форме.
Пусть заданы матрицы A, B € Xnxn, векторы p, q, g, h € Xn и скаляр r € X. Требуется найти все регулярные векторы x G Xn, которые решают задачу
min x-Ax © x-p © q-x © r;
(8)
Bx < x, g < x < h.
Решение задачи (8) при достаточно общих условиях получено в [15]. Чтобы представить это решение, введем следующие обозначения для сумм произведений матриц:
Sk = 0 AB®1 ••• ABik, k = 1,..., n;
0<iiH-----+ik <n-k
Tk = 0 Bi0 (AB®1 ••• ABik), k = 1,..., n - 1.
0<®o+®i +-----<n —k — 1
Прямое полное решение задачи дает такой результат.
Теорема 1. Пусть матрица A имеет спектральный радиус Л, а матрица B такая, что Tr(B) < 1. Пусть p, g — векторы, q, h —регулярные векторы, а r — скаляр такие, что h—B*g < 1 и Л © (q—p)1/2 © r > 0. Тогда минимум в задаче (8) равен
n n-1
в = 0tr1/k(Sk) © 0(h—Tkg)1/k©
k=1 k=1
n-1 n-1
© 0(q—Tkg © h—Tkp)1/(k+1) © 0(q— Tkp)1/(k+2) © r, k=0 k=0
а все регулярные 'решения имеют вид
x = (в-1A © B)*u, где u — любой регулярный вектор, который удовлетворяет условию в—1р © g < u < ((в-1 q— © h—)(в—1A © B)*) —.
В отсутствие ограничения в виде двойного неравенства задача принимает вид min x-Ax © x-p © q-x © r;
(9)
Bx < x;
а ее решение описывается как такое следствие теоремы 1 (см. также [14]).
Следствие 1. Пусть матрица А имеет спектральный 'радиус X, а матрица В такая, что Тг(В) < 1. Пусть р — вектор, д —регулярный вектор, а г — скаляр такие, что X ф (д-р)1/2 Ф г > 0. Тогда минимум в задаче (9) равен
п-1
в = 0tr1/fc(Sk) ©0(q-Tkp)
1/(k+2)
© r,
k=1 k=0 а все регулярные 'решения имеют вид
x = (в-1 A © Б)*и, в-1р < и < e(q-(в-1 A © Б)*)-.
Наконец, представим решение, которое было получено в [13] для задачи без ограничений с сокращенной целевой функцией,
Ax.
(10)
Следствие 2. Пусть матрица А имеет спектральный радиус X > 0. Тогда минимум в задаче (10) равен X, а все регулярные решения задачи имеют вид
x = (Л-1 A)*u, и > 0.
(11)
В заключение отметим, что вычислительная сложность решения, которое предлагает теорема 1, не превосходит O(n5), где n — размерность задачи [15].
5. Решение задач математического программирования. Представим задачу (1) в терминах идемпотентного полуполя Rmax,+ . После перестановки членов и замены обычных знаков операций на знаки тропической математики неравенства-ограничения задачи принимают вид
xo > x-1aijxj, xo > pix-1, xo > qj-1xj, xo > r, xi > bij xj, gi < xi < hi, i, j = 1, .. . ,n.
Перейдем к векторной записи задачи, для чего введем векторы x1
p
\ xn
а также матрицы
A
q
an
\ an1
a1n
g
b
h
h1 \ hn
Б
11
?1n
b
n1
Используя введенные обозначения, запишем ограничения в виде тропических векторных неравенств
x0 > х-Ах, x0 > х-р, x0 > д-х, x0 > г, х > Вх, д < х < Н.
шш x
x
b
a
Объединение всех неравенств для xo приводит к одному эквивалентному неравенству xo > ф ф ф r. Тогда неизвестное xo может быть исключено, а задача нахождения minx0 заменена на задачу нахождения min x-Axфффr.
Таким образом, задача (1) сводится в терминах тропической математики к задаче (8), решение которой предоставляет теорема 1. После трансляции результата теоремы на язык обычной математики можно получить решение задачи (1) в форме, соответствующей ее исходной постановке в виде задачи линейного программирования. Учитывая, что запись решения задачи на обычном языке в случае произвольной размерности n представляется достаточно громоздкой, она здесь не приводится.
Рассмотрим задачу линейного программирования с сокращенным набором ограничений (2). Нетрудно понять, что после ее представления в терминах полуполя Rmax,+ получим задачу (10) с решением (11), которое дает следствие 2. Заметим, что в исходной постановке задачи все параметры а^, а также решения xj предполагаются вещественными (то есть конечными). Тогда все элементы матрицы A в задаче (10) всегда будут больше, чем 0 = —то, а сама матрица будет иметь спектральный радиус Л > 0.
Возвращаясь к исходной задаче линейного программирования, представим решение (11) в обычной форме. Обозначив элементы матрицы (Л-1 A)* через aj, получим решение в следующем виде.
Следствие 3. Минимум в задаче (2) 'равен
Л aii i2 + ai2i3 + * * * + aikil
Л = max max ---,
1<k<n 1<j1j...!ik<n k
а все решения имеют вид
xo = Л, xj = max(a*i + ui,..., a*n + un), uj G R, i = 1,..., n; при условии, что a*j = max(ajj, 0) и aj = ajj, если i = j, где
aij = max max (aj0j1 + aj1 j2 +-----+ ajfc-1 jk — кЛ), i, j = 1,..., n.
1<k<n-1 1< i1 !...Jjfc_1 <n io =i, ifc =j
Заметим, что для задачи (5) представление в виде задачи (8) и решение в форме теоремы 1 также применимы при условии их интерпретации в терминах полуполя Rmin,+ . Аналогичным образом, для задач (6) и (7) эти результаты будут справедливы в контексте полуполей Rmax,x и Rmin,x соответственно.
6. Заключение. В работе предложен новый метод решения некоторых задач линейного и нелинейного программирования на основе применения аппарата и результатов тропической оптимизации (оптимизации в пространстве векторов над идемпо-тентным полуполем). В отличие от известных алгоритмических подходов (таких, как симплексный алгоритм линейного программирования), предложенный метод обеспечивает прямое полное решение задачи в явном виде в компактной замкнутой форме, которое находится за полиномиальное время путем выполнения простых матрично-векторных операций. Полученные результаты могут быть полезными, когда численное (алгоритмическое) решение оказывается недостаточным и требуется полное аналитическое решение задачи.
Применение предложенного в работе подхода на основе тропической оптимизации для решения других задач математического программирования представляет
значительный интерес и составляет одно из важных направлений дальнейших исследований.
Литература
1. Pandit S.N.N. A new matrix calculus // J. SIAM. 1961. Vol.9, N4. P. 632-639. D01: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. D0I:10.2307/3007584.
3. Giffler B. Scheduling general production systems using schedule algebra // Naval Res. Logist. Quart. 1963. Vol.10, N1. P. 237-255. D0I:10.1002/nav.3800100119.
4. Hoffman A. J. On abstract dual linear programs // Naval Res. Logist. Quart. 1963. Vol. 10, N1. P. 369-373. D0I:10.1002/nav.3800100131.
5. Воробьев Н. Н. Экстремальная алгебра матриц // Докл. АН СССР. 1963. Т. 152, № 1. С. 24-27.
6. Романовский И. В. Асимптотическое поведение процессов динамического программирования с непрерывным множеством состояний // Докл. АН СССР. 1964. T. 159, №6. С. 1224-1227.
7. Корбут А. А. Экстремальные пространства // Докл. АН СССР. 1965. Т. 164, №6. С. 12291231.
8. Маслов В. П., Колокольцов В.Н. Идемпотентный анализ и его применение в оптимальном управлении. М.: Физматлит, 1994. 144 с.
9. Golan J. S. Semirings and Affine Equations Over Them. In Ser. Mathematics and Its Applications. Vol.556. New York: Springer, 2003. 256p. D0I:10.1007/978-94-017-0383-3.
10. Heidergott B., Olsder G. J., van der Woude J. Max Plus at Work. In: Princeton Series in Applied Mathematics. Princeton: Princeton Univ. Press, 2006. 226 p.
11. Кривулин Н.К. Методы идемпотентной алгебры в задачах моделирования и анализа сложных систем. СПб.: Изд-во С.-Петерб. ун-та, 2009. 256 с.
12. Krivulin N. Tropical optimization problems // Advances in Economics and 0ptimization. Economic Issues, Problems and Perspectives / ed. by L. A. Petrosyan, J. V. Romanovsky, D.W.-K. Yeung. New York: Nova Sci. Publ., 2014. P. 195-214.
13. Krivulin N. Extremal properties of tropical eigenvalues and solutions to tropical optimization problems // Linear Algebra Appl. 2015. Vol.468. P. 211-232. D0I:10.1016/j.laa.2014.06.044.
14. Krivulin N. K., Sorokin V. N. Solution of a tropical optimization problem with linear constraints // Vestnik St. Petersburg Univ. Math. 2015. Vol.48, N4. P. 224-232. D0I:10.3103/S1063454115040081.
15. Krivulin N. Direct solution to constrained tropical optimization problems with application to project scheduling // Comput. Manag. Sci. 2017. Vol.14, N1. P. 91-113. D0I:10.1007/s10287-016-0259-0.
16. Романовский И. В. Алгоритмы решения экстремальных задач. М.: Наука, 1977. 352 с.
17. Черников С. Н. Линейные неравенства. М.: Наука, 1968. 488 с.
Статья поступила в редакцию 19 декабря 2016 г.; рекомендована в печать 30 марта 2017 г.
Сведения об авторах
Кривулин Николай Кимович — доктор физико-математических наук, доцент; nkk@math.spbu.ru
Романовский Иосиф Владимирович — доктор физико-математических наук, профессор; josephromanovsky@gmail.com
SOLUTION OF MATHEMATICAL PROGRAMMING PROBLEMS USING METHODS OF TROPICAL OPTIMIZATION
Nikolai K. Krivulin, Joseph V. Romanovsky
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation; nkk@math.spbu.ru, josephromanovsky@gmail.com
A class of mathematical programming problems, which includes linear and non-linear programming problems of a particular form is considered. First, a linear programming problem is examined and the possibility to derive a direct complete solution of the problem, which does not use known iterative computational procedures and algorithms of linear programming, such as the simplex algorithm is investigated. A direct solution of the problem with a reduced set of constraints and of the minimal dimension is given, and it is shown that, as the dimension increases, the derivation of such solutions
becomes an extremely hard task, and thus is hardly feasible. Examples of other problems of linear and non-linear programming, which can be obtained by isomorphic transformations of the problem considered above are presented. Furthermore, an overview of main definitions and preliminary results of tropical mathematics, which are necessary in the subsequent description and application of methods of tropical mathematics is given. A tropical optimization problem is formulated, and direct complete solutions for the problem and its special cases are described. The above problems of linear and non-linear programming reduce to the tropical optimization problem, which provides a direct complete solution to the former problems in terms of tropical mathematics. For the linear programming problem with a reduced set of constraints a representation of the solution in the usual mathematical terms is demonstrated. Refs 17.
Keywords: mathematical programming, linear programming, tropical mathematics, idempotent semifield, tropical optimization.
References
1. Pandit S. N.N., "A new matrix calculus", J. SIAM 9(4), 632-639 (1961). D01: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). D0I:10.2307/3007584.
3. Giffler B., "Scheduling general production systems using schedule algebra", Naval Res. Logist. Quart. 10(1), 237-255 (1963). D0I:10.1002/nav.3800100119.
4. Hoffman A.J., "On abstract dual linear programs", Naval Res. Logist. Quart. 10(1), 369-373 (1963). D0I:10.1002/nav.3800100131.
5. Vorob'ev N. N., "The extremal matrix algebra", Soviet Math. Dokl. 4(5), 1220-1223 (1963).
6. Romanovsky J. V., "Asymptotic behavior of dynamic programming processes with a continuous set of states", Soviet Math. Dokl. 5(6), 1684-1687 (1964).
7. Korbut A. A., "Extremal spaces", Soviet Math. Dokl. 6(5), 1358-1361 (1965).
8. Maslov V. P., Kolokoltsov V. N., Idempotent Analysis and Its Applications to Optimal Control Theory (Nauka, Moscow, 1994, 144p.) [in Russian].
9. Golan J. S., Semirings and Affine Equations Over Them. In Ser. Mathematics and Its Applications (Springer, New York, 2003, 556, 256 p.). D0I:10.1007/978-94-017-0383-3.
10. Heidergott B., Olsder G. J., van der Woude J., Max Plus at Work. In Princeton Series in Applied Mathematics (Princeton Univ. Press, Princeton, 2006, 226p.).
11. Krivulin N. K., Methods of Idempotent Algebra for Problems in Modeling and Analysis of Complex Systems (Saint Petersburg Univ. Press, St. Petersburg, 2009, 256 p.) [in Russian].
12. Krivulin N., "Tropical optimization problems", Advances in Economics and Optimization. Economic Issues, Problems and Perspectives, 195-214 (Eds L. A. Petrosyan, J.V. Romanovsky, D.W.-K. Yeung, Nova Sci. Publ., New York, 2014).
13. Krivulin N., "Extremal properties of tropical eigenvalues and solutions to tropical optimization problems", Linear Algebra Appl. 468, 211-232 (2015). D0I:10.1016/j.laa.2014.06.044.
14. Krivulin N. K., Sorokin V. N., "Solution of a tropical optimization problem with linear constraints", VestnikSt. Petersburg Univ. Math. 48(4), 224-232 (2015). D0I:10.3103/S1063454115040081.
15. Krivulin N., "Direct solution to constrained tropical optimization problems with application to project scheduling", Comput. Manag. Sci. 14(1), 91-113 (2017). D0I:10.1007/s10287-016-0259-0.
16. Romanovsky J. V., Algorithms for Solving Extremal Problems (Nauka, Moscow, 1977, 352 p.) [in Russian].
17. Chernikov S. N., Linear Inequalities (Nauka, Moscow, 1968, 488 p.) [in Russian].
Для цитирования: Кривулин Н. К., Романовский И. В. Решение задач математического программирования с использованием методов тропической оптимизации // Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т. 4 (62). Вып. 3. С. 448-458. D0I: 10.21638/11701/spbu01.2017.307
For citation: Krivulin N. K., Romanovsky J. V. Solution of mathematical programming problems using methods of tropical optimization. Vestnik SPbSU. Mathematics. Mechanics. Astronomy, 2017, vol. 4(62), issue 3, pp. 448-458. D0I: 10.21638/11701/spbu01.2017.307
