16
Планом задачи (допустимым решением) называют вектор , удовле-
творяющий условиям (2)-(3) или (5)-(6) или (8)-(9).
Оптимальный план – это
план, минимизирующий целевую функцию.
X
JJG
Рассмотрим векторную форму (7)-(9). Уравнение (8) – это разложение
вектора
JG
по векторам
j
JJG
( 1,
n= ) с коэффициентами разложения
j
.
Напомним, что система векторов
j
JG
( 1,
n= ) называется линейно неза-
висимой
, если равенство
11 2 2
... 0
nn
AA A
μμ μ
⋅+⋅++⋅=
JJGJJGJJGG
выполняется только при одновременном равенстве нулю коэффициентов раз-
ложения, т.е.
12
... 0
n
μμ
====. В противном случае векторы называют линейно
зависимыми
.
Если векторы
j
JG
, входящие в разложение (8) с положительными коэф-
фициентами
j
, являются линейно независимыми, то вектор называют
опорным планом. А т.к. векторы
X
JJG
j
JG
имеют m координат, то количество
в опорном плане не может превышать число .
0
j
x >
m
Опорный план называют
невырожденным, если он содержит положи-
тельных компонент
m
j
. В противном случае он – вырожденный. Если все воз-
можные опорные планы задачи невырожденные, то это
невырожденная задача
ЛП. При наличии хотя бы одного вырожденного опорного плана задачу назы-
вают
вырожденной.
2. Рассмотрим некоторые свойства задачи ЛП.
Теорема 1. Множество всех планов задачи ЛП выпукло.
В общем случае ОДР либо пустая, либо является выпуклым многогран-
ным множеством.
Теорема 2. Пусть ОДР представляет собой выпуклый ограниченный мно-
гогранник в пространстве
n
. Тогда целевая функция принимает своё мини-
мальное (или максимальное) значение в одной из угловых точек. Если же целе-
вая функция принимает своё экстремальное значение более чем в одной угло-
вой точке, то экстремум достигается на всей выпуклой комбинации этих точек.
Каноническая задача ЛП в векторной форме (7)-(9) имеет свои специфи-
ческие особенности.
Теорема 3. Если векторы
12
, ,...,
k
AA
JGJJGJJG
являются линейно независимыми и
имеет место разложение
11 2 2
...
kk
xAx AxB⋅+ ⋅++ ⋅ =
JJGJJGJJGJG
∈
,
где все 0, то точка будет угловой точкой ОДР.
j
x ≥
12
( , ,..., ,0,0,...,0)
n
k
Xxx x R=
Теорема 4. Если является угловой точкой ОДР, то векторы
12
(, ,..., )
n
Xxx x=
j
JJG
из разложения (8), соответствующие положительным коэффициентам
j
,
образуют линейно независимую систему.