CC BY
158
УДК 62-50:519.7/8
ОПТИМИЗАЦИЯ В УСЛОВИЯХ ИНТЕРВАЛЬНОЙ НЕОПРЕДЕЛЕННОСТИ МЕТОДОМ ДЕТЕРМИНИЗАЦИИ
© В.И. Левин
Ключевые слова: оптимизация; неопределенность; оптимизация при интервальной неопределенности; метод де-терминизации.
Рассмотрены существующие подходы к оптимизации (оптимальному проектированию) систем в условиях неопределенности. Дана точная постановка задачи условной оптимизации в случае интервальной неопределенности параметров целевой функции и ограничений. В связи с этим изложена математическая теория сравнения интервалов, включающая точное определение максимального и минимального интервалов. На ее основе сформулирован и обоснован метод детерминизации, позволяющий решить задачу путем сведения к двум полностью определенным задачам оптимизации того же типа.
1. ВВЕДЕНИЕ
Задачи оптимизации имеют огромное прикладное значение: на их основе строятся методы оптимального проектирования разнообразных систем - технических, экономических, социальных и т. д., обеспечивающие достижение наилучшего, в определенном смысле, результата работы создаваемой системы. В связи с этим к настоящему времени уже создано огромное число методов решения задач оптимизации, как универсальных, рассчитанных на применение к задачам различных классов, так и специализированных, позволяющих эффективно решать лишь отдельные узкие классы задач [1-6]. Однако при всем различии существующих методов, они все обладают общим свойством - применимостью только к тем задачам оптимизации, в которых оптимизируемая функция известна точно (детерминирована). Между тем встречающиеся на практике задачи оптимизации и оптимального проектирования таковы, что их оптимизируемые функции обычно известны не точно, а с той или иной степенью неопределенности (недетер-минированы). Это вызвано тем, что: 1) реальным процессам свойственна естественная неопределенность; 2) параметры большинства систем из-за погрешности их вычислений или измерений известны неточно; 3) параметры многих систем изменяются во времени.
В связи с этим возникает проблема оптимизации неполностью определенных (недетерминированных) функций. Данная проблема достаточно сложна, по сравнению с традиционной оптимизацией полностью определенных (детерминированных) функций, поскольку для нее дополнительно необходимо: 1) обобщить понятие экстремума функции; 2) выяснить условия существования экстремума функции, связанные с ее недетерминированностью; 3) разработать специальные методы поиска экстремума таких функций.
Реально эта проблема еще сложнее, поскольку имеющаяся информация об оптимизируемой функции может быть не только неполностью определенной, но и неоднозначной, неточной, противоречивой и т. д. В такой ситуации некоторые авторы считают, что модели для описания сложных систем могут быть смысловы-
ми, носящими содержательно-описательный, словесный характер. Такой взгляд представляется не вполне логичным. Действительно, математика, как известно, строится как полностью определенная, однозначная, точная и непротиворечивая наука. Поэтому правильное применение математики к описанию сложных систем -неопределенных, неоднозначных, неточных противоречивых и т. д. - вполне может давать адекватные математические модели этих систем, лишенные неопределенности, неоднозначности, неточности и противоречивости. Для этого требуется всего лишь подобрать математический аппарат, который позволяет оперировать с неопределенностью и другими НЕ-свойствами исследуемой сложной системы так же точно и однозначно, как классическая математика оперирует с полностью определенными системами.
Есть различные подходы к нахождению оптимума неполностью определенных (недетерминированных) функций, различающиеся достоинствами и недостатками [7]. Первый подход - детерминированный - заключается в решении задачи оптимизации для определенных значений или сочетаний значений параметров оптимизируемой функции, взятых внутри заданных областей их неопределенности [7]. Так, можно взять наихудшее сочетание значений параметров внутри областей неопределенности (пессимистический подход) [7-10], их наилучшее сочетание (оптимистический подход) [11], центры областей неопределенности параметров (центральный подход) [12] и др. Основное достоинство подхода - простота интерпретации полученного решения, основной недостаток - слабо мотивированная ориентировка на какое-то одно значение (сочетание значений) параметров, которое на практике реализуется очень редко, что может обернуться неоправданной сложностью решения. Второй подход - вероятностный - состоит в решении задачи оптимизации для усредненных (ожидаемых, в смысле математического ожидания) значений параметров оптимизируемой функции или для таких значений параметров, которые обеспечивают достаточно высокую вероятность получения оптимума [13-16]. Этот подход предполагает задание вероятностных распределений указанных па-
раметров внутри областей их неопределенности. Основное достоинство этого подхода - ориентировка получаемого решения хотя и на одно, но зато наиболее часто встречающееся (наиболее подходящее для получения оптимума) значение (сочетание значений) параметров функции, недостаток - необходимость знания вероятностных распределений параметров, что часто невозможно. Третий подход - нечеткий - идейно близок второму, но вместо вероятностных распределений параметров оптимизируемой неполностью определенной функции, являющихся объективными характеристиками, используются нечеткие распределения параметров, получаемые экспертным путем, т. е. субъективно [12].
В наших работах [17-24] был предложен и детально описан применительно к различным оптимизационным задачам детерминизационный подход к поиску оптимума неполностью определенных функций. Этот подход принципиально отличается от трех предыдущих тем, что оптимизация неполностью определенной функции проводится с учетом всего множества возможных значений недетерминированных параметров функции.
Указанный подход позволяет для любой функции, неопределенность которой заключается в том, что ее параметры известны нам лишь с точностью до интервалов возможных значений, свести нахождение оптимума такого типа функции к нахождению одноименных оптимумов двух полностью определенных функций. Таким образом, для нахождения оптимума неполностью определенных функций становится возможным применять многочисленные хорошо известные и эффективно работающие методы точного нахождения оптимума полностью определенных (детерминированных) функций. При этом собственно алгоритм нахождения оптимума неполностью определенной (недетерминированной) функции оказывается полностью определенным, однозначным, точным и непротиворечивым. Другой причиной выбора неопределенности именно интервального типа было то, что интервальные оценки неизвестных параметров систем наиболее просты и доступны для получения. В этом заключаются основные достоинства предложенного нами подхода к оптимизации неполностью определенных функций - метода детерминизации. Разумеется, у нашего метода есть и другие достоинства, а также и недостатки. Они подробно рассмотрены в п. б.
В настоящей работе детерминизационный подход к оптимизации неполностью определенных функций излагается и обосновывается в наиболее общем виде, не зависящем от особенностей оптимизируемых функций.
2. ПОСТАНОВКА ЗАДАЧИ
Будем рассматривать следующую ситуацию. Пусть существует некоторая произвольная непрерывная функция n переменных
y = F(xi,...xn) , (1)
причем все параметры (коэффициенты) ее явного представления известны точно, и пусть она определена в области, определяемой системой ограничений
Фі (xi,...,xn) ^ bi = i =1,т}. (2)
Тогда относительно функции (1) можно сформулировать полностью определенную (детерминированную) задачу условной оптимизации
F (xj,...x„) = max,
— > (3)
при ф(х!,...,х„) <Ъг, i = 1,т }.
Конечно, возможен и вариант задачи (3), где необходимо не максимизировать, а минимизировать функцию F . В современном математическом программировании есть множество методов эффективного решения задач (3), ориентирующихся на тип функций F и
Oi, i = 1, т .
Пусть теперь параметры pk, к = 1,1 явного представления функции F известны не точно, а с точностью до интервалов возможных значений, т. е. имеют вид интервалов = [ри, Рк2]. Далее пусть аналогичным образом неточно заданы параметры qs явного представления функций Oi в левых частях ограничений задачи, а также и параметры Ъ в правых частях отра^ени^ т.е. ~si = [q^ qA s = U ~ = [Ъц, Ыi = 1 m. Тогда функции F и ф, i = 1, m , также становятся интервальными (т. е. принимающими вид интервалов F и Фj, i = 1, m ), определяемыми с точностью до интервалов возможных значений, равно как и параметры bi, i = 1, т (т. е. принимающие вид интервалов
~, i = 1, т ). В итоге полностью определенная задача условной оптимизации (3) переходит в неполностью определенную - интервальную задачу
F(x1,...,xn) = max, при O(xj,...xn) < ~, i = 1,т }. (4)
Конечно, возможен вариант задачи (4), где требуется не максимиировать, а минимизировать функцию F . Необходимо разработать методику решения оптимизационной задачи (4).
3. МАТЕМАТИКА СРАВНЕНИЯ ИНТЕРВАЛОВ
Рассмотрим два интервала а = [ах, а2 ] и
Ъ = [Ъ, Ъ2 ]. Попытаемся сравнить эти интервалы по величине, рассматривая их как интервальные числа. Первое, что приходит в голову, - сравнить интервалы
а~ и Ъ на основе отношений в отдельных парах вещественных чисел (а, Ъ ), где а е ~~, Ъ е Ъ . Но такой подход сразу ведет к провалу, поскольку, в общем случае, при произвольных интервалах ~ и Ъ , одни пары чисел (ai, Ъj ) будут находиться в отношении at > bj, а
другие - в противоположном отношении: at < bj. Поэтому единственное, что остается, - реализовать сравнение интервалов на теоретико-множественном уровне, рассматривая их как целое, не подлежащее дроблению на части. Этот путь был реализован автором в 1990-е
гг. Ниже приводится краткое изложение полученных результатов [25-28].
Итак, в соответствии с полученными только что выводами, операции взятия максимума V и минимума а двух произвольных интервалов = [а, а ] и
Ь = [Ь, Ь2 ] введем в виде следующих теоретикомножественных конструкций:
а VЬ = {а VЬ | а е а,Ь е Ь },
~ ~ ' 1 ^, ь^ (5)
а а Ь = {а а Ь | а е ь,Ь е Ь }.
Взятие максимума (минимума) двух интервалов а~ и Ь определяется по формулам (5) как нахождение максимума (минимума) двух точечных величин а и Ь , при условии, что эти величины пробегают все возможные значения соответственно из интервалов а~ и Ь . Теперь для того чтобы интервалы а~ и Ь можно было сравнить по величине, установив отношение а > Ь или
Ь < Ь , необходимо, во-первых, чтобы введенные операции v,A над этими интервалами существовали, во-вторых, чтобы эти операции давали в результате один
из операндов - а~ или Ь и, в-третьих, чтобы эти две операции были согласованы, в том смысле, что если большим (меньшим) является один из интервалов, то меньшим (большим) является другой из них. Сформулированное условие сравнимости двух интервалов по величине является, очевидно, не только необходимым, но и достаточным.
К счастью, нетрудно доказать, что условие согласованности операций V и а над интервалами выполняется всегда, т. е. для любой пары интервалов (а,Ь) . Очевидно также, что всегда выполняется условие существования введенных операций вычисления максимума V и минимума а двух интервалов а, Ь , причем результатом операции оказывается некоторый, вообще говоря, новый интервал, который может отличаться как
от ~ , так и от Ь . Таким образом, необходимым и достаточным условием сравнимости интервалов а~ и Ь является условие, по которому операции а V Ь . и а а Ь должны иметь результатом один из интервалов -
Ь или Ь . Последняя формулировка условия сравнимости интервалов открывает возможность получения его в конструктивной форме, пригодной для практического применения. Основной результат здесь формулируется следующим образом.
Теорема 1. Для того чтобы два интервала
а = [а, а2 ] и ~ = Ь, Ь2 ] были сравнимы по величине
(отношению >) и находились в отношении Ь > Ь , необходимо и достаточно, чтобы границы этих интервалов подчинялись условиям
а1 > Ьь а2 > Ь2, (6)
а для того чтобы они были сравнимы по величине (отношению < ) и находились в отношении а < Ь , необходимо и достаточно, чтобы выполнялись условия
а > Ь , Ь < Ь . (7)
Эта теорема показывает, что интервалы а и Ь являются сравнимыми по отношению > или < (и находятся именно в этом отношении) только в том случае, когда в таком же отношении находятся их одноименные границ^1 а, Ь и а, Ь . Ин^1ми словами, интервалы а и Ь находятся в отношении Ь > Ь только тогда, когда аЬ сдвинут обеими границами вправо относительно Ь и находятся в противоположном отношении Ь < Ь только тогда, когда интервал Ь сдвинут
обеими границами влево относительно Ь .
Значение теоремы 1 заключается в том, что она сводит сравнение двух интервалов и выбор большего (меньшего) из них к сравнению одноименных границ этих интервалов, являющихся вещественными числами. Так разрешается проблема сравнения интервалов.
Теорема 2. Для того чтобы два интервала
Ь = [а, а2 ] и Ь = [Ь, Ь2 ] были не сравнимы по величине (по отношению > и <), т. е. не находились в отношении Ь > Ь или Ь < Ь , необходимо и достаточно, чтобы выполнялись условия
(а1 < Ь1, а2 > Ь2) или (Ь1 < а1, Ь2 > а2) . (8)
Эта теорема показывает, что интервалы Ь и Ь не сравнимы по отношениям > и < только в том случае, когда один из них полностью «накрывает» другой. Значение теоремы 2 заключается в том, что она показывает существование определенных случаев несравнимости интервалов по отношениям > и < , в отличие от вещественных чисел, которые всегда сравнимы по указанным отношениям. Несравнимость некоторых интервалов есть естественный результат того, что интервальные числа в отличие от обычных вещественных чисел задаются не точно, а с неопределенностью (число принимает некоторое значение в заданном интервале, но не уточняется, какое именно это значение). На основании теорем 1, 2 можно доказать следующие положения.
Теорема 3. Для того чтобы в системе интервалов Ь(1) = [а1(1),а2(1)], Ь(2) = [а1(2),а2(2)],... существовал максимальный интервал (который находится со всеми остальн^1ми интервалами в отношении >), необходимо и достаточно, чтобы границы этого интервала были расположены относительно одноименных границ всех остальных интервалов согласно условиям
а\ (1) > а\ (2), аг (1) > а (3), ...1 а2(1) > «2(2), «2(1) > «2 (3),.. •} .
Конкретные условия (9) даны для случая, когда максимальным является интервал аЬ(1) , что, очевидно, не ограничивает общности.
Теорема 4. Для того чтобы в системе интервалов Ь(1) = [а1 (1), а2 (1)] , Ь(2) = [а: (2), а2 (2)],... существовал минимальный интервал (который находится со всеми остальн^1ми интервалами в отношении <), не-
обходимо и достаточно, чтобы границы этого интервала были расположены относительно одноименных границ всех остальных интервалов согласно условиям
йі(1) < йі(2), йі(1) <й1(3),...|
й2(1) < й2(2), й2(1) < а2 (3),.. .J . ( )
Аналогично теореме З условия (10) записаны для случая, когда минимальным является интервал «(1) , что не ограничивает общности.
Теоремы З и 4 показывают, что интервал является максимальным (минимальным) в системе интервалов только в том случае, когда максимальны (минимальны) его нижняя граница - среди нижних границ всех интервалов - и верхняя граница - среди верхних границ всех интервалов.
4. ИДЕЯ РЕШЕНИЯ
В интервальной задаче (4) целевая функция F(xl,...,xn) , функции Фi(xl,...,xn), i = 1,т , в левых
частях ограничений и параметры bi, i = 1, т в их правых частях являются интервальными и поэтому могут быть записаны в виде интервалов
F(Xl,..., xn ) = [Fl(Xl,..., xn ), F,(Xl,..., xn )],
Фі (xl,..., xn ) = [Фil(xl,..., xn ), Фі 2(xl,..., xn )], (11)
i = 1, т, bt = [bn, bi2 ], і = 1, т.
После соответствующих замен сформулированную ранее задачу (4) можно переписать в явном интервальном виде
[Fl( Xl,...Xn), F2( Xl,...Xn)] = max,
[O^Xl,...^),Ф^Х,..^)] < blb], (12)
= l, т,
который поддается решению. Действительно, согласно теореме З интервальное уравнение в (12) можно записать в виде эквивалентной пары обычных (детерминированных) уравнений:
Fl(Xl,...,Xn) = max, F2(xl,...,x„) = max . (13)
Далее, согласно приведенному выше утверждению теоремы 1, систему интервальных неравенств в условии оптимизационной задачи (12) можно записать в виде эквивалентной системы обычных (детерминированных) неравенств
Фі l(Xl,...Xn) <bl, Ф^,..^) <b2, i= 1,т . (14)
Соединяя пару уравнений оптимизации (1З) с системой неравенств-ограничений (14) получим 2 детерминированные (полностью определенные) задачи условной оптимизации вида (З), при этом первую из новых задач назовем нижней граничной задачей исход-
ной интервальной задачи (4), а вторую - ее верхней граничной задачей:
F (X,...X„ ) = max,
Oi1(X1 ,...-Xn ) < Ъл,г' = 1т\ (15)
0i2(x1,...,xn) < ^ i = 1,т,\
F2( X\,...XXn ) = max,
0i1(x1, . . ,x„) < Ъi1, i = ^ 1 (16)
0i2(x1,...,xn) < ^, i = 1 т)
Из выполненного нами построения следует, что пара детерминированных задач условной оптимизации (15), (16), рассматриваемых в совокупности, эквивалентна исходной интервальной задаче (4). Таким образом, для получения решения интервальной задачи (4) надо решить ее нижнюю (15) и верхнюю (16) граничные задачи, выделив соответствующие два множества точек решений, а затем взять какую-нибудь одну точку из пересечения этих множеств, которая и будет точкой решения интервальной задачи (4). В общем случае решения нижней (15) и верхней (16) граничных задач
имеют вид {Мн СтХ F1,max} , {Мв(x), F2,max} , где
Мн (x), Мв (x) - множества точек решений
x = (x,...xn) нижней и верхней граничной задачи,
Fimax, F2max - максимальные значения целевых
функций этих задач. Так что решение x*, Fmx интервальной задачи (4) составляется из решений ее нижней (15) и верхней (16) граничных задач в виде
{x е Мн (x) П, Мв (x), Fmax = [F1,max , F2,max]} . (17)
❖
В качестве точки решения x в выражении (17) берется любая точка из пересечения множеств точек решения нижней (15) и верхней (16) граничных задач, а в качестве максимального значения целевой функции
F - интервал от максимального значения целевой функции нижней граничной задачи F до максимального значения целевой функции верхней граничной задачи F2,max . Изложенные в данном разделе результаты можно суммировать в виде следующей теоремы.
Теорема 5. Множество точек решения x = (x,...xn) интервальной задачи условной оптимизации (4) равно пересечению множеств точек решения ее нижней (15) и верхней (16) граничных задач. Максимальное значение целевой функции задачи 4 равно интервалу, нижняя граница которого равна максимальному значению целевой функции нижней граничной задачи, а верхняя граница - максимальному значению целевой функции верхней граничной задачи.
Из теоремы 5 вытекает нижеследующая Теорема 6. Для того чтобы интервальная задача условной оптимизации (4) имела решение, необходимо и достаточно, чтобы пересечение множеств точек решения ее нижней (15) и верхней (16) граничных задач было непусто.
Основное преимущество нашего подхода к решению интервальной задачи условной оптимизации заключается в возможности использования для этого традиционных, хорошо разработанных методов решения детерминированных задач условной оптимизации. Основанный на этом подходе метод решения интервальной задачи условной оптимизации естественно назвать методом детерминизации, поскольку он сводит решение недетерминированной задачи (4) к решению двух детерминированных задач (15) и (16).
5. АЛГОРИТМ РЕШЕНИЯ
Для решения интервальной задачи условной оптимизации (4) методом детерминизации необходимо действовать по следующему алгоритму.
Шаг 1. Используя формулы интервальной математики, выражающие результаты элементарных преобразований интервалов [18]
[а, а ]+ [Ъ, Ъ ] = [а + Ъ, а + Ъ ];
[°1,а2] - [Ъ1,^2] = [а1 -Ъг,аг -Ъ^;
Ип kа2], к > 0, (18)
1, 2 \[ка2,ка], к < 0;
[а1, а2]' [Ъ1, Ъ2] = [min(а i ■ Ъj), max(а,- • Ъj)];
ij ij
[а, а ] /[ Ъ, Ъ ] = [а, а ] ■ [1 / Ъ ,1 / Ъ ],
представляем целевую функцию F и функции ограничений ф задачи (4) в интервальной форме. Так же представляем параметры Ъ в ограничениях. Полученные выражения имеют вид (11).
Шаг 2. Используя интервальные представления целевой функции, функции ограничений и параметров, полученные на шаге 1, формируем нижнюю (15) и верхнюю (16) граничные задачи интервальной задачи условной оптимизации (4).
Шаг 3. Используя подходящие методы решения детерминированных задач условной оптимизации, получаем решения нижней {Мн (x), ^} и верхней
{Мв (x), F2max} граничных задач. Здесь Мн (x) -множество точек решения x = (x,...7^и) нижней граничной задачи, в которых ее целевая функция F достигает максимума F , а М (x) - множество точек решения x = (x,...xn) верхней граничной задачи, в которых целевая функция F2 достигает F2,max .
Шаг 4. Выбирая в качестве точки решения задачи (4) любую точку x* из пересечения множеств Мн (x) и Мв (x) и беря в качестве нижней границы максимума Fmax интервальной целевой функции F задачи (4) максимум F1,max целевой функции нижней граничной задачи, а в качестве верхней границы F интервальной целевой функции F задачи (4) - максимум
¥ щах целевой функции верхней граничной задачи,
получаем все решение задачи (4) в виде (17).
Изложенный алгоритм, как видно из приведенного выше его описания, дает решение интервальной задачи условной оптимизации (4) во всех случаях, когда пересечение множеств точек решения ее нижней и верхней граничных задач непусто. Но из теоремы 6 следует, что указанное пересечение непусто только тогда, когда интервальная задача условной оптимизации (4) имеет решение. Таким образом, предложенный алгоритм дает решение интервальной задачи условной оптимизации (4) во всех случаях, когда это решение существует.
Пример (интервальная задача о назначениях). Есть 3 работы и 3 исполнителя - кандидата на работы. Заданы издержки Ь = [а,у,«2у] выполнения ] -й работы
г -м исполнителем (г,] = 1,3), представляющие собой интервальные величины и составляющие интервальную матрицу издержек А = | |Ьу || = 11 [а1 у, а2 у ]|| = [Д, А2 ],
где А-1 =||а! у|| и А2 = Ц«2 у || есть нижняя и верхняя
граничные матрицы издержек. Надо распределить работы так, чтобы каждый исполнитель был занят выполнением ровно одной работы, а суммарные издержки на все работы были минимальны.
Введем множество неизвестных булевых матриц
назначений X =||хгу||, х у е {0,1}, где х у = 1, если г -й
исполнитель выполняет ] -ю работу, и Ху = 0 в противном случае. Тогда имеем
3 3
¥(х у) ^ХХ ЬVх V = т1п
1=1 у=1
3 ___
при Ф1(ху) хV =1 у =1;3’
=1
3 __
Ф2(ху ) = Х х у = 1 г= 1,3
у=1
Эта задача представляет собой частный случай общей интервальной задачи (4). Поэтому для ее решения мы можем применить 4-шаговый алгоритм, описанный выше.
Шаг 1. С помощью формул (18) представляем целевую функцию ¥ нашей оптимизационной задачи в интервальной форме
3 3 3 3
ХХ«1,УхУ, ХХ«2,уху .
г=1 V=1 г=1 V=1 _
Представлять в интервальной форме функции Ф:(ху), Ф2(хгу) ограничений задачи, равно как и параметры в их правых частях, не нужно, т. к. здесь нет интервальных параметров.
Шаг 2. Используя полученные на шаге 1 представления, формируем нижнюю ¥1 и верхнюю ¥2 граничные задачи решаемой интервальной задачи
) -
3 3
^і(хі) -ХХ°1.УХУ = тІП’
Мв ( х) задач. Оно состоит из одной матрицы назначе-
ні ;=1
при Х хі=1 і=1,3 Х хі=1 ;=1,3
=1
2( Хі )-ХХ а2
І=1
І=1 І=1
при Х х і =1 і=1,3 Х хі=1 ;=1,3
І=1
Шаг 3. Решаем нижнюю и верхнюю граничные задачи интервальной задачи, полученные только что на шаге 2 алгоритма. Для определенности принимаем следующее конкретное значение интервальной матрицы издержек
1 2 2 2 3 3
1 2 2 , А2 =| а2,і = 4 4 3
2 2 2 3 4 4
А = [ 4 Л2],
где А1 = к;; =
Имеется всего шесть различных значений матриц неизвестных X = ||х; ||, удовлетворяющих ограничениям решаемой задачи. Поэтому в данном случае решение легко находится перебором на множестве этих матриц. В результате получаем решение нижней граничной задачи в виде {Мн (х), ^ }, где множество
решений Мн
М н (Х) =
1 0 0 1 0 0
X 1а = 0 1 0 , X1Ь = 0 0 1 ,
001 010
010 001
X1, = 1 0 0 . X1, = 1 0 0
001 010
а достигнутое минимальное значение целевой функции -^1 Ш1п = 5 . Далее совершенно аналогично получаем
решение верхней граничной задачи {Мв (х), Шп} .
Именно, множество решений
1 0 0 010
М в (Х) = • X 2а = 0 0 1 , X 2Ь = 0 0 1
010 1 0 0
а соответствующее достигнутое минимальное значение целевой функции верхней граничной задачи для исходной задачи составляет ¥2 т1п = 9 .
Шаг 4. Находим пересечение множеств решений нижней граничной Мн (х) и верхней граничной
в
ний
X = Хіь = X 2а =
1 0 0 0 0 1 0 1 0
которая и есть решение всей задачи. Достигнутый на этом решении минимум заданной интервальной целевой функции составляет РШп = [^,тп,^тщ] = [5, 9] .
Оптимальное решение поставленной задачи о назначении 3 исполнителей на 3 работы таково: 1-й исполнитель назначается на 1 работу, 2-й - на 3 работу, а 3-й - на 2 работу. При этом издержки оцениваются минимальным интервалом возможных значений, равным [5, 9] .
Другие примеры решения оптимизационных задач с интервальными параметрами с использованием изложенного алгоритма даны в [7-9; 15; 19].
6. СРАВНЕНИЕ ПРЕДЛАГАЕМОГО ПОДХОДА С СУЩЕСТВУЮЩИМИ
Как уже говорилось во введении, проблема оптимизации неполностью определенных функций, по сравнению с традиционной оптимизацией полностью определенных функций, требует дополнительно: 1) обобщения понятия экстремума функции; 2) выяснения условий существования экстремума функций, связанных с ее неполной определенностью; 3) разработки специальных методов поиска экстремума таких функций. Именно по этой схеме разработан предлагаемый в статье детерминизационный подход к оптимизации. Конкретно, обобщение понятия экстремума функции на случай неполностью определенных (интервальных) функций дано в п. 2 (формулы (5)). Далее условия существования (несуществования) экстремума интервальной функции даны в теоремах 1-4 того же п. 2. И, наконец, специальный метод поиска экстремума интервальной функции разработан в п. 4. Необходимость проведения всей этой работы представляется очевидной. Действительно, оптимизация полностью определенных функций основана на сравнении точно определенных вещественных чисел с выделением большего и меньшего из них, причем на числовой оси большее число сдвинуто вправо относительно меньшего. Однако для оптимизации неполностью определенных функций такой подход не работает, поскольку неточно определенные числа (например, интервальные), в отличие от точно определенных вещественных чисел, в общем случае не находятся в отношении «сдвинуто вправо (влево) на вещественной оси» и потому не могут сравниваться непосредственно с выделением большего и меньшего. Вследствие этого для таких функций и приходится обобщать понятие экстремума. Далее, неполнота информации, которой характеризуются неполностью определенные числа и функции, при достижении некоторого достаточно высокого уровня может привести к несравнимости таких чисел и невозможности выделить из них большее и меньшее и, как следствие, - к отсутствию экстремума таких функций. В связи с этим
3 3
=1
и возникает необходимость нахождения условий существования экстремума неполностью определенных функций. Наконец, вследствие иного, более общего, чем для полностью определенных функций, понятия экстремума неполностью определенной функции и возможности несуществования этого экстремума, вызванной неполнотой информации, приходится разрабатывать специальные методы отыскания экстремума таких функций. Важно понимать, что невозможность в определенных случаях найти экстремум неполностью определенной функции с помощью любого адекватного, в частности, предложенного в статье, алгоритма не связана с качеством алгоритма, а является следствием объективной реальности, а именно, отсутствия в указанных случаях экстремума вследствие недостатка информации о функции.
В тех же случаях, когда информация о функции достаточна, и потому ее экстремум существует, предложенный алгоритм позволяет найти этот экстремум (см. п. 5). Требовать от алгоритма большего, очевидно, нельзя.
Охарактеризуем теперь другие существующие подходы к оптимизации неполностью определенных функций. Кратко об основных достоинствах и недостатках этих подходов уже говорилось во введении. Рассмотрим вопрос подробнее. Начнем с детерминированного подхода. При этом подходе исходная задача оптимизации неполностью определенной функции фактически заменяется другой задачей - оптимизации полностью определенной функции. Причем конструирование этой новой задачи путем выбора определенных значений параметров внутри областей неопределенности параметров функции исходной задачи производится на основе чисто эвристических соображений и не опирается ни на какие математически ясные обобщения понятия экстремума на случай неполностью определенных функций. Вследствие этого новая задача оказывается, как правило, математически неэквивалентной исходной задаче, а интерпретация ее решения в терминах исходной задачи - проблематичной. Кроме того, из-за сложности некоторых критериев оптимизации, используемых в новой задаче (тах тт, тт тах), трудоемкость алгоритмов поиска экстремума неполностью определенных функций при детерминированном подходе может оказаться высокой. Зато при этом подходе обычно не возникает проблемы выяснения условий существования экстремума функций, т. к. полностью определенные функции практически всегда имеют экстремум.
Теперь о вероятностном подходе. При первом варианте данного подхода исходная задача оптимизации неполностью определенной функции заменяется, как и в случае детерминированного подхода, другой задачей
- оптимизации полностью определенной функции, которая теперь получается из исходной функции путем замены ее случайных параметров их математическими ожиданиями (центрами). Сразу ясно, что эта новая задача неэквивалентна исходной задаче в еще большей степени, чем при детерминированном подходе, поскольку она, не опираясь ни на какие обобщения понятия экстремума для неполностью определенных функций, не учитывает не только неопределенность возможных значений параметров указанной функции, но и случайный характер реализации конкретных значений параметров функции на практике. Во втором варианте вероятностного подхода исходная задача оптимизации
неполностью определенной функции с интервальными параметрами заменяется задачей оптимизации неполностью определенной функции со случайными параметрами. Последние получаются из интервальных параметров исходной задачи принятием гипотезы о равномерном распределении значений параметров внутри своих интервалов. Принятие указанной гипотезы сразу упрощает выбор экстремального интервала. Так, для
выбора большего из двух интервалов ~ и Ь достаточно лишь вычислить вероятности Р(~ > Ь) и Р(Ь > ~) и взять тот интервал, для которого вероятность превышения им второго интервала больше. Этот подход гарантирует существование решения, полученного с помощью гипотезы модельной задачи оптимизации функции со случайными параметрами. Но беда заключается в том, что модельная задача неэквивалентна исходной задаче оптимизации функции с интервальными параметрами, т. к. одно лишь задание неопределенности функции в форме интервалов возможных значений ее параметров не предполагает задания какой-то дополнительной информации, например, в виде вероятностных распределений внутри интервалов. Все, что ранее было сказано о вероятностном подходе, можно повторить для нечеткого подхода, с заменой термина «вероятностное распределение параметров неполностью определенной функции» термином «нечеткое распределение параметров».
На практике для решения разнообразных задач оптимизации неполностью определенных функций, в зависимости от условий, могут применяться различные подходы. В общем случае рекомендуется начинать с детерминизационного подхода, поскольку он базируется на точном определении понятия максимума и минимума неопределенного числа (интервала), что упрощает интерпретацию полученного решения и делает его более прозрачным. Если детерминизационный подход не приводит к решению вследствие недостаточной информации об оптимизируемой функции, целесообразно эту информацию пополнить путем сужения интервалов возможных значений параметров этой функции с помощью дополнительных измерений, наблюдений, привлечения более квалифицированных экспертов, после чего снова применить данный подход. Если и это не помогло получить решение, рекомендуется перейти к использованию остальных подходов. В первую очередь целесообразно попытаться применить вероятностный подход, который достаточно прост в реализации. При этом надо иметь в виду, что используемые в этом подходе вероятностные распределения параметров оптимизируемой неполностью определенной функции должны быть известны с достаточной точностью, т. к. в противном случае найденное предположительно оптимальное значение функции может оказаться далеким от настоящего оптимума. Надо еще учитывать, что при вероятностном подходе получение оптимума функции вообще строго не гарантируется, а лишь «обещается» с определенной вероятностью, притом не обязательно близкой к единице, что не всегда приемлемо. Поэтому на практике часто применяют детерминированный подход к оптимизации неполностью определенных функций. Этот подход в отличие от детерминизационного подхода всегда обеспечивает существование оптимума неполностью определенной функции и в отличие от вероятностного подхода гарантирует получение этого оптимума. К сожалению, при
этом подходе, как уже говорилось ранее, вследствие преобразования исходной неполностью определенной функции в полностью определенную (детерминированную) новая задача оптимизации оказывается неэквивалентна исходной, а интерпретация ее решения в терминах исходной задачи проблематичной. Например, выбор минимального из двух интервалов ~ = [4,5],
b = [3,15] с помощью детерминированного подхода по критерию оптимальности «нижняя граница интервала минимальна» дает решение min(~, b ) = b = [3,15]. Однако это решение невозможно интерпретировать практически, поскольку оно противоречит эвристическим представлениям о проблеме. Так, любой автомобилист уверенно предпочтет как более экономную машину с расходом топлива от 4 до 5 л на 100 км машине с расходом топлива от 3 до 15 л!
7. ЗАКЛЮЧЕНИЕ
В данной статье показано, что проблема оптимизации неполностью определенных функций достаточно просто разрешима, если указанную неопределенность задавать в интервальной форме и использовать при этом конструктивную теорию сравнения величин интервалов, сводящую это сравнение к сравнению одноименных границ интервалов. Тем самым задача нахождения оптимума неполностью определенной функции сводится к более простой задаче отыскания одноименного оптимума двух полностью определенных (детерминированных) функций. Наш подход (его естественно назвать детерминизацией) примечателен тем, что позволяет вполне строго свести оптимизацию неполностью определенных функций к хорошо известным и эффективным методам оптимизации полностью определенных функций.
ЛИТЕРАТУРА
1. Юдин Д.Б., Гольдштейн Е.Г. Задачи и методы линейного программирования. М.: Сов. радио, 1964.
2. Вентцель Е.С. Введение в исследование операций. М.: Сов. радио, 1964.
3. Уайлд Д. Дж. Методы поиска экстремума. М.: Наука, 1967.
4. Корбут А.А., Финкельштейн Ю.Ю. Дискретное программирование. М.: Наука, 1969.
5. Моисеев Н.Н., Иванилов Ю.П., Столярова Е.М. Методы оптимизации. М.: Наука, 1978.
6. Левин В.И. Структурно-логические методы исследования сложных систем с применением ЭВМ. М.: Наука, 1987.
7. Первозванский А.А. Математические модели в управлении производством. М.: Наука, 1975. 616 с.
8. Libura M. Integer Programming Problems with Inexact Objective Function // Control and Cybernetics. 1980. V. 9. № 4. P. 189-202.
9. Тимохин С.Г., Шапкин А.В. О задачах линейного программирования в условиях неточных данных // Экономика и математические методы. 1981. № 5. С. 955.
10. Рощин В.А., Семенова Н.В., Сергиенко И.В. Вопросы решения и исследования одного класса задач неточного целочисленного программирования // Кибернетика. 1989. № 2. С. 42-46.
11. Семенова Н.В. Решение одной задачи обобщенного целочисленного программирования // Кибернетика. 1984. № 5. С. 25-31.
12. Вощинин А.П., Сотиров Г.Р. Оптимизация в условиях неопределенности. М.: Изд-во МЭИ, 1989. 224 с.
13. Ащепков Л.Т., Давыдов Д.В. Универсальные решения интервальных задач оптимизации и управления. М.: Наука, 2006. 285 с.
14. Давыдов Д.В. Интервальные методы и модели принятия решений в экономике: автореф. дис. ... д-ра экон. наук / Дальневосточный гос. ун-т. Владивосток, 2009.
15. Островский Г.М., Волин Ю.М. Технические системы в условиях неопределенности. Анализ гибкости и оптимизация. М.: Бином. 2008.
16. Островский Г.М., Зиятдинов Н.Н., Лаптева Т.В. Оптимизация технических систем. М.: Кнорус, 2012.
17. Левин В.И. Дискретная оптимизация в условиях интервальной неопределенности // Автоматика и телемеханика. 1992. № 7. С. 12.
18. Левин В.И. Булево линейное программирование с интервальными коэффициентами // Автоматика и телемеханика. 1994. № 7.
19. Левин В.И. Интервальное дискретное программирование // Кибернетика и системный анализ. 1994. № 6. С. 92-103.
20. Левин В.И. Оптимизация расписаний в системах с неопределенными временами обработки. I, II // Автоматика и телемеханика. 1995. № 2, 3.
21. Левин В.И. Задача трех станков с неопределенными временами обработки // Автоматика и телемеханика. 1996. № 1. С. 109-120.
22. Левин В.И. Интервальная модель общей задачи линейного программирования. I, II // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 1998. Т. 3. Вып. 4; 1999. Т. 4. Вып. 1.
23. Левин В.И. Нелинейная оптимизация в условиях интервальной неопределенности // Кибернетика и системный анализ. 1999. № 2. С. 138-146.
24. Левин В.И. Антагонистические игры с интервальными параметрами // Кибернетика и системный анализ. 1999. № 4. С. 149-159.
25. Левин В.И. О недетерминистской дискретной оптимизации // Принятие решений в условиях неопределенности: сб. ст. Уфа: Изд-во Уфим. авиац. ин-та, 1990.
26. Левин В.И. Математическая теория сравнения интервальных величин и ее применение в задачах измерения // Измерительная техника. 1998. № 5.
27. Левин В.И. Математическая теория сравнения интервальных величин и ее применение в задачах измерения, контроля и управления // Измерительная техника. 1998. № 9.
28. Левин В.И. Интервальная математика и исследование систем в условиях неопределенности. Пенза: Изд-во Пенз. технол. ин-та, 1998.
Поступила в редакцию 18 июня 2014 г.
Levin V.I. OPTIMIZATION IN CONDITIONS OF INTERVAL UNCERTAINTY BY DETERMINATION METHOD The existing approaches to system optimization (optimal design) under uncertainty are considered. The exact formulation of constrained optimization problem with the interval uncertainty of objective function and constraints parameters is given. The mathematical theory of intervals comparison including precise definition of minimum and maximum ranges is stated. On the base of this theory the determination method is formulated and justified which allows to solve problem by reduction to a two fully certain constrained optimization problems of same type.
Key words: system optimization; uncertainty; optimization with interval uncertainty; determination method.
Левин Виталий Ильич, Пензенский государственный технологический институт, г. Пенза, Российская Федерация, доктор технических наук, профессор, заслуженный деятель науки РФ, е -mail: vilevin@mail. ru
Levin Vitaliy Ilich, Penza State Technological Academy, Penza, Russian Federation, Doctor of Technics, Professor, Honored Scientist of RF, е-mail: [email protected]
