Борискин М.А.

Расчетное задание №2.

УСЛОВИЕ:
4𝑥 − 2𝑦 − 𝑧 → 𝑚𝑎𝑥
2𝑧 = 4
−𝑦 + 𝑥 = 2
𝑥 ≥ 0, 𝑦 < 0

РЕШЕНИЕ:

Простой симплекс-метод:

1) В данном случае в УСЛОВИИ ЗАДАЧИ присутствует строгое неравенство 𝑦 < 0. Данное условие
говорит о том, что данная задача ЛП не в канонической форме [1]:

Однако ее можно привести к канонической форме [2]:

2) Чтобы привести задачу к канонической форме, согласно [3], [4], необходимо добавить некоторую
константу 𝜀 = 0,001(÷ 0,00000 . . . 1) в зависимости от необходимой точности:
Таким образом, получим:

𝐹 = 4𝑥1 + 2𝑥2 − 𝑥3 → 𝑚𝑎𝑥

2𝑥3 + 𝐴1 = 4
𝑥2 + 𝑥1 + 𝐴2 = 2
𝑥2 − 𝑥4 + 𝐴3 = 𝜀
−𝑥1 + 𝑥5 + 𝐴4 = 0 ,
𝑥i ≥ 0; 𝐴j ≥ 0
{𝑖 = 1,2,3,4,5; j = 1,2,3,4
где:

𝑥4 , 𝑥5 – новые переменные, добавленные с целью привести к канонической форме путем

приведения к равенству соответствующих неравенств;

𝑥1 = 𝑥
𝑥2 = −𝑦

𝑥3 = 𝑧
𝐴1 , 𝐴1 , 𝐴1 , 𝐴1 − искусственные переменные, которые нужны,
так как мы не ровно находим максимальный Z, а только стремимся к нему

Действие с искусственными переменными произведено согласно [5]:

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

переменные, то ответы выходит неверным (получается Fmax = 2, хотя на самом деле Fmax ≈ 6, что
я покажу дальше).
3) Перед составлением симплекс таблицы, выразим:

𝑍 − 4𝑥1 − 2𝑥2 + 𝑥3 + 0𝑥4 + 0𝑥5 + M𝐴1 + M𝐴2 + M𝐴3 + M𝐴4 = 0

4) Составим симплекс-таблицу:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 1 1 0 0 0 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

где Zj – это сложенные значения в соответсвующем j-столбце.

5) Базисные переменные – это переменные, у которых в столбцах все 0, кроме одного элемента:

отмечены желтым цветом:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
-M 4 0 0 2 0 0 1 0 0 0
-M 2 1 1 0 0 0 0 1 0 0
-M 𝜀 0 1 0 -1 0 0 0 1 0
-M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

6) Получим базис, через ненулевые элементы, согласно [2]:

Получим (зеленым цветом):

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 1 1 0 0 0 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

7) Проверим план, который дает такой базис, на оптимальность:

Посмотрим на последнюю строку, в ней есть отрицательные элементы, значит план

неоптимальный, согласно Лемме 4, построенной на определениях 7 и 8 в [2]:

Согласно Шагу 3 в [2]:

обоснование шага 3 содержится в следующих Леммах 5 и 6 их [2].

и тогда, согласно следующим разъяснениям:

возьмем минимальный из отрицательных элементов (бирюзовый цвет), согласно правилу Данцига:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 1 1 0 0 0 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1
8) Таким образом, получим разрешающий столбец (сиреневый цвет):

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 1 1 0 0 0 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

9) Найдем разрешающую строку, путем заполнения последней колонки симплекс-таблицы:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0 ∞
A2 -M 2 1 1 0 0 0 0 1 0 0 2/1=2
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0 𝜀/1=𝜀
A4 -M 0 -1 0 0 0 1 0 0 0 1 ∞
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

10) Теперь согласно [2]:

выберем разрешающую строку по правилу Блэнда (серым цветом):

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0 ∞
A2 -M 2 1 1 0 0 0 0 1 0 0 2/1=2
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0 𝜀/1=𝜀
A4 -M 0 -1 0 0 0 1 0 0 0 1 ∞
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1
Таким образом – разрешающий элемент – элемент на пересечении, то есть: “1”.

