Алгоритм симплекс метода решения общей задачи линейного программирования

3. Симплекс – метод решения злп

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

Впервые симплекс-метод был предложен американским учёным Дж. Данцигом в 1949 г., однако, ещё в 1939 г. идеи метода были разработаны российским математиком Л.В.Канторовичем.

Для применения симплекс-метода общую ЗЛП следует записать в основной (канонической) форме:

Правила перехода к канонической форме.

1. Если требуется найти min F, то заменяя F на (-F), переходят к задаче максимизации, т.е. min F = max (-F).
2. Если ограничение является неравенством со знаком ≤, то от него переходят к равенству, прибавляя к левой части ограничения дополнительную неотрицательную переменную.
3. Если ограничение является неравенством со знаком ≥, то от него переходят к равенству, вычитая из левой части дополнительную неотрицательную переменную.
4. Если в задаче какая – либо из переменных произвольная, т.е. не подчиняется условию неотрицательности, то от неё избавляются, заменяя её разностью двух других неотрицательных переменных. Например, для произвольной переменной x_k, , где

Число вводимых дополнительных неотрицательных переменных при преобразовании ограничений – неравенств в ограничения–равенства равно числу преобразуемых неравенств.

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

Задача (7) – (9) не всегда имеет решение. Во-первых, система уравнений (8) может оказаться несовместной. Во-вторых, она может оказаться совместной не в области неотрицательных решений. В-третьих, допустимые решения системы (8)-(9) существуют, но среди них нет оптимального: функция (F) неограничена в ОДР. Предположим, что все уравнения системы (8) линейно независимы, т.е. выражают независимые друг от друга условия задачи.

Если это не так, то лишние уравнения нужно исключить. Задачу (7)-(9) имеет смысл решать, когда число уравнений в системе (8) ограничений меньше числа входящих в них неизвестных: mn, то система (8) переопределена и в общем случае не имеет решений.

Симплекс–метод является методом направленного перебора решений системы (8)-(9). Каждое следующее решение улучшает значение целевой функции.

Симплекс – метод включает 2 этапа:

1. определение начального решения, удовлетворяющего ограничениям (8)-(9);
2. последовательное улучшение начального решения и получение оптимального решения задачи(8) — (9) .

Система (8) содержит m линейно независимых уравнений и их число меньше числа неизвестных, входящих в систему, следовательно, систему (8) можно разрешить относительно m неизвестных, например, x₁, x₂,…, x_m, выразив их через остальные неизвестные:

Форма ЗЛП (7), (9), (10) называется стандартной.

Векторная форма этой задачи имеет вид:

Определение. План X=(x₁, x₂, …, x_n) называется опорным планом ЗЛП, если положительные коэффициенты (x_j>0) состоят при линейно независимых векторах Р_j. Опорный план называется невырожденным, если он содержит ровно m положительных компонент, иначе — вырожденным.

Из данного определения следует, что план X=(b₁, b₂, …, b_m, 0, 0, …, 0) является опорным планом. Он определяется системой единичных векторов Р₁, Р₂, …, Р_m, которые образуют единичный базис пространства R m , следовательно, каждый из векторов Р_j, можно разложить по этому базису:

Теорема 1 (признак оптимальности опорного плана). Опорный план задачи (11)-(13) является оптимальным планом, если ∆_j≥0, .

Теорема 2. Если _ji_k, , нет положительных (a_ik0, ), то целевая функция (11) задачи (11)-(13) не ограничена на множестве её планов.

Теорема 3. Если опорный план задачи (5) — (7) не вырожден и ∆_k < 0, но среди чисел a_ik, , еcть m положительных (не все a_ik≤0, ), то существует опорный план , такой, что F( )>F(X).

Устройство симплекс-таблицы.

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

В столбце Р₀ записывают положительные компоненты исходного опорного плана, в нём же в результате вычислений получают положительные компоненты оптимального плана. Столбцы векторов Р_j представляют собой столбцы коэффициентов разложения этих векторов по векторам данного базиса.

