Геометрическая интерпретация в случае двух переменных
|
Отыскание начального опорного плана (1 пункт алгоритма)
Пусть система ограничений ЗЛП представлена в канонической форме записи.
.
Говорят, что ограничение ЗЛП имеет предпочтительный вид, если при неотрицательности правой части ( ) левая часть ограничения содержит переменную, входящую с коэффициентом, равным единице, а в остальные ограничения-равенства - с коэффициентом, равным нулю.
Например, в системе ограничений:
первое и второе ограничения имеют предпочтительный вид, а третье - нет (предпочтительные переменные подчеркнуты).
Если каждое ограничение системы имеет предпочтительный вид, то система представлена в предпочтительном виде. В этом случае легко найти ее опорное решение. Предпочтительные переменные будут базисными, а остальные - свободными. Все свободные переменные нужно приравнять к нулю, тогда базисные переменные будут равны свободным членам.
Например, в системе ограничений:
предпочтительными (базисными) являются переменные 
свободными являются переменные 
.
Приравниваем свободные переменные 
к нулю, тогда базисные переменные примут значения: 
, 
, 
.
Получим начальный опорный план 
.
Отыскание начального опорного плана
Методом искусственного базиса
В случае, когда ограничение - равенство не имеет предпочтительного вида, к его левой части добавляют искусственную переменную 
. В целевую функцию переменные вводят с коэффициентом «M» в случае решения задачи на минимум и с коэффициентом «-М» в случае решения задачи на максимум, где М - большое положительное число. Полученная задача называется М-задачей, соответствующей исходной. Она всегда имеет предпочтительный вид.
Пусть исходная ЗЛП имеет каноническую форму записи:
;
где ,
.
Если ни одно из ограничений не имеет предпочтительной переменной, то М-задача запишется так:
;
,
,
.
Тогда начальный опорный план этой задачи: 
Если некоторое уравнение имеет предпочтительный вид, то в него не следует вводить искусственную переменную.
Например, воспользуемся канонической формой записи ЗЛП примера 2 и найдем начальный опорный план методом искусственного базиса.
Составим М-задачу:
;
Тогда начальный опорный план: 
, значение целевой функции на этом плане:
.
Отыскание начального опорного плана
Путем преобразования таблицы Жордана
Для заполнения таблицы Жордана каноническую форму ЗЛП преобразовываем к следующему виду:
где все 
.
Таблица Жордана содержит 
столбцов, где 
- число переменных, 
- число переменных в предпочтительном виде и 
строк, где 
- число ограничений-равенств. В столбце «БП» записываются базисные (предпочтительные) переменные. Если ограничение не имеет предпочтительной переменной, то записывается «0». Столбец «1» - столбец свободных членов 
системы ограничений (2.12) а в 
- строке - элемент 
из (2.11). Остальные столбцы «СП», в основной части которых находится элементы 
из системы (2.12). В 
- строке в столбцах «СП» записываются коэффициенты при свободных переменных, стоящие в скобках выражения (2.11). Каждому ограничению - равенству из системы (2.12) соответствует строка основной части таблицы. Целевой функции (2.11) соответствует последняя строка таблицы (таблица 4).
Таблица 4
| СП | ||||||
| БП | 1 | 
| … | 
| ... | 
|
| 0 | 
| 
| … | 
| ... | 
|
| ... | ... | ... | … | ... | .... | ... |
| 0 | 
| 
| … | 
| ... | 
|
| ... | ... | ... | … | ... | ... | ... |
| 0 | 
| 
| … | 
| ... | 
|
|
| 
| … | 
| ... | 
|
Для нахождения начального опорного плана необходимо в результате Жордановых преобразований избавиться от нулей в первом столбце таблицы.
Преобразование таблицы называется шагом Жордановых исключений и осуществляется относительно выбранного разрешающего элемента. Разрешающий элемент выбирается среди положительных чисел основной части таблицы (которая выделена, ) по наименьшему отношению свободных членов (элементы столбца «1» к соответствующим положительным элементам столбца, выбранного разрешающим.
Пусть s-ый столбец будет разрешающим, тогда если 
для 
, то - разрешающий элемент.
Шаг Жордановых исключений осуществляется по следующим правилам:
1) Ноль первого столбца в строке разрешающего элемента меняется местами с переменной .
2) Разрешающий элемент заменяется обратной величиной.
3) Остальные элементы разрешающей строки делятся на разрешающий элемент.
4) Остальные элементы разрешающего столбца делятся на разрешающий элемент и меняют знак на противоположный.
5) Прочие элементы вычисляются по формуле:
.
Или диагональ «прямоугольника», на которой расположен разрешающий элемент и преобразуемый элемент назовем главной, а другую диагональ - побочной. Тогда преобразованный элемент 
равен разности произведений элементов, расположенных на главной и побочной диагоналях, деленной на разрешающий элемент.
6) 0-столбцы вычеркиваются.
Если система ограничений совместна, то через некоторое число шагов все нули в левом столбце будут замещены переменными 
. Тогда начальный опорный план найдём, приравняв свободные переменные к нулю, а базисные (столбец «БП») – к соответствующим свободным членам (столбец «1»).
Если в ходе Жордановых преобразований встретится 0-строка, в которой все элементы неположительные, то данная система не имеет неотрицательных решений, хотя и является совместной.
Допустим, после некоторого числа шагов Жордановых преобразований все нули в левом столбце замещены переменными , т.е. получили таблицу 5.
Таблица 5
| СП | ||||||
| БП | 1 | 
| … |
| ... |
|
| 
| 
| … | 
| ... | 
|
| ... | ... | ... | … | ... | ... | ... |
| 
| 
| … | 
| ... | 
|
| ... | ... | ... | … | ... | ... | ... |
| 
| 
| … | 
| ... | 
|
|
| 
| 
| … | 
| ... | 
|
Тогда компоненты начальный опорный план 
будут:
БП: 
,…, 
,…, 
,
СП: 
.
Таким образом начальный опорный план 
и значение целевой функции на этом плане 
.
Например, найдем начальный опорный план ЗЛП примера 2 методом Жордановых исключений. Представим каноническую запись (см. пример 5) в виде (2.11) - (2.12), то есть:
;
Здесь в третьем и четвёртом ограничениях предпочтительные переменные 
и 
оставлены в левой части.
Заполним первую Жорданову таблицу (таблица 6).
Таблица 6
| СП | ||||||
| БП | 1 | 
| 
| 
| 
| отношения |
| 0= | 31 | 5 | 0 | 4 | 0 | 31/5 |
| 0= | 36 | 0 | 3 | 0 | 6 | |
| 10 | 1 | 1 | 0 | 0 | 10/1 |
| 10 | 0 | 0 | 1 | 1 | |
| 0 | -8 | -7 | -4 | -2 |
Начальный опорный план будет найден, если в первом столбце таблицы все нули в ходе преобразований Жордана будут заменены переменными 
.
Пусть 
- столбец будет разрешающим. Для нахождения разрешающей строки составим отношения свободных членов к соответствующим положительным элементам этого столбца. Так как в этом столбце только два положительных элемента «5» и «1», то отношения будут 
и 
. Так как 
, то элемент «5» и будет разрешающим. Шаг Жордановых исключений относительно найденного разрешающего элемента переводит таблицу 6 в таблицу 7.
Таблица 7
| СП | |||||
| БП | 1 | 0 | x12 | x21 | x22 |
| x11= | 31/5 | 1/5 | 0/5 | 4/5 | 0/5 |
| 0= | (36´5-31´0)/5 | 0 | (3´5-0´0)/5 | (0´5-4´0)/5 | (6´5-0´0)/5 |
| x3= | (10´5-31´1)/5 | -1/5 | (1´5-0´1)/5 | (0´5-4´1)/5 | (0´5-0´1)/5 |
| x4= | (10´5-31´0)/5 | 0 | (0´5-0´0)/5 | (1´5-4´0)/5 | (1´5-0´0)/5 |
| Z | (0´5-31´(-8))/5 | 8/5 | (-7´5-0´(-8)/5 | (-4´5-(4´(-8)) /5 | (-2´5-0´(-8))/5 |
Вычеркивая 0 - столбец, получим таблицу 8:
Таблица 8
| СП | ||||
| БП | 1 | x12 | x21 | x22 |
| x11= | 6,2 | 0 | 0,8 | 0 |
| 0= | 36 | 3 | 0 | 6 |
| x3= | 3,8 | 1 | -0,8 | 0 |
| x4= | 10 | 0 | 1 | 1 |
| Z | 49,6 | -7 | 2,4 | -2 |
Пусть теперь разрешающим будет 
- столбец. Найдем отношения свободных членов к соответствующим положительным элементам этого столбца. Это 
и 
(таблица 9).
Таблица 9
| СП | |||||
| БП | 1 | 
| 
|
| отношения |
| 6,2 | 0 | 0,8 | 0 | |
| 0= | 36 | 3 | 0 | 6 | 36/6 |
|
| 3,8 | 1 | -0,8 | 0 | |
|
| 10 | 0 | 1 | 1 | 10/1 |
|
| 49,6 | -7 | 2,4 | -2 |
Так как 
, то вторая строка будет разрешающей. Итак, следующий разрешающий элемент будет «6», и шаг Жордановых исключений переводит таблицу 9 в таблицу 10.
Таблица 10
| СП | ||||
| БП | 1 | x12 | x21 | 0 |
| x11= | 6,2 | 0 | 0,8 | 0 |
| x22= | 6 | 0,5 | 0 | 1/6 |
| x3= | 3,8 | 1 | -0,8 | 0 |
| x4= | 4 | -0,5 | 1 | -1/6 |
| Z | 61,6 | -6 | 2,4 | 2/6 |
Вычеркивая 0 - столбец получим таблицу 11.
Таблица 11
| СП | |||
| БП | 1 | x12 | x21 |
| x11= | 6,2 | 0 | 0,8 |
| x22= | 6 | 0,5 | 0 |
| x3= | 3,8 | 1 | -0,8 |
| x4= | 4 | -0,5 | 1 |
| Z | 61,6 | -6 | 2,4 |
Найдем начальный опорный план, приравняв свободные переменные к нулю, то есть 
, а базисные переменные к свободным членам, то есть 
.
Значит начальный опорный план: 
. На этом плане целевая функция 
.
Итак, благодаря преобразованиям Жордана исходную задачу мы можем записать (исходя из последней таблицы) в виде:
Исследование на оптимальность опорного плана при минимизации целевой функции (второй пункт алгоритма)
Заполним Жорданову таблицу, исходя из задачи, записанной в виде:
;
где 
- предпочтительные переменные.
Или воспользуемся конечной таблицей при нахождении начального опорного плана методом Жордановых исключений (таблица 5).
1 Если в Z - строке нет положительных элементов (не считая свободного члена) - план оптимален. Если в Z - строке нет также и нулевых элементов, то оптимальное решение единственное, если же есть хотя бы один нулевой элемент, то оптимальных планов бесконечное множество.
2 Если в Z - строке есть хотя бы один положительный элемент, а в соответствующем ему столбце нет положительных элементов, то целевая функция неограниченна в ОДР (вследствие неограниченности ОДР). В этом случае задача неразрешима. (Проверить правильность составления экономико-математической модели).
3 Если в Z - строке есть хотя бы один положительный элемент и в столбце, содержащем этот элемент, есть хотя бы один положительный элемент, то можно перейти к новому опорному плану, более близкому к оптимальному.
Переход к новому, нехудшему опорному плану (третий пункт алгоритма)
1 В таблице 5 выбираем разрешающий элемент, руководствуясь следующими правилами:
а) выбрать в Z-строке симплекс-таблицы наибольший положительный элемент. Пусть это будет 
, тогда столбец будет разрешающим;
б) найти отношения 
для положительных элементов ( 
) столбца 
;
в) выбрать среди этих отношений наименьшее, скажем 
, тогда элемент 
- есть разрешающий (генеральный).
2 Перейти от данной таблицы к следующей таблице по правилам работы с симплекс-таблицей (см. шаг Жордановых исключений).
Замечание: При решении задачи ЛП на максимум целевой функции, ее можно преобразовать в эквивалентную ей задачу на минимум, и решать вышеизложенным методом.
Пример 7
Воспользуемся результатами, полученными в предыдущем примере (см. таблицу 11). Так как в Z – строке есть положительный элемент, то найденный опорный план не оптимален. Поскольку максимальный положительный элемент Z-строки находится в столбце 
, то этот столбец будет разрешающим. Составим отношения свободных членов к соответствующим положительным элементам этого столбца (см. таблицу 12). По наименьшему отношению выберем разрешающую строку. Так как 
, то 
- строка будет разрешающей. На пересечении разрешающего столбца и разрешающей строки найдем разрешающий элемент «1» (См. таблицу 12).
Таблица 12
| СП | ||||
| БП | 1 | x12 | x21 | отношения |
| x11= | 6,2 | 0 | 0,8 | 6,2/0,8 |
| x22= | 6 | 0,5 | 0 | |
| x3= | 3,8 | 1 | -0,8 | |
| x4= | 4 | -0,5 | 1 | 4/1 |
| Z | 61,6 | -6 | 2,4 | |
Шаг Жордановых исключений переводит таблицу 12 в таблицу 13:
Таблица 13
| СП | |||
| БП | 1 | x12 | x4 |
| x11= | 3 | 0,4 | -0,8 |
| x22= | 6 | 0,5 | 0 |
| x3= | 7 | 0,6 | 0,8 |
| x21= | 4 | -0,5 | 1 |
| Z | 52 | -4,8 | -2,4 |
Так как в Z-строке нет положительных элементов, то полученный план оптимален. Найдём его, приравняв свободные переменные к нулю, а базисные переменные – к свободным членам, т. е:
СП: 
БП: 
, следовательно 
и 
.
Так как в Z-строке нет нулевых элементов, то полученный оптимальный план единственен.
Экономический смысл полученного решения задачи примера 2:
для того, чтобы затраты были минимальными необходимо, чтобы оборудование А1 выпускало 3 часа продукцию Р1, оборудование А2 выпускало 4 часа продукцию Р1 и 6 часов продукцию Р2. При этом продукция будет выпущена с минимальными затратами, равными 52 усл. ден. ед. и в заданный срок.
ТРАНСПОРТНАЯ ЗАДАЧА
ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ
Дата добавления: 2018-09-20; просмотров: 352; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!