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

В разд. 3.2 и 3.3 было показано, что существуют различные канонические представления одной и той же модели линейного программирования. В частности, рассматривались канонические формы, приведенные ниже.

Каноническая форма 1:

п

максимизировать 2 cj%j

3=1

при наличии ограничений

п

^ацх}<Ь1 (i = l, 2, ..., т),

3=1

^•>0 (/=1,2, . . . , г а ) .

Каноническая форма 2:

п

минимизировать 2 cixj

3=1

при наличии ограничений

п

2 aijXj = bi (i = 1, 2, • ••, т), bi > 0, з'=1

X j > 0 (/ = 1.2,..., я).

В упражнениях 2—5 требуется привести каждую из задач к канонической форме 1 и к канонической форме 2.

2. Требуется

минимизировать Ъх^ — 4ж2 -f- 1х3

ПРЕДСТАВЛЕНИЯ ЛИНЕЙНЫХ ОПТИМИЗАЦИОННЫХ МОДЕЛЕЙ 121

3. Требуется

максимизировать Ixi — 2xz + 3#3

при наличии ограничений

la?! 4- 1х2 + 1х3 < 7,

б) Xi ^ 0, а все остальные переменные Xj ^> 0; в) Xi ;> 2, а все остальные переменные х, ^- 0; г) Xi ;> —2, а все остальные переменные Xj ^> 0;

д) переменная xi не ограничена в знаке, а все остальные переменные Xj ^> 0;

е) Xi > -2, ;с2 > 0, ж3 > 0, х4 > -3;

ж) х2 ^> 0, а;3 ^- 0, а х4 и ж4 не ограничены в знаке.

В упражнениях 6—20 требуется: 1) изобразить каждую модель графически в пространстве решений; 2) для каждого случая определить (графически) экстремальные точки; 3) показать на каждом графике точку, соответствующую оптимальному решению (или множество таких точек); 4) доказать (когда это возможно), что оптимальное решение является единственным; если единственность не имеет места, представить два других оптимальных решения; 5) вычислить для каждой задачи оптимальные значения х\ и х2, а также соответствующее значение целевой функции.

6.При наличии ограничений

—Xt + Х2 < 1,

ПРЕДСТАВЛЕНИЯ ЛИНЕЙНЫХ ОПТИМИЗАЦИОННЫХ МОДЕЛЕЙ 123

16.Повторите упражнение 10, принимая во внимание дополнительное ограничение х2 ^ 8.

17.При наличии ограничений

«1 + ^2 > 5,

—7^1 -(- 8х2 ^ О, 3a;i + 2х2 < 18,

и0 ^ х2 ^ 6 наусловия 0 ^ х\ ^ 4,5 и 0 ^ х2 ^ 3.

21.Изобразите графически в пространстве условий следующие ограничения:

Xi + 4z2 + x3 < 1, 1,5^! + х2 + Зх3 < 1,

Xj>0 (] = 1, 2, 3).

22. Изобразите графически в пространстве условий следующие ограничения:

2х3 — х4 < —1, i + 2х2 — х3 — Зх4 ^ 2, XJ>0 (j = 1, 2, 3, 4).

ГЛАВА 4

Симплексный метод

4.1. В ПЕРСПЕКТИВЕ — ТЕОРИЯ

При нахождении решений для моделей линейного программирования применительно к реальным задачам процедуры ручного счета практически никогда не используются. Такого рода работа, как правило, осуществляется с помощью ЭВМ. Но тогда может возникнуть вполне законный вопрос: к чему углубляться в теорию линейного моделирования? Не достаточно ли одного умения строить линейные модели? Тому, кто еще не овладел основами линейного программирования, на эти вопросы трудно ответить убедительно. Однако значительный опыт по использованию методов линейного программирования при решении производственных задач подтвердил, что руководитель должен понимать излагаемые в данной главе принципы, чтобы добиться действительно эффективного и обоснованного применения этого инструмента организационного управления.

Изложенную выше точку зрения полезно пояснить с помощью следующей аналогии. При освоении основных элементов управления автомобилем (умение регулировать скорость, изменять направление движения и т. д.) не требуется больших умственных усилий. Однако, чтобы стать первоклассным водителем, необходимы определенные знания и умение применять их на практике. Например, нужно иметь представление о правилах эксплуатации аккумуляторной батареи — в противном случае можно допустить ошибку, оставив на продолжительное время включенным радиоприемник при выключенном зажигании. При движении по скользкому шоссе знание устройства тормозной системы поможет сохранить автомобиль управляемым во время заносов. В случае перегрева двигателя для принятия нужных мер необходимо понимание принципа действия радиатора. Таким образом, чтобы быть хорошим водителем, требуется не только умение управлять автомобилем в идеальных условиях. Чтобы оказаться в состоянии предупредить или обойти опасность всякий раз, когда это возможно, следует достаточно хорошо знать устройство автомобиля. С другой стороны, можно быть отличным водителем без той постоянной практики, какую имеют автомеханики.

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

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

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

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

4.2. ОБЩЕЕ ОЗНАКОМЛЕНИЕ С ЗАДАЧЕЙ

В этой главе рассматривается вычислительный метод, или алго-

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

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

витоге к тому или иному решению. Целью данного рассмотрения является разработка системного подхода, позволяющего анализиро-

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

126 ГЛАВА 4

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

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

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

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

Для начала попытаемся искать решение данной задачи, придав максимально возможное значение ж4, т. е. той переменной, которая входит в выражение для целевой функции с наибольшим коэффи-

мальное значение х3, которое, как нетрудно убедиться, равняется 24/4 = 6, то целевая функция примет значение 7-6 = 42, т. е. боль-

шее по сравнению с предшествующим вариантом. Таким образом, из-за наличия ограничений использование лишь той переменной, которая обладает наибольшей удельной стоимостью, не всегда приводит к наилучшему результату.

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

Предположим, например, что оптимальное решение можно найти, задаваясь положительными значениями х2 и х3 при нулевых значениях Xi, xt, х5 и хв. Необходимо проверить, является ли данное положение правильным. Это не представляет никаких трудностей. Необходимо лишь умение манипулировать соотношениями (2) и (3),

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

После этого произведем нормировку коэффициента при х3 в уравнении (7). Для этого необходимо разделить обе части данного уравнения на 2. В результате будем иметь

Наконец, из (8) следует исключить х3, что достигается вычитанием

(9) из (8). В результате получим

128 ГЛАВА 4

Сочетание нормировки с операцией исключения переменной иногда

что выше уже рассматривалось решение х3 = 6, для которого целевая функция принимает значение 42. Следовательно, только что

+ 7 1 3 -f- -у xi —3^4 +1^5 —-у ^e ) + 9^4 =

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

Предположим, что мы решили увеличивать значение х^. Каков при этом допустимый предел? С помощью формул (10) и (11), представляющих собой преобразованные уравнения (2) и (3), можно

другой пробный вариант, предположив, что ж4 и х3 могут принимать положительные значения, а значения всех других переменных равны нулю. Используя приемы, с помощью которых были получены уравнения (10) и (11), легко разрешить (2) и (3) относительно xi и х3.

:) В отечественной литературе по линейному программированию, как правило, используется другая терминология: «план» вместо «решение», «опорный план» вместо «допустимое решение» и т. д.— Прим. перев.

В результате получим

Отметим, что данное значение совпадает с тем, которое было получено с помощью (12), и является улучшенным по сравнению с предыдущим пробным вариантом.

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

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

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

4.3.АЛГОРИТМИЧЕСКИЙ МЕТОД

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