33
Лекция 8. МЕТОД ИСКУССТВЕННОГО БАЗИСА РЕШЕНИЯ
ЗАДАЧ ЛИНЕЙНОЙ ОПТИМИЗАЦИИ
План
1. Метод искусственного базиса.
2. Пример решения задачи ЛП методом искусственного базиса.
1. При решении задач ЛП симплекс-методом предполагалось, что среди векто-
ров
12
, ,..., ,...,
jn
AAA имеется единичных векторов. Т.е. в каждом уравне-
нии есть базисная переменная, которая входит лишь в одно уравнение с коэф-
фициентом 1, а в остальные – с коэффициентом 0.
m
Рассмотрим исходную задачу в каноническом виде:
11 2 2
11 1 12 2 1 1
11 2 2
min;
0( 1 ) 0( 1 )
nn
nn
mm mnnm
ji
Zcxcx cx
a x a x ax b,
...................................................,
ax ax ax b,
x j,n, b i,m.
=+ +⋅⋅⋅+ →
+ +⋅⋅⋅+ =
⎧
⎪
⎨
⎪
++⋅⋅⋅+=
⎩
≥= ≥=
(1)
Если
, то соответствующее уравнение умножаем на (–1). 0
i
b <
Составляем расширенную задачу формальным добавлением новых базис-
ных (
искусственных) переменных в уравнения, в которых их нет. В целевую
функцию дописываем их с большим положительным числом
. Получим
расширенную задачу:
11 2 2 1 2
11 1 12 2 1 1 1
min;
nn n n nm
nn n
Zcx cx cxМx Мx Мx
a x a x a x x b ,
....................................................................
++ +
+
′
= + + ⋅⋅⋅+ + + +⋅⋅⋅+ →
++⋅⋅⋅++ =
11 2 2
0( 1 ) 0( 1 )
mm mnn nmm
ji
...............................,
a x a x a x x b ,
x j ,n m , b i ,m .
+
⎧
⎪
⎨
⎪
+ +⋅⋅⋅+ + =
⎩
≥=+ ≥=
(2)
Такой подход называют
методом искусственного базиса. Ясно, что ис-
кусственные переменные должны равняться нулю. Если среди них имеются не
равные нулю, то исходная задача (1) несовместная. Или, по-другому, целевая
функция расширенной задачи (2) будет неограниченно расти с ростом
и не
сможет достичь минимума. Если в оптимальном плане расширенной задачи ис-
кусственные переменные равны нулю, то остальные переменные дают решение
исходной задачи, если же есть не равные нулю, то исходная задача несовмест-
ная. Если же на некотором этапе, после выведения искусственных переменных
из базиса, возникнет столбец с неположительными членами и положительной
оценкой для данного столбца, то
∞→Z. Если в оптимальном плане есть сво-
бодный вектор с нулевой оценкой, то оптимальный план не единственный.