Обоснование алгоритма решения графическим методом задач ЛП от многих переменных

Обоснование алгоритма решения графическим  методом задач ЛП от многих переменных.

 

Наиболее простым и  наглядным  методом линейного программирования (ЛП) является графический метод. Он применяется для решения задач  ЛП с двумя переменными.

Рассмотрим задачу ЛП в стандартной форме записи:

                

                         

Положим n=2, т.е. рассмотрим эту задачу на плоскости. Пусть система неравенств совместна (имеет хотя бы одно решение).

Каждое неравенство  этой системы геометрически определяет полуплоскость с граничной прямой  a_i1 x₁ + a_i2 x₂  =  b_i   , i=1,2,…m. Условия неотрицательности определяют полуплоскости, соответственно, с граничными прямыми x1=0,x2 =0. Система совместна, поэтому полуплоскости, как выпуклые множества, пересекаясь, образуют общую часть, которая является выпуклым множеством и представляет собой совокупность точек, координаты каждой из которых являются решением данной системы. Совокупность этих точек называют многоугольником решений. Он может быть точкой, отрезком, лучом, многоугольником, неограниченной многоугольной областью.

Таким образом, геометрически задача линейного  программирования (ЗЛП) представляет собой  отыскание такой точки многоугольника решений, координаты которой доставляют линейной функции цели максимальное (минимальное) значение, причем допустимыми решениями являются все точки многоугольника  решений.

           Линейное  уравнение описывает множество  точек, лежащих на одной прямой. Линейное неравенство описывает  некоторую область на плоскости. Определим, какую часть плоскости описывает неравенство 2х₁+3х₂£ 12.  Во-первых, построим прямую 2х₁+3х₂=12.  Эта прямая проходит через точки (6, 0) и (0, 4).  Для того чтобы определить, какая полуплоскость удовлетворяет неравенству необходимо выбрать любую точку на графике, не принадлежащую прямой, и подставить ее координаты в неравенство. Если неравенство будет выполняться, то данная точка является допустимым решением и полуплоскость, содержащая точку, удовлетворяет

неравенству. Удобной для использования при подстановке в неравенство является начало координат. Подставим х₁=х₂=0 в неравенство 2х₁+3х₂£12. Получим 2´0+3´0£12.  Данное утверждение является верным, следовательно, неравенству 2х₁+3х₂£12 соответствует нижняя полуплоскость, содержащая точку (0.0). Это отражено на графике, изображенном на рис.1.

 

 

Рис. 1.  Неравенству 2х₁+3х₂£12 соответствует нижняя полуплоскость.

 

Аналогично можно изобразить графически каждое ограничение задачи линейного программирования.

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

.

условиям неотрицательности (x_j ³0, j=1,…,n). Координаты любой точки, принадлежащей области определения являются допустимым решением задачи.

Для нахождения экстремального значения целевой функции при графическом решении задач ЛП используют вектор–градиент, координаты которого являются частными производными целевой функции, т.е.

 

.

Этот вектор показывает направление  наискорейшего изменения целевой функции. Прямая , перпендикулярная вектору–градиенту, является линией уровня целевой функции. В любой точке линии уровня целевая функция принимает одно и то же значение. Приравняем целевую функцию постоянной величине “a”. Меняя значение “a”,  получим семейство параллельных прямых, каждая из которых является линией уровня.

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

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

Графический метод решения  ЗЛП состоит из следующих этапов.

1. Строится многоугольная область допустимых решений ЗЛП – ОДР,
2. Строится вектор-градиент ЦФ в  какой-нибудь точке Х₀  принадлежащей ОДР –

                .

3.  Линия уровня C₁x₁+C₂x₂ = а (а–постоянная величина) - прямая, перпендикулярная  вектору –градиенту – передвигается в направлении этого вектора в случае максимизации f(x_1,x₂)   до тех пор, пока не покинет пределов ОДР. Предельная точка  (или точки) области при этом движении и является точкой максимума f(x_1,x₂).

4.  Для нахождения ее координат  достаточно решить два уравнения  прямых, получаемых  из соответствующих ограничений и дающих в пересечении точку максимума.  Значение f(x_1,x₂), найденное в получаемой точке, является максимальным.

При минимизации f(x_1,x₂) линия уровня перемещается в направлении, противоположном вектору-градиенту. Если прямая при своем движении не покидает ОДР, то соответствующий максимум или минимум f(x_1,x₂)  не существует.

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