Множество планов ЗЛП и его свойства

Определение 9.2. Множество векторов X, удовлетворяющих ограничениям задачи составляет множество допустимых планов данной задачи M=.

Тогда каноническую ЗЛП в матричной форме можно переписать следующим образом: .

Решить данную ЗЛП, значит найти оптимальный план задачи, т.е. такой план задачи, значение линейной формы в котором максимально: .

Теорема 9.1. Множество планов ЗЛП является выпуклым множеством.

Д о к а з а т е л ь с т в о. Множество называется выпуклым, если любые две его точки входят в него вместе с отрезком их соединяющим. Таким образом, чтобы доказать выпуклость М, надо доказать, то что для любых и принадлежащих множеству М справедливо .

Пусть и . Это значит, что координаты этих точек удовлетворяют условиям задачи, т.е., .

Выберем некоторый параметр и умножим равенство на , а - на . Складывая результаты получим:

т.е. точка , являющаяся произвольной точкой отрезка , удовлетворяет условиям задачи, а значит принадлежит множеству . Значит и весь отрезок также принадлежит множеству . Следовательно, множество М выпукло.

Теорема 9.2. Множество планов ЗЛП является замкнутым множеством.

Д о к а з а т е л ь с т в о. Замкнутым называется множество, содержащее все свои граничные точки. Точка называется граничной точкой множества, если в любой окрестности этой точки есть как точки множества, так и точки ему не принадлежащие. Если - граничная точка , то существует последовательность принадлежащая такая, что

,

а сама точка называется предельной. Поэтому все граничные точки являются предельными точками множества М. Все внутренние точки тем более

являются предельными.

Пусть Х- произвольная предельная точка множества М и пусть последовательность , такая что . Так как все , то для любого выполняется условие . Тогда

То есть, все предельные точки принадлежат множеству . Следовательно, множество М замкнуто.

Теорема 9.3. Множество планов ЗЛП является многогранным множеством.

Д о к а з а т е л ь с т в о. Гиперплоскостью в называется множество . Гиперплоскость делит все пространство на два полупространства: нижнее и верхнее . Множество, являющееся пересечением конечного числа гиперплоскостей и подпространств называется многогранным множеством.

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

Определение 9.3. Точка называется угловой точкой множества M, если никакой отрезок, содержащий в качестве своей внутренней точки, не содержится целиком во множестве M.

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

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

Предположим противное: система векторов - линейно зависима. Тогда существуют числа не все равные нулю, такие что

(9.8)

С другой стороны, так как принадлежит , то должно выполняться равенство

(9.9)

Умножим обе части равенства (9.8) на произвольное положительноечисло малое настолько, что все числа . Прибавляя и вычитая результат из соотношения (9.9), получим

, т.е.

, т.е.

Очевидно, , то есть

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

Достаточность. Пусть вектора - линейно независимы и наряду с этим - не является угловой точкой. Тогда, существует отрезок с концами в точках , содержащий в качестве внутренней точки, т.е.

.

Из этого равенства, с учетом условий , следует, что если некоторые числа , то и числа .

Далее в силу принадлежности точек множеству имеем

, .

Вычитая из одного равенства другое, получим

.

Точки различны, поэтому хотя бы одна из разностей, стоящих коэффициентами при , отлична от нуля. Отсюда следует, что столбцы линейно зависимы. Полученное противоречие доказывает, что точка является угловой точкой множества планов .

Следствие 1. Любая угловая точка множества планов ЗЛП может иметь не более r положительных компонент, где r - ранг матрицы условий ().

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

Пользуясь данными утверждениями об угловых точках можно:

· проверить, является ли некоторая заданная точка угловой или нет;

· построить угловую точку данного множества.

Для ответа на первый вопрос нужно проверить являются ли вектора условий, соответствующие положительным координатам данной точки, линейно независимыми.

Построить угловую точку заданного множества планов можно по следующему алгоритму:

1. Вычислить ранг матрицы условий . При этом, в матрице найдется система линейно независимых векторов.

2. Всем координатам, номера которых не совпадают с номерами выделенных векторов условий присвоить нулевое значение, т.е. .

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

Число столбцов в матрице конечно, а значит и число всевозможных линейно независимых систем тоже конечно, т.е. число опорных планов множества планов ЗЛП конечно.

Определение 9.4. План ЗЛП, соответствующий угловой точке множества планов называется опорным планом.

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

Определение 9.6. Опорный план называется невырожденным, если число положительных компонент равно рангу матрицы условий. Опорный план называется вырожденным, если число положительных координат меньше ранга матрицы условий.

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

Пример 9.2. Пусть множество допустимых планов M задано системой уравнений:

Найдем угловую точку данного множества.

Выпишем матрицу условий :

Нетрудно заметить, что столбцы - составляют минор 3-го порядка отличный от нуля, следовательно, ранг матрицы A равен 3. Тогда координаты являются базисными компонентами, а - небазисными. Приравнивая в исходной системе небазисные переменные нулю, получим систему:

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

Проверим, является ли вектор угловой точкой множества M.

Подставим координаты точки в исходную систему ограничений:

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

Легко проверить, что ранг матрицы равен 2, следовательно, вектора - линейно независимы, а значит, план является опорным. Т.к. ранг матрицы A равен 3, а количество неотрицательных компонент данного опорного плана - 2, то план является вырожденным. Данный опорный план может иметь несколько базисов, которые можно получить присоединением различных векторов.

Рассмотрим систему из трех векторов

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

Дата добавления: 2014-01-06