каждой свободной клетке соответствует сумма потенциалов, не превышающая тарифа этой клетки, т.е. .

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

Данная теорема носит название теоремы о потенциалах. На ней основан специальный метод решения ТЗ, названный методом потенциалов.

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

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

Общая схема метода.

В начальном опорном плане каждому пункту ставят в соответствие некоторое число, называемое его предварительным потенциалом. Предварительные потенциалы выбирают так, чтобы их разность для любой пары пунктов А_i и В_j , связанных основной коммуникацией, была равна с_i,j . Если окажется, что разность предварительных потенциалов для всех других коммуникаций не превосходит , то данный план перевозок - оптимальное решение задачи. В противном случае указывают способ улучшения опорного плана Т-задачи.

Описание алгоритма метода потенциалов. Алгоритм складывается из предварительного этапа и конечного числа однотипных итераций.

Предварительный этап. С помощью известного метода определяют начальный опорный план Х₀ и вычисляют предварительные потенциалы .

Вычисление предварительных потенциалов производят так. По найденному плану Х₀ строят схему Т-задачи из основных коммуникаций плана.

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

После того как потенциалы всех пунктов найдены, строят матрицу

Если матрица C₁ не содержит отрицательных элементов, то Х₀ - оптимальный план. В противном случае Х₀ - неоптимальный план, который может быть улучшен. Тогда переходят к выполнению однотипных итераций. Цель (k + 1)-й итерации - построение матрицы С_k , а также либо установление оптимальности плана Х_k , либо нахождение более экономичного плана Х_k+1 .

Каждая итерация, кроме первой, где отсутствует первый этап, состоит из двух этапов.

Первый этап . Вычисляют матрицу C_k+1 . Преобразование матрицы C_k в матрицу C_k+1 состоит в следующем. Выбирают наибольший по модулю отрицательней элемент матрицы C_k . Выделяют строку, в которой содержится этот элемент, а множество существенных элементов этой строки. При этом X_k -существенными элементами называют те элементы матрицы C_k , которые отвечают базисным перевозкам плана X_k .

Затем выделяют столбцы матрицы C_k , которые содержат элементы множества X_k -существенных элементов, которые находятся в столбцах матрицы C_k и отличны от элементов множества.

Процесс выделения продолжают до тех пор, пока очередное множество не окажется пустым. Поскольку каждые строка и столбец не могут быть выделены дважды, то весь процесс заканчивается за m+n-1 шагов.

Далее строят матрицу C_k+1 . Для этого наибольший по модулю отрицательней элемент матрицы C_k прибавляют ко всем выделенным столбцам и вычитают из всех выделенных строк матрицы C_k . При этом все выделенные X_k -существенные элементы матрицы C_k остаются равными нулю.

Если все элементы матрицы C_k+1 окажутся неотрицательными, то X_k — оптимальный план, и на этом процесс заканчивается. В противном случае переходят ко второму этапу.

Второй этап . Производят улучшение плана Х_k . Выбирают наибольший по модулю отрицательный элемент матрицы C_k+1 . Затем составляют, применив, например метод вычеркивания, цепочку из положительных элементов плана X_k , которая замыкается на выбранном элементе.

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

Новый план X_k+1 .построен. Он является опорным, так как число его ненулевых перевозок не изменилось.

4. Проверка достоверности полученных результатов

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

Целевая функция считается 2 способами:

1.

2. Пусть минимальным элементом матрицы С^{( k )} оказался элемент с индексами μ, κ, тогда значение целевой функции на этом шаге будет равно:

Если значения не совпадают то, то на экран выводится ошибка.