Вагнер Г. Основы исследования операций [PDF] / Вагнер_Основы исследования операций_т1

Прежде всего убедимся, что выполняются условия (2):

, 13 о _^„28

Затем покажем, что значение целевой функции двойственной задачи совпадает со значением целевой функции исходной задачи

Решение (3) должно быть оптимальным, поскольку удовлетворяются все ограничения и, кроме того, значения целевых функций исходной и двойственной задач совпадают.

Наконец, вычислим разность между левыми и правыми частями соотношений (4). Возьмем, например, второе и третье ограничения, для которых находим

рованным в п. б).

Опираясь на понятие двойственности, можно глубже понять суть симплексного метода. В частности, нетрудно убедиться, что коэффициенты при остаточных переменных в строке 0 на каждой итерации в процессе решения исходной задачи представляют собой пробные значения переменных двойственной задачи, что же касается других коэффициентов, фигурирующих в строке 0 после выполнения любой симплекс-итерации, то их можно интерпретировать как разность между левой и правой частями (2) при заданных пробных значениях двойственной задачи. Таким образом, симплексный метод можно рассматривать как способ получения пробных решений двойственной задачи путем определения допустимых решений исходной задачи. Как только удается найти допустимое решение этих двух задач, процесс итерации заканчивается.

Примечание. Изложенное выше объяснение того, как получаются оптимальные значения переменных двойственной задачи, относилось к случаю, когда все знаки неравенств имели вид (^). Допустим

АНАЛИЗ МОДЕЛЕЙ НА ЧУВСТВИТЕЛЬНОСТЬ И ДВОЙСТВЕННАЯ ЗАДАЧА 181

переменные xi, Xz, . . ., хт. Тогда оптимальные значения переменных двойственной задачи находятся путем решения системы линейных уравнений

Соотношения двойственности легко записать в матричном виде (разд. 4.10). В матричных обозначениях исходная и двойственная

достаточно заметить, что соотношения (IV) означают выполнение условий допустимости для двойственной задачи, а из (III) следует, что значения целевых функций исходной и двойственной задач совпадают. Заметим также, что если ограничения исходной задачи записаны в виде равенств, то соотношение (V) остается справедливым, причем у в не обязательно должны удовлетворять условиям неотрицательности.

В разд. 5.4 мы утверждали, что теорема двойственности позволит лучше разобраться в анализе линейных моделей на чувствительность и освоить его практически. Попытаемся показать, что это действительно так. Начнем с повторения того, что уже излагалось в самом начале этой главы, стремясь при этом выявить те моменты анализа, которые связаны с понятием двойственности. Затем будут рассмотрены некоторые дополнительные вопросы, связанные с анализом

Таким образом, решение двойственной задачи остается допустимым, если б не превышает 3/7. Если же б принимает значение, превышающее 3/7, то это решение не является более допустимым и, следовательно, рассматриваемое решение исходной задачи не является более оптимальным. Это согласуется с результатом, полученным

в разд. 5.2.

Константы в правых частях ограничений. В разд. 5.3 с помощью частного приема было показано, что коэффициент при остаточной переменной в строке 0, соответствующей оптимальному решению, определяет приращение объема ресурса, ассоциированное с этой переменной. В предыдущем же разделе было установлено, что оптимальное значение соответствующей переменной для двойственной задачи совпадает со значением указанного коэффициента. Учитывая эти два результата, приходим к следующему заключению.

И н т е р п р е т а ц и я п е р е м е н н ы х д в о й с т в е н н о й з а д а ч и . Оптимальное значение каждой переменной двойственной задачи определяет положительное или отрицательное приращение значения целевой функции за счет единичного приращения (положительного или отрицательного) значения константы в правой части соответствующего ограничения при условии, что рассматриваемый базис остается допустимым.

дохода. Ограничения двойственной задачи гарантируют строгую пропорциональность экономического эффекта затраченным усилиям, если имеет место оптимальный режим функционирования фирмы. Более того, при указанных условиях исключаются варианты решений, не оправданных с экономической точки зрения.

Рассмотрим пример, с помощью которого можно убедиться в том, что приведенная выше интерпретация переменных двойственной задачи оказывается правильной лишь при условии, что заданный пробный базис остается допустимым. Пусть требуется

фициентов при обеих небазисных переменных строго положительны. Следовательно, поскольку оптимальное решение приводит к вырожденному базису, возможны различные оптимальные решения (y t , y2), каждое из которых соответствует одному из оптимальных базисных решений. Предположим теперь, что второе ограничение в (II) имеет вид

-art + 2х2 < б2. (III)

АНАЛИЗ МОДЕЛЕЙ НА ЧУВСТВИТЕЛЬНОСТЬ И ДВОЙСТВЕННАЯ ЗАДАЧА 185

Коэффициенты Б соотношениях, задающих ограничения. Приступая к анализу на чувствительность по отношению к вариациям ао-, предположим, что в модель вводится новая управляемая переменная. Насколько «выгодно» включить ее в базис? Наиболее простой способ получить ответ на этот вопрос заключается в том, чтобы проверить, удовлетворяются ли ограничения соответствующей двойственной задачи при заданных значениях ее переменных. Если эти ограничения не выполняются, то следует ввести в рассмотрение новую управляемую переменную.

Рассмотрим в качестве примера задачу распределения ресурсов, анализ которой проведен в разд. 5.1. Предположим, что вводится дополнительная переменная, причем дополнения к строкам имеют

