Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

2к4с Исследование операций / МУ к практической работе 2

.pdf
Скачиваний:
18
Добавлен:
27.11.2024
Размер:
451 Кб
Скачать
☆

допустимых решений (неразрешимость 1). Завер-

шить работу алгоритма 3.

7) Если оптимальное значение целевой функции

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

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

8) Сделать вывод: построена начальная сим-

плекс-таблица для исходной задачи. Завершить рабо-

ту алгоритма 3.

Алгоритм 4 - решение произвольной задачи линейного программирования симплекс-методом

1)Применить алгоритм 1 для построения на-

чальной симплекс-таблицы.

2) Если будет получен вывод: необходимо

применение метода искусственного базиса, то перейти

на пункт 5.

11

3)Реализовать алгоритм 2.

4)Завершить работу алгоритма 4.

5)Применить алгоритм 3 построения началь-

ной симплекс-таблицы методом искусственного базиса.

6)Если будет выявлена в алгоритме 3 нераз-

решимость 1, то перейти на пункт 4, иначе на пункт 3.

Теория двойственности в линейном програм-

мировании

Определение 6. Парой симметричных двойст-

венных задач называются задачи

f (x) (c, x)

max

g(y) (b, y) min

Ax

b

(A)

y

0

x

0

 

AT y

c

Задачи (А), (В) являются взаимно двойственными задачами.

Для построения двойственной задачи рекоменду-

ется выполнить действия:

12

1)Если в исходной задаче требуется максимизи-

ровать целевую функцию, то все ограничения-

неравенства преобразовать к виду « ».

2)Если в исходной задаче требуется минимизиро-

вать целевую функцию, то все ограничения-

неравенства преобразовать к виду « ».

3)Построить двойственную задачу, воспользо-

вавшись таблицей 2.

При этом если исходная задача - это задача (А), то двойственной к ней является задача (В), и наоборот.

Таблица 2

Общая схема построения двойственной задачи

 

Переменные,

Переменные,

Задача (А)

соответству-

соответству-

 

ющие

ограни-

ющие

ограни-

 

чениям

задачи

чениям

задачи

 

(А)

 

(В)

 

f (x) (c, x) max

13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Ai , x) bi , i 1, m1

 

 

 

yi ,i 1, m1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Ai , x) bi , i m1 1, m

yi , i m1 1, m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x j 0 , j 1, n1

 

 

 

 

 

 

 

 

 

 

 

 

 

x j , j 1, n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x j

, j n1

 

 

1,n

 

 

 

 

 

 

 

 

 

 

x j , j n1

1, n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица 3

 

Пример построения двойственной задачи

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Перемен-

 

Переменные,

 

 

 

 

 

 

 

 

Задача (А)

 

 

 

 

ные,

соот-

 

соответст-

 

Задача (В)

 

 

 

 

 

 

 

 

 

 

 

ветствую-

 

вующие ог-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

щие

огра-

 

раничениям

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ничениям

 

задачи (В)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

задачи (А)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x1, x 2 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(y1, y2 , y3 )

 

 

 

 

x1

3x 2

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

6y1 3y2

8y3

 

5x1

4x 2

6

 

 

y1

 

 

 

 

 

 

 

 

y1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x1

x 2

3

 

y2

 

 

 

 

 

 

 

 

y2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

14

7x1 3x 2

8

y3

 

y3

 

 

 

 

 

 

 

 

 

x1 0

 

 

x1

5y1

2y2

7y3

 

 

 

 

 

 

 

x 2

 

 

x 2

4y1

y2

3y3

 

 

 

 

 

 

 

1-я теорема двойственности. Двойственные за-

дачи одновременно разрешимы или неразрешимы. В

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

2-я теорема двойственности. Допустимые реше-

ния двойственных задач являются оптимальными ре-

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

(табл.4): (x,v)+(y,u)=0.

Таблица 4

Условия дополняющей нежесткости

Задача

Канони-

Задача ви-

Каноническая

Условия

вида А

ческая

да В

форма задачи B

допол-

 

форма за-

 

 

няющей

 

дачи А

 

 

нежестко-

 

 

 

 

сти

15

f=(c,x)

f=(c,x)

g=(b,y)

g=(b,y)

min

 

max

max

min

 

 

 

 

Ax b

u

0

y 0

y

0

 

(u,y)=0

x 0

x

0

yA c

v

0

 

(x,v)=0

 

Ax+u=b

 

yA-v=c

 

 

Вторую теорему двойственности можно исполь-

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

Предположим, что исходной является задача (А),

и задано допустимое решение этой задачи x 0 .

Подставим последовательно во все ограничения-

неравенства задачи (А) заданную точку x 0 . Получен-

ный вариант результата подстановки точки x 0 в огра-

ничение задачи (А) найдем в первом столбце таблицы

5. После этого в столбце 2 той же таблицы выберем со-

ответствующий найденному результату вывод.

К полученным в результате сделанного вывода условиям необходимо добавить имеющиеся в задаче

(В) ограничения-равенства, так как точка y0 , будучи

16

допустимой, должна им удовлетворять. Точка x 0 явля-

ется оптимальным решением задачи (А) тогда и только тогда, когда полученная при этом система имеет реше-

ние.

Утверждение 1. Если полученная система имеет решение, то все точки y0 , являющиеся решением этой системы, и только они, будут оптимальными решения-

ми задачи В.

Таблица 5

Схема вывода условий дополняющей нежесткости

при проверке на оптимальность точки x 0 в задаче максимизации

 

 

 

 

 

 