Первые m строк симплекс-таблицы определяются исходными данными, а показатели (m+1)-ой строки вычисляют. В этой строке в столбце вектора P₀ записывается значение F₀ целевой функции, которое она принимает при данном опорном плане, а в столбце вектора Р_j — значения

После заполнения симплекс-таблицы исходный опорный план проверяют на оптимальность. Для этого просматривают элементы (m+1)-ой строки таблицы.

В результате может иметь место один из следующих случаев:

1. ∆_j≥0, , исходный опорный план оптимальный;
2. ∆_j≤0 для некоторого ј и все соответствующие этому индексу величины a_ij≤0, ,- целевая функция не ограничена сверху на множестве планов;
3. ∆_jij>0. В этом случае можно перейти от исходного к новому опорному плану, при котором значение целевой функции увеличится. Этот переход осуществляется исключением из исходного базиса какого-нибудь из векторов и введением в него нового вектора.

В качестве вектора, вводимого в базис, выбирают вектор, соответствующий максимальному по модулю отрицательному числу ∆_ј. Если же таких чисел несколько, то в базис будем вводить вектор, имеющий такой же индекс, как и максимальное из чисел c_j, определяемых данными числами ∆_ј (∆_ј <0).

Для определения вектора, подлежащего исключению из базиса, находят min (b_i/a_ik)=Ө₀ для всех a_ik >0. Пусть этот минимум достигается при i=r. Тогда из базиса исключается вектор P_r, а число a_rk называется разрешающим элементом. Столбец и строка, на пересечении которых находится разрешающий элемент, называются разрешающими.

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

Правила перехода к новой симплекс-таблице.

1. В столбцах векторов, входящих в базис, на пересечении строк и столбцов векторов с одинаковыми номерами проставляются единицы, а все остальные элементы данных столбцов полагают равными нулю.
2. Элементы векторов Р₀ и Р_j в строке новой симплекс-таблицы, в которой записан вектор, вводимый в базис, получают из элементов этой же строки исходной таблицы делением их на величину разрешающего элемента. В столбце c_б вводимого вектора проставляют величину , где k — индекс вводимого вектора.
3. Остальные элементы столбцов Р₀ и Р_j новой симплекс-таблицы вычисляются по правилу треугольника. Для вычисления какого-нибудь из этих элементов находят 3 числа:
1. число, стоящее в исходной симплекс-таблице на месте искомого элемента новой симплекс-таблицы;
2. число, стоящее в исходной симплекс-таблице на пересечении строки, в которой находится искомый элемент новой симплекс-таблицы и столбца, соответствующего вектору, вводимому в базис;
3. число, стоящее в новой симплекс-таблице на пересечении столбца, в котором стоит искомый элемент, и строки вновь вводимого в базис вектора.

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

После заполнения новой симплекс-таблицы просматривают элементы (m+1)-ой строки. Если все ∆_ј≥0, ,то новый опорный план является оптимальным. Если же среди указанных чисел имеются отрицательные, то, используя описанную выше последовательность действий, находят новый опорный план. Этот процесс продолжается до тех пор, пока либо получают оптимальный план задачи, либо устанавливают её неразрешимость.

Пример. Для изготовления различных изделий А, В и С предприятие использует 3 различных вида сырья. Нормы расхода сырья на производство одного изделия каждого вида, цена одного изделия А, В и С, а также общее количество сырья каждого вида, которое может быть использовано предприятием, представлены в таблице.

Изделия А, В, С могут производиться в любых соотношениях (сбыт обеспечен), но производство ограничено выделенным предприятию сырьём каждого вида.

Необходимо составить план производства изделий, при котором общая стоимость всей произведенной предприятием продукции является максимальной.

Решение. Искомый выпуск изделий А обозначим через х₁, изделий В – через х₂, изделий С- через х₃.

Запишем полученную систему в векторной форме:

