logo
Графический метод и симплекс-метод решения задач линейного программирования

2.3 Табличная реализация простого симплекс-метода

Табличную реализацию продемонстрируем на том же примере (2.2)-(2.5).

Шаг 0. Решение начинается с построения начальной симплекс-таблицы. Сначала заполняется правая часть таблицы с третьей колонки. В двух верхних строках записываются имена переменных задачи (x1,...,x4) и коэффициенты целевой функции при этих переменных. Ниже записываются коэффициенты уравнений - элементы матрицы условий А, так что под переменной x1 располагается столбец A1, под переменной x2 - столбец A2 и т.д. В правый столбец заносятся правые части ограничений (числа bi > 0).

Затем находим столбцы матрицы условий, образующие единичный базис - в нашем примере это A3 и A4 - и соответствующие им базисные переменные x3, x4 записываем во вторую колонку. Наконец, в первом столбце записываем коэффициенты целевой функции при базисных переменных.

Таблица 1 - Начальная симплекс-таблица

СБ

Базисные переменные

с1=1

с2=2

с3=0

с4=0

Значения базисных перем. (xБ=b)

x1

x2

x3

x 4

c3=0

x3

a11=-1

a12=2

a13=1

a14=0

b1=4

c4=0

x4

a21=3

a22=2

a23=0

a24=1

b2=12

Строка оценок ?j

?1= -1

?2= -2

?3= 0

?4= 0

f(x)= 0

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

xo = (0, 0, x3, x4) = (0, 0, 4, 12).

Шаг 1. Для проверки плана xo на оптимальность подсчитаем симплексные оценки для небазисных переменных x1 и x2 по формуле 

?j=< cБ, Aj > - cj.

?1 = < cБ, A1 > - c1 = 0 ·(-1) + 0 ·3 - 1 = -1.

При табличной реализации для подсчета оценки ?1 надо найти сумму произведений элементов первого столбца (cБ) на соответствующие элементы столбца A1 при небазисной переменной x1. Аналогично подсчитывается оценка ?2, как скалярное произведение первого столбца (cБ) на столбец при переменной x2.

?2 = < cБ, A2 > - c2 = 0 ·2 + 0 · 2 - 2 = -2.

Симплексные оценки записываются в последней строке симплекс-таблицы, которая называется дельта-строкой. При этом заполняются не только клетки при небазисных переменных, но и базисные клетки. Легко проверить, что для базисных единичных столбцов матрицы условий симплексные оценки равны нулю. В последней клетке строки оценок записываем значение целевой функции в точке xo. Заметим, что, так как небазисные координаты базисного плана равны нулю, то подсчет целевой функции удобно производить по формуле 

f(x)= < cБ, xБ >,

перемножая скалярно первый и последний столбцы таблицы. 

Так как среди оценок ?j есть отрицательные, то план xo - не оптимальный, и надо найти новый базисный план, заменив одну из базисных переменных на новую из числа небазисных.

Шаг 2. Поскольку обе оценки ?1 и ?2 < 0, то в базис можно включить любую из переменных x1, x2. Введем в базис переменную с наибольшей по модулю отрицательной оценкой, то есть x2.

Столбец симплекс-таблицы, в котором находится вводимая в базис переменная называется ведущим столбцом.

В примере ведущим будет столбец при x2.

Шаг 3. Если в ведущем столбце все элементы отрицательны, то решения задачи не существует и max f(x) ???. В примере все элементы ведущего столбца положительны, следовательно, можно найти максимальное значение x2, при котором одна из старых базисных переменных обратится в ноль. Напомним, что максимальное значение x2 = min{4/2, 12/2}=2.

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

Наименьшее отношение находится в строке с базисной переменной x3. Значит переменная x3 исключается из состава базисных переменных (x3 = 0).

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

В примере ведущей строкой будет первая строка.

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

В нашем случае ведущий элемент a12 = 2.

Табл. 2 - Начальная симплекс-таблица с ведущими строкой и столбцом

cБ

Базисные перемен.

с1=1

с2=2

с3=0

С4=0

Значения базисных перем.

Уравнения

x1

x2

x3

x 4

c3=0

x3

-1

2

1

0

4

p1

c4=0

x4

3

2

0

1

12

p2

Строка оценок ?j

?1= -1

?2= -2

?3= 0

?4= 0

f(x)= 0

Шаг 4. Для получения нового базисного плана приведем задачу к новому предпочтительному виду относительно новых базисных переменных. 

Для этого построим новую симплекс-таблицу, во втором столбце которой вместо исключаемой переменной x3 запишем новую базисную переменную x2, а в первом столбце (сБ) вместо с3 запишем коэффициент целевой функции при x2 : c2=2. В новой симплекс таблице столбец при x2 должен стать единичным (ведущий элемент должен равняться единице, а все остальные элементы должны обратиться в ноль). Это достигается следующими преобразованиями строк таблицы.

a. Все элементы ведущей строки делим на ведущий элемент и записываем в той же строке новой симплекс- таблицы.

Полученную строку p1 назовем разрешающей.

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

p2 = p2 + (- 2) p1 = p2 - p1.

c. Заполним последнюю строку, вычислив оценки ?j = < cБ, Aj > - - cj, где cБ, Aj - соответствующие столбцы новой симплекс-таблицы, и значение целевой функции f(x)= < cБ, xБ >.

Получим вторую симплекс-таблицу с новым базисом.

Таблица 3 - Результат первой итерации

cБ

Базисные перемен.

с1=1

с2=2

с3=0

с4=0

Значения базисных перем.

Уравнения

x1

x2

x3

x 4

c2=2

x2

-1/2

1

1/2

0

2

p1 =p1/2

c4=0

x4

4

0

-1

1

8

p2 =p2 - p1

оценки ?j

-2

0

1

0

f(x)=4

Новый базисный план x = (0, x2, 0, x4) = (0, 2, 0, 8).

Поскольку оценка ?1= -2 < 0, то план x не оптимален. Для перехода к новому базисному плану (соседней угловой точки) проведем еще одну итерацию симплекс - метода. 

Так как ?1 < 0, то в базис вводится переменная x1. Первый столбец, содержащий x1 - ведущий.

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

Выделяем ведущий столбец и ведущую строку и на их пересечении находим ведущий элемент (= 4).

Строим новую (третью) симплекс-таблицу, заменяя в ней базисную переменную x4 на x1, и снова преобразуя строки таблицы таким образом, чтобы ведущий элемент стал равным единице, а остальные элементы ведущего столбца обратились в ноль. Для этого ведущую (вторую) строку делим на 4, а к первой строке прибавляем полученную вторую строку, деленную на 2. Последнюю строку вычисляем по формулам для симплексных оценок ?j = < cБ, Aj > - cj, где cБ, Aj - соответствующие столбцы новой симплекс-таблицы. Значение целевой функции на новом базисном плане находим по формуле f(x)= < cБ, xБ >.

Таблица 4 - Результат второй итерации

cБ

Базисн. перемен.

с1=1

с2=2

с3=0

с4=0

Значения базисных перем.

уравнения

x1

x2

x3

x 4

c2=2

x2

0

1

3/8

1/8

3

p1=p1+p2/2

c1=1

x1

1

0

-1/4

1/4

2

p2 = p2/4

оценки ?j

0

0

1/2

1/2

f(x)= 8

Новый базисный план x = (x1, x2, 0, 0) = (2, 3, 0, 0). Поскольку все оценки неотрицательны, то план x - оптимальный план.

Таким образом, x* = (2, 3, 0, 0), f(x*) = 8.