Частное допустимое базисное решение, с которого начинают решение, называют начальным допустимым базисным решением (НДБР).
Допустимым базисным решением (ДБР) является такое, при котором все переменные неотрицательны. В противном случае базисное решение недопустимо.
Базисом называют любой набор m переменных такой, что определитель, составленный из коэффициентов при этих переменных, отличен от нуля. Соответствующее решение называю базисным решением.
Метод искусственного базиса.
Канонический вид ЗЛП, начальное допустимое базисное решение (НДБР),
Чтобы ЗЛП имела решение необходимо, чтобы система ограничений была совместна. Это возможно, если ранг m системы (число линейно независимых уравнений) был не больше числа неизвестных n. Случай m > n невозможен. При m = n система имеет единственное решение, которое определяется методами обычной алгебры. Если m < n, то система имеет m линейно независимых векторов – базис, через которые любой вектор системы может быть выражен как линейная комбинация. Таких базисов может быть несколько, но не больше, чем Сnm. Переменные ЗЛП, соответствующие m векторам базиса, являются базисными, остальные переменные – свободные.
Переменные, входящие в базис, называют базисными (б.п.), остальные n – m переменных называют свободными.
Чтобы получить простейшее частное решение системы необходимо свободные переменные приравнять нулю, учитывая при этом неотрицательность всех переменных.
Чтобы найти НДБР, удобно ЗЛП записать в каноническом виде.
Канонический вид ЗЛП – это такой стандартный вид, в котором в каждом i-ом уравнении найдется такая переменная хI, что коэффициент перед ней в данном уравнении равен +1, а в других уравнениях и в выражении целевой функции эти коэффициенты равны нулю. Если при этом все b , то говорят о допустимом каноническом виде, в противном случае – о недопустмом.
1 Случай. Исходная задача ЗЛП содержит все ограничения со знаком .
, , ,
F(x) = .
Стандартная форма ЗЛП является одновременно и каноническим допустимым видом.
, , ,
, - дополнительные, уравновешивающие переменные
F(x) = - .
При этом хj = 0, - свободные переменные, хn+I = bi, -- базисные
переменные – НДБР.
2 Случай. Ограничения исходной ЗЛП содержат неравенства разных знаков и уравнения.
, , ,
,
, , ,
F(x) = .
Стандартная форма ЗЛП не совпадает с каноническим видом.
, ,
, ,
, ,
, - дополнительные, уравновешивающие переменные.
F(x) = - .
Чтобы построить канонический вид и получить НДБР используют метод
искусственного базиса. В каждое уравнение, не содержащее переменную,