Условия

 

дополняющей

 

 

 

 

 

 

нежесткости

 

 

 

 

 

Варианты результата подстановки

 

Вывод о результате подста-

известной точки x 0

в исходную

 

новки

искомой точки y0 в

задачу, имеющую вид A

 

двойственную задачу вида B.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

f (x0 )

 

(c, x0 )

 

 

 

 

g(y0 )

(b, y0 ) = f (x0 )

u0

 

 

 

 

, x0 ) 0 , i

 

 

 

y0i

 

 

 

b

i

(A

i

1,m

 

 

0 , i 1, m

i

 

 

 

1

 

 

1

17

u0

 

 

 

 

 

 

0 ) 0, i

 

 

 

y0i

 

 

 

 

 

 

 

b

i

(A

, x

1, m

 

 

0, i 1, m

 

 

 

 

i

 

i

 

 

1

 

 

 

 

 

1

 

 

 

 

x0 j

 

 

 

 

 

 

 

 

 

 

 

 

v0

(A j, y0 ) c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 , j 1,

n

0 , j 1,n

 

 

 

 

 

 

j

 

 

 

 

 

1

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0 j

 

 

 

 

 

 

 

 

 

 

 

 

v0

(A j, y0 ) c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, j 1, n

 

0 , j 1, n

 

 

j

1

 

 

 

 

 

 

 

1

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если исходной является задача типа (В) и задано допустимое решение этой задачи y0 , то нужно подста-

вить точку y0 последовательно во все ограничения-

неравенства задачи (В). Для каждого ограничения по-

лучим один из возможных результатов подстановки

(см. в столбце 1 таблицы 6). Далее выберем в столбце

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

точки x0 в соответствующее ограничение задачи (А).

Таблица 6

Схема вывода условий дополняющей нежестко-

сти при проверке на оптимальность точки y0 в задаче

18

минимизации

Варианты результата подстановки

 

Вывод о результате подста-

известной точки y0

в исходную

 

новки искомой точки x0 в

задачу. Исходная задача имеет вид

 

двойственную задачу, кото-

 

рая имеет вид A.

 

 

 

 

 

B.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(y0 )

(b, y0 )

 

 

 

 

 

 

f (x0 )

(c,x0 ) = g(y0 )

yi0

 

 

 

 

 

 

 

 

 

 

 

ui0

 

(Ai ,x0 ) 0, i

 

 

0 , i 1, m1

 

 

 

 

 

 

bi

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yi0

 

 

 

 

 

 

 

 

 

 

 

ui0

 

(Ai ,x0 ) 0, i

 

 

0 , i 1, m1

 

 

 

 

 

 

bi

1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v0

(y0 , A j ) c

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

j

0 , j 1, n

 

0, i 1, n

1

 

 

 

 

j

 

 

 

 

 

1

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v0j

(y0 , A j,) c j

 

 

 

 

 

x0j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,i 1, n1

 

 

 

 

 

0 ,i 1, n1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К полученным в результате сделанного вывода

условиям (табл. 6) необходимо добавить имеющиеся в задаче типа A ограничения-равенства, так как иско-

мая точка x0 должна им удовлетворять. Если получен-

ная при этом система имеет решение, то точка y0 яв-

ляется оптимальным решением исходной задачи вида B.

19

В противном случае точка y0 не является оптимальным решением исходной задачи.

Утверждение 2. Если полученная система разре-

шима, то все точки x0 , являющиеся решением систе-

мы, и только они будут оптимальными решениями двойственной задачи.

Замечание. Если полученная система не имеет решения, то это еще не означает, что двойственные за-

дачи не разрешимы.

ИНДИВИДУАЛЬНЫЕ ЗАДАНИЯ Задача 1. Решите симплексным методом задачу линейного

программирования (x1 ≥ 0, x2 ≥ 0):

1.

 

x1

3x2

 

3

 

 

 

6.

 

 

 

 

 

 

 

 

 

11.

x1

12x2

 

5

 

 

 

 

 

 

 

 

 

 

x1

5x2

5

 

 

 

 

3x 3x

2

24

 

 

7 x1

 

5x2

 

35

 

 

5x 15x

 

 

75

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 x1

 

10x2

50

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

 

 

 

2x1

 

4 x2

 

8

 

 

 

 

4x1

 

5x2

 

20

 

5x1

 

12x2

35

 

 

 

4 x1 6 x2

24

 

x1

2x2

 

 

2

 

 

 

 

 

 

 

 

min Z

 

 

3x1

4x2

 

 

 

 

 

 

1

 

 

 

maxZ x1

 

2x2

 

 

 

maxZ 5x1

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

2.

 

1

x

 

3x

 

 

3

 

 

7.

x1

6 x2

6

 

12.

x1

8

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

 

 

x2

3

 

 

 

 

 

 

 

 

 

5x1

7 x2

 

 

35

 

 

 

 

 

1

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

3x

 

 

3

 

9

 

 

 

 

27

 

 

 

9

 

 

27

 

 

 

2

1

2

2

 

x

x

 

 

3x

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

2

 

 

 

4

 

 

2

 

2

 

3x1

10x2

 

30

 

 

1

 

 

2

 

 

1

 

2

 

 

 

 

11x1

7 x2

 

 

77

 

 

 

x1

3x2

 

 

12

 

 

 

 

 

3x1

 

9 x2

27

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

maxZ x1

 

2x2

 

 

 

min Z

 

 

6 x1

 

2x2

 

min Z

 

3x1

 

x2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

20