11) Согласно алгоритму симплекс-метода, представленному выше, перенесем разрешающую

строку без изменений. А с целью получить x2 в виде базисной переменной, для чего нужно получить
0 во второй строке, мы из строки 2 вычтем строку 3, умноженную на 1:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0 ∞
A2 -M 2 1 1 0 0 0 0 1 0 0 2/1=2
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0 𝜀/1=𝜀
A4 -M 0 -1 0 0 0 1 0 0 0 1 ∞
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1

Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0
A2 -M 2-𝜀 1 0 0 1 0 0 1 0
2 𝜀 0 1 0 -1 0 0 0 0
A4 -M 0 -1 0 0 0 1 0 0 1
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2

Чтобы вместо “1” стоял “0” (во второй строке таблицы первой итерации симплекс-метода), вычтем
из данной строки разрешающую строку, умноженную на 1 (результат вписан выше).
12) Определим базис (выделено зеленым цветом), аналогично тому, как определяли до этого
(выделено желтым цветом):

Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0
A2 -M 2-𝜀 1 0 0 1 0 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0
A4 -M 0 -1 0 0 0 1 0 0 1
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2
13) В последней строке есть отрицательный элемент “-2M + 1”, значит план неоптимальный.

Тогда разрешающим становится столбец, выделенный сиреневым цветом (по правилу Данцига, как
и выше):
Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0
A2 -M 2-𝜀 1 0 0 1 0 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0
A4 -M 0 -1 0 0 0 1 0 0 1
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2
15) Заполним последний столбец, чтобы определить разрешающую строку (серым цветом):

Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 4/2=2
A2 -M 2-𝜀 1 0 0 1 0 0 1 0 ∞
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 0 0 1 ∞
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2
16) Разрешающий элемент – “2”, значит необходимо вновь «сделать нулями» все остальные
элементы данного столбца. Сделаем это путем деления данной строки на 2, так как тогда
коэффициентом М можно будет пренебречь, исходя из вычислений, полученных параллельно.
Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 4/2=2
A2 -M 2-𝜀 1 0 0 1 0 0 1 0 ∞
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 0 0 1 ∞
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2

Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
-1 2 0 0 1 0 0 0 0
A2 -M 2-𝜀 1 0 0 1 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0
A4 -M 0 -1 0 0 0 1 0 1
Z= Zj 0 2 -1 -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((2-
𝜀)*M +
(2-2 𝜀)
Zj - -4 0 0 -M -M 0 0
Cj -2
17) Вновь взглянем на нашу симплекс таблицу. В третьей итерации данной таблицы в базис вновь
войдут переменные (зеленым цветом), у которых в столбцах все элементы, кроме одного, равны
нулю (выделено желтым цветом):
Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 0
A2 -M 2-𝜀 1 0 0 1 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0
A4 -M 0 -1 0 0 0 1 0 1
Z= Zj 0 2 -1 -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((2 -
𝜀)*M +
(2-2 𝜀)
Zj - -4 0 0 -M -M 0 0
Cj -2

18) Заполним последний столбец, чтобы определить разрешающую строку (серым цветом):
Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 0 ∞
A2 -M 2-𝜀 1 0 0 1 0 1 0 (2- 𝜀) / 1 = 2- 𝜀
𝑥2 2 𝜀 0 1 0 -1 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 0 1 ∞
Z= Zj 0 2 -1 -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((2 -
𝜀)*M +
(2-2 𝜀)
Zj - -4 0 0 -M -M 0 0
Cj -2
19) Разрешающий элемент – “1”, значит необходимо вновь «сделать нулями» все остальные
элементы данного столбца. Сделаем это путем прибавления к третьей строке второй строки,
умноженной на 1:
Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 0 ∞
A2 -M 2-𝜀 1 0 0 1 0 1 0 (2- 𝜀) / 1 = 2- 𝜀
𝑥2 2 𝜀 0 1 0 -1 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 0 1 ∞
Z= Zj 0 2 -1 -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((2 -
𝜀)*M +
(2-2 𝜀)
Zj - -4 0 0 -M -M 0 0
Cj -2

Итерация Cj 4 2 -1 0 0 -M bi/(разрешающий
4 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴4
𝑥3 -1 2 0 0 1 0 0 0
0 2-𝜀 1 0 0 1 0 0
𝑥2 2 2 1 1 0 0 0 0
A4 -M 0 -1 0 0 0 1 1
Z= Zj M+2 2 -1 0 -M -M
sum(bi) *
sum(CB) =
2
Zj - M-2 0 0 0 -M 0
Cj

20) Произведем аналогичные операции, окрасим в аналогичные цвета и определим, что

разрешающий элемент – “1”:

Итерация Cj 4 2 -1 0 0 -M bi/(разрешающий
4 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 ∞
𝑥4 0 2-𝜀 1 0 0 1 0 0 ∞
𝑥2 2 2 1 1 0 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 1 0/1=0
Z= Zj M+2 2 -1 0 -M -M
sum(bi) *
sum(CB) =
2
Zj - M-2 0 0 0 -M 0
Cj
21) Получим следующую итерацию симплекс-таблицы, оставив без изменений строки на этот раз,
так как в виду параллельно произведенных вычислений разрешающий столбец уже обладает
только одним значением и нулями в других клетках:

Итерация Cj 4 2 -1 0 0 -M bi/(разрешающий
4 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 ∞
𝑥4 0 2-𝜀 1 0 0 1 0 0 ∞
𝑥2 2 2 1 1 0 0 0 0 ∞
A4 -M 0 -1 0 0 0 1 1 0/1=0
Z= Zj M+2 2 -1 0 -M -M
sum(bi) *
sum(CB) =
2
Zj - M-2 0 0 0 -M 0
Cj

Итерация Cj 4 2 -1 0 0 bi/(разрешающий
5 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5
𝑥3 -1 2 0 0 1 0 0
𝑥4 0 2-𝜀 1 0 0 1 0
𝑥2 2 2 1 1 0 0 0
0 0 -1 0 0 0 1
Z= Zj 2 2 -1 0 0
sum(bi) *
sum(CB) =
2
Zj - -2 0 0 0 0
Cj

22) Произведем аналогичные операции, окрасим в аналогичные цвета и определим, что

разрешающий элемент – “1”:

Итерация Cj 4 2 -1 0 0 bi/(разрешающий
5 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5
𝑥3 -1 2 0 0 1 0 0 ∞
𝑥4 0 2-𝜀 1 0 0 1 0 (2- 𝜀)/ 1 = (2- 𝜀)
𝑥2 2 2 1 1 0 0 0 2/1=2
𝑥5 0 0 -1 0 0 0 1 ∞
Z= Zj 0 2 -1 0 0
sum(bi) *
sum(CB) =
2
Zj - -2 0 0 0 0
Cj
23) Получим следующую итерацию симплекс-таблицы, вычтя из третьей строки вторую строку,
умноженную на 1. И, вычтя из четвертой строки вторую строку, умноженную на -1:

Итерация Cj 4 2 -1 0 0 bi/(разрешающий
5 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5
𝑥3 -1 2 0 0 1 0 0 ∞
𝑥4 0 2-𝜀 1 0 0 1 0 (2- 𝜀)/ 1 = (2- 𝜀)
𝑥2 2 2 1 1 0 0 0 2/1=2
𝑥5 0 0 -1 0 0 0 1 ∞
Z= Zj 0 2 -1 0 0
sum(bi) *
sum(CB) =
2
Zj - -2 0 0 0 0
Cj

Итерация Cj 4 2 -1 0 bi/(разрешающий
6 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥5
𝑥3 -1 2 0 0 1 0
𝑥1 4 2-𝜀 1 0 0 0
𝑥2 2 𝜀 0 1 0 0
𝑥5 0 2-𝜀 0 0 0 1
Z= Zj 4 2 -1 0
sum(bi) *
sum(CB) =
6 – 2* 𝜀
Zj - 0 0 0 0
Cj

24) В последней строке нет отрицательных элементов, значит план ОПТИМАЛЬНЫЙ. Таким
образом, согласно нашему алгоритму симплекс-метода, представленного выше, мы получили
оптимальное решение.

Тогда найдем:

𝑥3 , 𝑥4 , 𝑥1 , путем деления bi на коэффициент перед соответствующими переменными, согласно

третьей итерации таблицы симплекс-метода, представленной выше:
2−𝜀
𝑥1 = =2−𝜀
1
𝜀
𝑥2 = = 𝜀
1
2
𝑥3 = =2
1
𝑥4 = 0
2−𝜀
𝑥5 = =2−𝜀
1
А также в крайняя ячейка крайне строки в третьей итерации симплекс таблицы будет
максимальным значением для F:

𝐹𝑚𝑎𝑥 = 6 − 2 ⋅ 𝜀

Тогда найдем первичные переменные:

𝑥 = 𝑥1 = 2 − 𝜀

𝑦 = −𝑥2 = −𝜀
𝑧 = 𝑥3 = 2
Тогда ОТВЕТ следующий:

𝐹max = 𝐹 (2 − 𝜀, −𝜀, 2) = 6 − 2 ⋅ 𝜀
Лексикографический симплекс-метод:

Возьмем уже полученную ранее каноническую форму:

𝐹 = 4𝑥1 + 2𝑥2 − 𝑥3 → 𝑚𝑎𝑥

2𝑥3 + 𝐴1 = 4
𝑥2 + 𝑥1 + 𝐴2 = 2
𝑥2 − 𝑥4 + 𝐴3 = 𝜀
−𝑥1 + 𝑥5 + 𝐴4 = 0 ,
𝑥i ≥ 0; 𝐴j ≥ 0
{𝑖 = 1,2,3,4,5; j = 1,2,3,4
Согласно [2]:

1) Тогда, выполнив первые два шага по аналогии с представленным выше симплекс методом,
получим следующую симплекс-таблицу (из пункта 8 решения задания обычным симплекс
методом):

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 1 1 0 0 0 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 -1 0 0 0 1 0 0 0 1
Z=- Zj 0 -2M -2M M -M -M -M -M -M
(4+2+𝜀)*M
Zj - -4 -2M - -2M + M -M 0 0 0 0
Cj 2 1
 2) Исходя из следующих определений 10 и 11 и Леммы 7 из [2]:

наша симплекс-таблица является не нормальной, так как:

Для нее справедливо следующее:

𝛼 1 = (0,0,2,0,0,1,0,0,0) - лексикографически положительно

𝛼 2 = (1,1,0,0,0,0,1,0,0) - лексикографически положительно

𝛼 3 = (0,1,0, -1,0,0,0,1,0) - лексикографически положительно

𝛼 4 = (-1,0,0,0,1,0,0,0,1) - лексикографически отрицательно

Согласно Лемме 7, сделаем нашу таблицу нормальной, путем перестановки столбцов 1 и 5 и

перенумерации соответствующих элементов.

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 0 1 0 0 1 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 1 0 0 0 -1 0 0 0 1
Z=- Zj -M -2M -2M M 0 -M -M -M -M
(4+2+𝜀)*M
Zj - -M -2M - -2M + M -4 0 0 0 0
Cj 2 1

𝑠
= 5 − индекс стобца, у которого минимальный отрицательный элемент в последней строке

Новые строки лексикографически-положительны:

 𝛼 1 = (0,0,2,0,0,1,0,0,0) - лексикографически положительно

𝛼 2 = (0,1,0,0,1,0,1,0,0) - лексикографически положительно

𝛼 3 = (0,0,0, -1,1,0,0,1,0) - лексикографически положительно

𝛼 4 = (1,0,0,0, -1,0,0,0,1) - лексикографически отрицательно

Для перехода к пункту 3 и определения разрешающей строки, нам необходимо выделить строку,
которая лексикографически минимальна среди представленных строк, согласно данной формуле:

Для нашего случая получим:

𝛼1 𝛼1
= =∞
𝑧15 0

𝛼2 𝛼2
= = (0,1,0,0,1,0,1,0,0)
𝑧25 1
𝛼3 𝛼3
= = (0,0,0, -1,1,0,0,1,0)
𝑧35 1

𝛼4 𝛼4
= =∞
𝑧45 0
Вычтем:

𝛼 2 − 𝛼 3 = (0,1,0,1,0,0,1, -1,0) – лексикографически больше нуля

𝛼 3 − 𝛼 2 = (0, -1,0, -1,0,0, -1,1,0) – лексикографически меньше нуля

Таким образом условию соответствует только строка 3, которая лексикографически меньше строки
2:

𝛼 3 = (0,0,0, -1,1,0,0,1,0)

Выделено серым цветом:

Итерация Cj 4 2 -1 0 0 -M -M -M -M bi/(разрешающий
1 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴3 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0 0
A2 -M 2 0 1 0 0 1 0 1 0 0
A3 -M 𝜀 0 1 0 -1 0 0 0 1 0
A4 -M 0 1 0 0 0 -1 0 0 0 1
Z=- Zj -M -2M -2M M 0 -M -M -M -M
(4+2+𝜀)*M
Zj - -M -2M - -2M + M -4 0 0 0 0
Cj 2 1

3) Преобразуем таблицу – то есть перейдем к базису:

𝐴1 , 𝐴2 , 𝑥2 , 𝐴4
 Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0
A2 -M 2-𝜀 0 0 0 1 1 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0
A4 -M 0 1 0 0 0 -1 0 0 1
Z= Zj -M 2 -2M -M 0 -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -M 0 -2M + -M -4 0 0 0
Cj 1 -2

𝛼 1 = (0,0,2,0,0,1,0,0)

𝛼 2 = (0,0,0,1,1,0,1,0)

𝛼 3 = (0,1,0, -1,0,0,0,0)

𝛼 4 = (1,0,0,0, -1,0,0,1)
s = 3 – индекс разрешающего столбца (элемента с минимальным отрицательным значением)

Тогда:

𝛼1 𝛼1
= = (0,0,1,0,0,1/2,0,0)
𝑧13 2

𝛼2 𝛼2
= =∞
𝑧23 0

𝛼3 𝛼3
= =∞
𝑧33 0

𝛼4 𝛼4
= =∞
𝑧43 0
Тогда по формуле подходит только строка 1 (выделено серым цветом):
Итерация Cj 4 2 -1 0 0 -M -M -M bi/(разрешающий
2 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴1 𝐴2 𝐴4
A1 -M 4 0 0 2 0 0 1 0 0
A2 -M 2-𝜀 1 0 0 1 0 0 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0 0
A4 -M 0 -1 0 0 0 1 0 0 1
Z= Zj 0 2 -2M -M -M -M -M -M
sum(bi) * -2
sum(CB) =
- ((6-
𝜀)*M +
2*𝜀)
Zj - -4 0 -2M + -M -M 0 0 0
Cj 1 -2
 4) Преобразуем таблицу – то есть перейдем к базису:

𝑥3 , 𝐴2 , 𝑥2 , 𝐴4
Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 0
A2 -M 2-𝜀 0 0 0 1 1 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0
A4 -M 0 1 0 0 0 -1 0 1
Z= Zj -M 2 -1 -M 0 -M -M
sum(bi) * -2
sum(CB) =
- ((2 -
𝜀)*M +
(2-2 𝜀)
Zj - -M 0 0 -M -4 0 0
Cj -2

𝛼1 = (0,0,1,0,0,0,0)

𝛼 2 = (0,0,0,1,1,1,0)

𝛼 3 = (0,1,0, -1,0,0,0)

𝛼 4 = (1,0,0,0, -1,0,1)

s = 4 - индекс разрешающего столбца (элемента с минимальным отрицательным значением).

𝛼1 𝛼1
= =∞
𝑧14 0

𝛼2 𝛼2
= = (0,0,0,1,1,1,0)
𝑧24 1

𝛼3 𝛼3
= = - не подходит по условию
𝑧34 -1

𝛼4 𝛼4
= =∞
𝑧44 0

Тогда по формуле подходит только строка 2 (выделено серым цветом):

Итерация Cj 4 2 -1 0 0 -M -M bi/(разрешающий
3 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴2 𝐴4
𝑥3 -1 2 0 0 1 0 0 0 0
A2 -M 2-𝜀 0 0 0 1 1 1 0
𝑥2 2 𝜀 0 1 0 -1 0 0 0
A4 -M 0 1 0 0 0 -1 0 1
Z= Zj -M 2 -1 -M 0 -M -M
sum(bi) * -2
sum(CB) =
- ((2 -
𝜀)*M +
(2-2 𝜀)
Zj - -M 0 0 -M -4 0 0
Cj -2
 5) Преобразуем таблицу – то есть перейдем к базису:

𝑥3 , 𝑥4 , 𝑥2 , 𝐴4
Итерация Cj 4 2 -1 0 0 -M bi/(разрешающий
4 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴4
𝑥3 -1 2 0 0 1 0 0 0
𝑥4 0 2-𝜀 0 0 0 1 1 0
𝑥2 2 2 0 1 0 0 1 0
A4 -M 0 1 0 0 0 -1 1
Z= Zj -M 2 -1 0 M+2 -M
sum(bi) *
sum(CB) =
2
Zj - -M 0 0 0 M-2 0
Cj

𝛼 1 = (0,0,1,0,0,0)

𝛼 2 = (0,0,0,1,1,0)

𝛼 3 = (0,1,0,0,1,0)

𝛼 4 = (1,0,0,0, -1,1)

s = 1 - индекс разрешающего столбца (элемента с минимальным отрицательным значением)

Тогда:

𝛼1 𝛼1
= =∞
𝑧11 0
𝛼2 𝛼2
= =∞
𝑧21 0

𝛼3 𝛼3
= =∞
𝑧31 0
𝛼4 𝛼4
= = (1,0,0,0, -1,1)
𝑧41 1
Тогда по формуле подходит только строка 4 (выделено серым цветом):

Итерация Cj 4 2 -1 0 0 -M bi/(разрешающий
4 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5 𝐴4
𝑥1 -1 2 0 0 1 0 0 0
𝑥4 0 2-𝜀 0 0 0 1 1 0
𝑥2 2 2 0 1 0 0 1 0
A4 -M 0 1 0 0 0 -1 1
Z= Zj -M 2 -1 0 M+2 -M
sum(bi) *
sum(CB) =
2
Zj - -M 0 0 0 M-2 0
Cj
 6) Преобразуем таблицу – то есть перейдем к базису:

𝑥3 , 𝑥4 , 𝑥2 , 𝑥1
Итерация Cj 4 2 -1 0 0 bi/(разрешающий
5 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5
𝑥3 -1 2 0 0 1 0 0
𝑥4 0 2-𝜀 0 0 0 1 1
𝑥2 2 2 0 1 0 0 1
𝑥1 0 0 1 0 0 0 -1
Z= Zj 0 2 -1 0 0
sum(bi) *
sum(CB) =
2
Zj - 0 0 0 0 -2
Cj

𝛼 1 = (0,0,1,0,0)

𝛼 2 = (0,0,0,1,1)

𝛼 3 = (0,1,0,0,1)

𝛼 4 = (1,0,0,0, -1)
s = 5 - индекс разрешающего столбца (элемента с минимальным отрицательным значением)

𝛼1 𝛼1
= =∞
𝑧11 0
𝛼2 𝛼2
= = (0,0,0,1,1)
𝑧21 1

𝛼3 𝛼3
= = (0,1,0,0,1)
𝑧31 1
𝛼4 𝛼4
= = - не подходит по условию
𝑧41 -1

𝛼 3 − 𝛼 2 = (0,1,0, -1,0) – лексикографически больше нуля

Тогда по формуле подходит только строка 2 (выделено серым цветом):

Итерация Cj 4 2 -1 0 0 bi/(разрешающий
5 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥4 𝑥5
𝑥3 -1 2 0 0 1 0 0
𝑥4 0 2-𝜀 0 0 0 1 1
𝑥2 2 2 0 1 0 0 1
𝑥1 0 0 1 0 0 0 -1
Z= Zj 0 2 -1 0 0
sum(bi) *
sum(CB) =
2
Zj - 0 0 0 0 -2
Cj
 7) Преобразуем таблицу – то есть перейдем к базису:

𝑥3 , 𝑥5 , 𝑥2 , 𝑥1
Итерация Cj 4 2 -1 0 bi/(разрешающий
6 столбец)
Базис CB bi 𝑥1 𝑥2 𝑥3 𝑥5
𝑥3 -1 2 0 0 1 0
𝑥5 4 2-𝜀 1 0 0 0
𝑥2 2 𝜀 0 1 0 0
𝑥1 0 2-𝜀 0 0 0 1
Z= Zj 4 2 -1 0
sum(bi) *
sum(CB) =
6 – 2* 𝜀
Zj - 0 0 0 0
Cj

Больше нет отрицательных значений. Тогда проверка решения на ОПТИМАЛЬНОСТЬ пройдена.

2−𝜀
𝑥1 = =2−𝜀
1
𝜀
𝑥2 = = 𝜀
1
2
𝑥3 = =2
1
𝑥4 = 0
2−𝜀
𝑥5 = =2−𝜀
1
А также в крайняя ячейка крайне строки в третьей итерации симплекс таблицы будет
максимальным значением для F:

𝐹𝑚𝑎𝑥 = 6 − 2 ⋅ 𝜀

Тогда найдем первичные переменные:

𝑥 = 𝑥1 = 2 − 𝜀
𝑦 = −𝑥2 = −𝜀
𝑧 = 𝑥3 = 2

Тогда ОТВЕТ следующий:

𝐹max = 𝐹 (2 − 𝜀, −𝜀, 2) = 6 − 2 ⋅ 𝜀
Согласно [2] лексикографический метод гарантирует конечность, так как базисы не повторяются.

ВЫВОДЫ:

Оба представленных метода позволили достичь оптимального решения за 6 итераций. Решение

оказалось равно:

𝐹 (2 − 𝜀, −𝜀, 2) = 6 − 2 ⋅ 𝜀

в обоих случаях.

Оба метода продемонстрировали конечность, однако защищенность от зацикливания, вызванного

повторяющимся набором базисных переменных, продемонстрировал только лексикографический
симплекс-метод.
 Список использованных источников:

1. И.Х. Сигал, А.П. Иванова – «Методы оптимизации. Начальный курс», [МИИТ, кафедра
«Прикладная математика-1»], М.: 2006.
Доступ по ссылке:
https://miit.ru/content/%D0%A1%D0%BE%D0%B4%D0%B5%D1%80%D0%B6%D0%B8%D0%BC
%D0%BE%D0%B51.pdf?id_vf=13912

2. Е. В. Алексеева, О. А. Кутненко, А. В. Плясунов – «ЧИСЛЕННЫЕ МЕТОДЫ ОПТИМИЗАЦИИ»

[Новосиб. ун-т], Новосибирск: 2008.
Доступ по ссылке:
http://www.math.nsc.ru/LBRT/k5/Plyasunov/Posobie3.pdf

3. AIMMS Modeling Guide – «Formulating Optimization Models»

Доступ по ссылке:
https://download.aimms.com/aimms/download/manuals/AIMMS3OM_FormulatingOptimizatio
nModels.pdf

4. https://math.stackexchange.com/ – «Can a linear program have strict inequalities?»

Доступ по ссылке:
https://math.stackexchange.com/questions/2673917/can-a-linear-program-have-strict-
inequalities

5. N.V.S. Raju – «OPTIMIZATION METHODS FOR ENGINEERS»

Доступ по ссылке:
https://books.google.ru/books?id=-
r1nAgAAQBAJ&printsec=frontcover&hl=ru#v=onepage&q&f=false