Пусть при переменной xs в выражении для целевой функции стоит коэффициент cs. При каком значении с8 целесообразно ввести в базис переменную ж8 ? Соответствующее соотношение двойственной задачи имеет вид

186 ГЛАВА 5

Коэффициенты при xs в (F) определяются аналогично, т. е.

Если X) не входит в базис, то результат изменения коэффициентов <atj при данной переменной в ограничениях модели определяется аналогичным образом. Так, например, переменная х^ на заключительной симплекс-итерации для модели, рассмотренной в разд. 4.4, не входит в базис. Посмотрим, что получится, если в строке 3 коэффициент при этой переменной получит приращение 8. Легко убедиться, что в этом случае соответствующее ограничение двойственной

Подставив сюда найденные оптимальные значения переменных двойственной задачи, получим

или

6>—£. (11)

Таким образом, при б < —и/5 переменную xk следует ввести в базис. Если xj входит в базис, то анализ результатов изменения коэффициентов при этой переменной в ограничениях модели оказывается более сложным. Он связан с одновременным рассмотрением как исходной, так и двойственной задач. Такого рода анализ выходит за рамки данного курса; эти вопросы изложены в ряде более полных учебных

пособий по линейному программир ванию.

5.7.ЗАКЛЮЧЕНИЕ

Вразд. 5.1— 5.6 было показано, каким образом можно проверить чувствительность оптимального решения задачи линейного программирования по отношению к вариациям различных компонентов (эле-

ментов) модели. В частности, были рассмотрены:

1) способы нахождения интервалов изменения коэффициентов в выражении для целевой функции и каждой из констант, фигурирующих в правых частях ограничений, в которых сохраняется оптимальность полученного базисного решения при условии, что это решение является допустимым;

2) способы оценки экономического эффекта, получаемого за счет изменения исходных данных задачи линейной оптимизации;

АНАЛИЗ МОДЕЛЕЙ НА ЧУВСТВИТЕЛЬНОСТЬ И ДВОЙСТВЕННАЯ ЗАДАЧА 187

3) метод, позволяющий пересмотреть ранее полученное оптимальное решение в случае, если вводятся новые управляемые переменные.

Технические приемы, с помощью которых выполняются все перечисленные виды анализа, представляют собой дальнейшее развитие симплексного метода. Что же касается концепции двойственности, то она служит надежным критерием правильности этих «технических приемов».

Двойственную формулировку допускает любая задача линейной оптимизации. Решая одну из взаимно двойственных задач, мы автоматически находим решение другой. По мере дальнейшего изучения основ исследования операций читатель с понятием двойственности будет встречаться неоднократно.

5.8.ДВОЙСТВЕННЫЙ СИМПЛЕКС-АЛГОРИТМ

Опираясь на взаимосвязь между исходной и двойственной моделями, можно построить еще один метод решения задачи линейного программирования. Рассмотрим такой алгоритм решения исходной задачи, для которого на каждой итерации, за исключением последней, решение оказывается недопустимым вследствие невыполнения условий неотрицательности переменных; соответствующее же решение двойственной задачи при каждой такой итерации является допустимым. Эта идея лежит в основе так называемого двойственного симплекс-алгоритма.

Можно привести по крайней мере два практических соображения относительно целесообразности ознакомления с двойственным симплексным алгоритмом. Одно из них заключается в том, что такой алгоритм позволяет в ряде случаев облегчить выбор исходного базиса без использования свободных (искусственных) переменных. В этом мы убедимся на примере, приведенном ниже. Второе соображение состоит в том, что данный алгоритм помогает выполнить некоторые

АНАЛИЗ МОДЕЛЕЙ НА ЧУВСТВИТЕЛЬНОСТЬ И ДВОЙСТВЕННАЯ ЗАДАЧА 189

Чтобы можно было воспользоваться критерием I, перепишем соотношения (5) в следующем виде (что достигается путем умножения строк 1 и 2 на —1):

Согласно критерию I, исключаем из базиса переменную х5, поскольку ее значение отрицательно и, кроме того, | ж5 | > xk .

Сформулируем теперь правило выбора переменной, подлежащей включению в базис. При этом важно помнить о том, что после перехода к новому базису соответствующее решение двойственной задачи

Р п с. 5.1. Итерация 1: двойственный симплекс-критерий II (из базиса исключается переменная х$).

должно оставаться допустимым. После смены базиса коэффициенты в строке 0 должны быть по-прежнему отрицательными (или равными нулю).

Д в о й с т в е н н ы й с и м п л е к с - к р и т е р и й I I (минимизация), а) Берутся отношения значений коэффициентов при небазисных переменных в строке 0 к соответствующим коэффициентам, фигурирующим в строке, содержащей переменную хь, подлежащую исключению из базиса при очередной итерации (при этом в расчет не принимаются отношения, знаменатели в которых равны нулю или положительному числу).

б) Выбирается минимальное отношение, соответствующее некоторой переменной Xj. Именно эта переменная должна быть включена в очередной базис.

Результаты вычислений, предписанных критерием II, приведены в таблице на рис. 5.1. Видно, что в очередном пробном базисе х5 следует заменить на х3. Сама процедура замены ничем не отличается от той, которая применяется при использовании обычного симплексного метода. Выполним прежде всего нормировку коэффициента при х3 в строке 2 путем деления правой и левой частей данной строки