1. Метод потенциалов для решения транспортной задачи линейного программирования.

Метод позволяет находить оптимальный план перевозок транс­портной таблицы. В основе лежит следующая теорема.

Теорема. Для того, чтобы некоторый план img01 транспортной задачи был оптимальным, необходимо и достаточно, чтобы ему соответствовала такая система m+n чисел img02, для которой выполняются условия:

img03,  img04, img05,                             (1)

img06,  img07.                                         (2)


img08 и img09 называются потенциалами соответствующих пунктов отправления  и пунктов назначения. Условия (1)-(2) называются условиями потенциальности.

План img10 будем называть потенциальным, если для него существует система img11 и img12, удовлетворяющая (1)-(2). Тогда теорема коротко формулируется следующим образом.

Теорема. Для оптимальности плана транспортной задачи необходимо и достаточно, чтобы он был потенциален.

Доказательство:

Достаточность. Пусть план img13 потенциален, так что существует система img14 и img15, удовлетворяющая (1)–(2). Тогда для любого допустимого плана img16

img17

img18 для потенциального плана

img19

img20,

т.е. стоимость перевозок по любому плану img21 не меньше стоимости перевозок по потенциальному плану img22. Следовательно, план img23 оптимален.

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

img24

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


0=
img25
0=
img26
0=
img27
0=
img28
0=
img29
0=
img30
img31
1
x11  y11 = -1 0 0 1 0 0 c11
x1n  y1n = -1 0 0 0 0 1 c1n
xi1  yi1 = 0 -1 0 1 0 0 ci1
xij  yij = 0 -1 0 0 1 0 cij
xin  yin = 0 -1 0 0 0 1 cin
xm1  ym1 = 0 0 -1 1 0 0 Cm1
xmn  ymn = 0 0 -1 0 0 1 Cmn
1   w= a1 ai an b1 bj bn 0

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

Получаем, что двойственная задача имеет вид:

img32

при ограничениях

img33,   img34, img35,

т.е. img36,   img37, img38.

     Пусть img39 – оптимальное решение транспортной задачи. Тогда на основании первой теоремы двойственности двойственная задача имеет оптимальное решение

img40.

Убедимся, что эти числа являются потенциалами соответствующих пунктов транспортной задачи. Действительно, все img41 как опорное решение двойственной задачи удовлетворяют неравенствам (1).

     Если img42, то по второй теореме двойственности соответствующее ограничение двойственной задачи

img43

обращается в строгое равенство

img44.

Теорема доказана.


Алгоритм метода потенциалов


Алгоритм метода потенциалов состоит из предварительного этапа и повторяющегося основного этапа.

Предварительный этап.

  1. Каким-либо способом ищется допустимый план img45 (методом северо-западного угла или минимального элемента).

  2. Для полученного плана строится система m+n чисел img46, img47, таких, что img48,  img49.

  3. Построенная система img50 и img51 исследуется на потенциальность, то есть, план img52 исследуется на оптимальность. Для этого проверяется img53, img54.

    Если система не потенциальна, то переходят к основному этапу (т.к. план не оптимален), иначе оптимальный план найден.

Основной этап.

  1. Улучшаем план, то есть от плана img55 переходим к плану img56 такому, что img57.

  2. Для плана img58 строим новую систему img59, img60, img61, такую, что img62,  img63.

  3. Исследуем систему img64 на потенциальность. Если система не потенциальна, то переходим на п.1. Иначе найден оптимальный план.


Определение 4. Допустимый опорный план транспортной задачи называется невырожденным, если число заполненных клеток транспортной таблицы, т.е. число положительных перевозок img65, равно img66, где  img67 – число пунктов отправления, img68– число пунктов назначения.

Определение 5. Если допустимый опорный план содержит менее img69 элементов img70, то он называется вырожденным, а транспортная задача называется вырожденной транспортной задачей.

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

Теорема. Для невырожденной транспортной задачи необходимо и достаточно отсутствие такой неполной группы пунктов производства, суммарный объем производства которой точно совпадает с суммарными потребнос­тями некоторой группы пунктов потребления.

Другими словами, это условие означает, что для любых двух систем индексов img71, img72, где img73, имеет место неравенство img74. (Доказательство не сложно, от противного.)


     Для решения транспортной задачи методом потенциалов строится система потенциалов img75,  img76. Если опорное решение невырожденно, то число неизвестных на 1 больше числа уравнений. При вырожденном опорном решении число этих уравнений еще меньше. По аналогии симплекс-методом, в невырожденном решении img77 представляют собой базисные переменные, а img78 – небазисные. Если опорное решение вырожденно, то часть базисных переменных принимает нулевые значения.

     Пусть первое опорное решение, найденное методом северо-западного угла или методом минимального элемента, является вырожденным. Тогда, чтобы решать задачу методом потенциалов необходимо выбрать в качестве базисных переменных некоторые перевозки img79 и для них также составить уравнения img80 по условию (2) теоремы. Какие перевозки вида img81 включать в базисные? Выбираются такие клетки таблицы с img82, чтобы из базисных переменных нельзя было организовать ни одного цикла!

     При переходе к новому улучшенному плану задачи в небазисные переменные переводится перевозка из отрицательной полуцепи, которая находится следующим образом: img83. В вырожденной задаче это значение может достигаться на нескольких перевозках img84 отрицательной полуцепи. В этом случае на каждом шаге в небазисные переменные переводится та минимальная перевозка отрицательной полуцепи, которая связана с пунктом производства, имеющим меньший номер. Это правило уменьшает вероятность возникновения зацикливания, что само по себе достаточно редкое явление в практических задачах.


Hosted by uCoz