3.2. Симплексные таблицы

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

1. Привести задачу линейного программирования к каноническому виду.

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

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

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

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

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

7. Если пункты 4-6 алгоритма не выполняются, находят новое опорное решение с использованием условий нахождения оптимального решения.

Пример. Решить задачу табличным симплексным методом.

F(Х) = 9х₁+5х₂+4х₃ +3х₄ +2х₅ →max.

Решение. Приводим задачу к каноническому виду. Для этого в левую часть первого ограничения-неравенства типа «≤» вводим дополнительную переменную х₆ с коэффициентом +1. В целевую функцию переменная х₆ входит с коэффициентом 0 (т.е. не входит). Получаем

F(Х) = 9х₁ +5х₂+4х₃ +3х₄ +2х₅ +0 х₆→max.

Находим начальное опорное решение. Для этого свободные (неразрешенные) переменные приравниваем к нулю х₁=х₂=х₃=0. Получаем опорное решение Х₁= (0, 0, 0, 24, 30, 6) с единичным базисом Б₁ = (А₄ , А₅, А₆).

Вычисляем оценки разложений векторов условий по базису опорного решения, используя формулу (Δ_к=С_бХ_к-с_к, где С_б=(с₁,с₂,…,с_т)- вектор коэффициентов целевой функции при базисных переменных; Х_к=(х_1к, х_2к,…, х_тк)-вектор коэффициентов разложения вектора по базису опорного решения; с_к -коэффициент целевой функции при переменной х_к):

Δ₁= С_бХ₁ - с₁= (0, 3, 2) · (1, 1, 2) - 9 = 0 + 3 + 4 - 9 = -2;

Δ₂ = С_бХ₂ -с₂= (0, 3, 2) · (-2, 2, 1) - 5 = 0 + 6 + 2 - 5 = 3;

Δ₃ = С_бХ₃- с₃= (0, 3, 2) · (2, 1, -4) - 4 = 0 + 3 - 8 - 4 = -9;

Δ ₄ = С_бХ₄- с₄ = (0, 3, 2) · (0, 1, 0) - 3 = 0 + 3 + 0 - 3 = 0;

Δ ₅ = С_бХ₅ - с₅ = (0, 3, 2) · (0, 0, 1) - 2 = 0 + 0 + 2 - 2 = 0;

Δ ₆ = С_бХ₆ - с₆ = (0, 3, 2) ·(1, 0, 0) - 0 = 0 + 0 + 0 - 0 = 0.

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

В последней строке таблицы с оценками Δ_к в столбце «А₀» записывается значение целевой функции на опорном решении F(X₁).

9 5 ↓4 3 2 0

Б	Сб	А0	А1	А2	А3	А4	А5	А6	θ1	θ3
←А6	0	6	1	-2	2	0	0	1	6	3
А4	3	24	1	2	1	1	0	0	24	24
А5	2	30	2	1	-4	0	1	0	15	-
Δ к		132	-2	3	-9	0	0	0

Начальное опорное решение не является оптимальным, так как оценки Δ₁=-2, Δ₃=-9 для векторов А₁ и А₃ противоречат признаку оптимальности.

Определим, введение какого из двух векторов приведет к большему приращению целевой функции. Приращения целевой функции найдем по формуле ΔF_k=-θ_0к Δ _к. Вычислим значения параметра -θ_0к для первого и третьего столбцов по формуле θ_0к= , при х_ik>0, где к -номер вектора, вводимого в базис; l- номер вектора, выводимого из базиса; х_i0-координаты опорного решения; х_ik-коэффициент разложения вектора А_к по базису опорного решения. Получаем θ₀₁=6 при l=1 (где l— номер строки) и θ₀₃=3 при l=1. Находим приращение целевой функции при введении в базис первого вектора ΔF₁=-6·(-2)=12 и третьего вектора ΔF₃=-3·(-9)=27. Следовательно, для наиболее быстрого нахождения оптимального решения необходимо ввести в базис опорного решения вектор А₃ вместо первого вектора базиса А₆, так как минимум параметра θ₀₃ достигается в первой строке (l = 1).

Далее выполним преобразование с элементом х₁₃=2, получим второе опорное решение Х₂=(0,0,3,21,42,0) с базисом Б₂=(A₃,A₄,А₅) (следующая таблица). Это решение не является оптимальным, так как вектор А₂ имеет отрицательную оценку Δ₂=-6. Для улучшения решения необходимо ввести вектор А₂ в базис опорного решения.

Б	Сб	А0	А1	А2	А3	А4	А5	А6	θ2
А3	4	3	½	-1	1	0	0	½	-
←А4	3	21	½	3	0	1	0	-½	7
А5	2	42	4	-3	0	0	1	2	-
Δ к		159	5/2	-6	0	0	0	9/2

Определим номер вектора, выводимого из базиса. Для этого вычислим параметр θ₀₂ для второго столбца, он равен 7 при l=2. Следовательно, из базиса выводим второй вектор базиса А₄. Выполним преобразование с элементом х₂₂=3, получим третье опорное решение Х₃ = (0,7,10,0,63,0) с базисом Б₂=(А₃,А₂,А₅). Это единственное оптимальное решение, так как для всех векторов, не входящих в базис, оценки разложений по базису опорного решения положительны: Δ₁=7/2, Δ₄=2, Δ₆=7/2.

Б	Сб	А0	А1	А2	А3	А4	А5	А6
А3	4	10	2/3	0	1	1/3	0	1/3
←А2	5	7	1/6	1	0	1/3	0	-1/6
А5	2	63	9/2	0	0	1	1	3/2
Δ к		201	7/2	0	0	2	0	7/2

Ответ: F_max = 201 при X ^* = (0, 7,10, 0, 63).