Так как среди векторов Р_j, , имеются 3 единичных вектора Р₄, Р₅, Р₆, то переменные х₄, х₅, х₆ будут базисными, остальные переменные х₁, х ₂,х₃ – свободными. Свободные переменные полагаем равными 0. Тогда из канонического вида ЗЛП следует, что х₄=360, х₅=192, х₆=180. Таким образом, для данной ЗЛП можно непосредственно записать опорный план Х=(0, 0, 0, 360, 192, 180), определяемый системой трёхмерных единичных векторов Р₄, Р₅, Р₆, которые образуют единичный базис пространства R 3 . Начальное значение F₀ целевой функции при этом будет равно 0.

Все вычисления оформляем в виде последовательности симплекс-таблиц.

Так как среди чисел ∆_j, , имеются отрицательные числа, то данный опорный план не является оптимальным. Находим максимальное по модулю отрицательное значение ∆_j=-16. Столбец, в котором оно находится, определяет вектор, выводимый из базиса, т.е. вектор Р₃. Столбец вектора Р₃ будет разрешающим столбцом.

Для определения вектора, выводимого из базиса, определяем значение

Знаменатель дроби 192/8, т.е. число 8, будет разрешающим элементом. Строка, в которой он находится, указывает на вектор, выводимый из базиса, т.е. вектор Р₅.

Составляем симплекс-таблицу первой итерации. Сначала заполняем строку, номер которой совпадает с номером строки предыдущей симплекс-таблицы, в которой находится вектор Р₅, т.е. вторую строку. Ее элементы получаются из соответствующих элементов второй строки предыдущей симплекс-таблицы делением на разрешающий элемент, т.е. на 8. При этом в столбце c_б записываем коэффициент с₃=16, стоящий в столбце вводимого в базис вектора Р₃. Затем заполняем элементы столбцов для векторов, входящих в новый базис. В этих столбцах на пересечении строк и столбцов векторов с одинаковыми номерами проставляем 1, на пересечении строк и столбцов с разными номерами проставляем 0. ∆_j для векторов базиса так же равны 0.

Для определения остальных элементов второй симплекс-таблицы применяем правило треугольника. Вычислим, например, первое число в столбце вектора Р₀. Для этого находим 3 числа:

• число, стоящее в предыдущей симплекс-таблице на пересечении столбца вектора Р₀ и первой строки, т.е. 360;
• число, стоящее в предыдущей симплекс-таблице на пересечении столбца вектора Р₃ (разрешающего столбца) и первой строки, т.е. 12;
• число, стоящее в новой симплекс-таблице на пересечении столбца вектора Р₀ и второй строки (разрешающей строки), т.е. 24.

Вычитая из первого числа произведение двух других, находим искомый элемент: , записываем его в первой строке столбца вектора Р₀.

Для вычисления 3-го числа столбца вектора Р₀ используется 3-я строка предыдущей симплекс-таблицы.

Аналогично вычисляются остальные элементы симплекс-таблицы второй итерации. Для вычисления элементов ее 4-й строки используется 4-я строка предыдущей симплекс-таблицы.

Среди чисел ∆_j, новой симплекс-таблицы есть одно отрицательное число . Поэтому найденный опорный план не является оптимальным и в базис надо ввести вектор Р₂. Для определения вектора, выводимого из базиса, вычисляем значение

Число 9, стоящее в первой строке второй симплекс-таблицы, определяет вектор, подлежащий выводу из базиса, т.е. вектор Р₂. Составляем симплекс-таблицу второй итерации. Её элементы вычисляем аналогично элементам предыдущей симплекс-таблицы, используя их для определения значений новой симплекс-таблицы. В четвёртой строке третьей симплекс-таблицы все ∆_j≥0, . Следовательно, полученный на последней итерации опорный план Х=(0;8; 20; 0; 0; 96) является оптимальным и F_max=400. Нужно изготовить 8 изделий В и 20 изделий С. При данном плане выпуска изделий полностью используется сырье 1 и 2 вида, а стоимость производимой продукции равна 400 д.е.

Источник