9

Практическое занятие № 3 (2 часа)

Тема: Геометрическая интерпретация задач линейного программирования

Рассматриваемые вопросы:

• Знакомство с геометрической интерпретацией задач ЛП в стандартной форме;

• Решение задач ЛП в стандартной форме при n=2 геометрическим способом;

• Геометрическая интерпретация задач ЛП в канонической форме при

n - m=2 и её геометрическое решение.

1. Геометрическая интерпретация злп в стандартной форме

Область доступных решений ЗЛП в стандартной форме образуется перечислением m множеств. Каждое из них определяется соответствующим неравенством

a_i1x₁+…+ a_inx_n  b_i , i= (1)

и представляет собой полупространство, лежащее по одну сторону от гиперплоскости

a_i1x₁+…+ a_inx_n = b_i , i= (2)

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

Линии уровня минимизируемой функции

z = с₁x₁+…+c_nx_n = const (3)

образуют семейство параллельных плоскостей. Вектор нормали к этим плоскостям

c = {c₁, c₂, …, c_n}^T

определяет направления возрастания нулевой функции z, а противоположный вектор –с определяет направление убывания функции z.

Рис1. Геометрическая интерпретация ЗЛП в стандартной форме

Выберем из семейства (3) любую плоскость, пересекающую многогранник допустимых решений X, и будем смещать ее в направлении с, если решается задача максимизации целевой функции z, и в направлении -с , если решается задача минимизации. Будем смещать эту плоскость до такого предельного положения, когда многогранник X окажется весь по одну сторону от неё и хотя бы одна их точек X все еще будет принадлежать нашей плоскости. Эти точки, или точка, лежащие на плоскости и будут решением задачи минимизации целевой функции z, и x^* решением, соответственно, задачи максимизации функции z (рис. 1).

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

Рис.2 Пример пустой области допустимых решений (X)

Решения X*

Во втором случае ЗЛП заведомо разрешима и имеет либо единственное решение (рис.1), совпадающее с одной из вершин допустимого многогранника X, либо бесконечное множество решений (рис.3) – ребро или грань многогранника, параллельные плоскостям семейства (3).

Рис.3 Пример ЗЛП, имеющий бесконечное множество решений (ребро АВ многогранника допустимых решений ABCDE)

Если допустимое множество решений ЗЛП неограниченно, ответ на вопрос о существовании ее решения для задачи максимизации зависит от того, ограничена сверху на этом множестве целевая функция z или нет. Если ограничена, задача разрешима, причем возможны те же ситуации, что и во втором из рассмотренных выше случаев. Если нет – решение отсутствует (рис.4). Для задачи минимизации, в случае неограниченного множества допустимых решений X, ответ на вопрос о существовании решения ЗЛП

Рис.4 Пример ЗЛП, имеющей неограниченное множество допустимых решений.

зависит от того, ограничена снизу на множестве X целевая функция z или нет. Возникающие ситуации те же что и у задач максимизации.

2. Геометрическое решение злп в стандартной форме.

Если задача линейного программирования в стандартной форме содержит всего лишь две переменные x₁ и x₂ (т.е. n=2), то ее можно решить следующим способом, основанным на ее геометрической интерпретации.

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

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

Для решения задачи линия уровня сдвигается в пределах области допустимых решений (многогранника допустимых решений) в направлении вектора-градиента grad z=f(x) = до самой крайней точки области для задачи максимизации , и в направлении антиградиента

• grad z= для задачи минимизации. Координаты этой

точки и определяют решение ЗЛП (оптимальный план задачи).