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

книги из ГПНТБ / Говар В.М. Математическое программирование учеб. пособие

.pdf
Скачиваний:
12
Добавлен:
23.10.2023
Размер:
7.19 Mб
Скачать

80 Если сложить первые два неравенства как прямой задачи,так

и двойственной, то в обоих случаях полученные противоречия ука­ зывают на отсутствие планов у взаимно-действенной пары задач; графически это показано на рисунках (6.5) и (6 . 6) .

Экономическая интерпретация первой теоремы двойственности Оптимальный план производства существует в том и только л том случае, если все факторы производства имеют оценки. При лю­

бых/ оценках производственных факторов (составляющих решение двой­ ственном задачи) оценка продукта, полученного реализацией любого оптимального плана производства, совпадает с суммарной оценкой имеющихся ресурсов.

 

Перейдем к рассмотрению второй теоремы двойственности.

 

Определение

I .

 

 

 

 

m

 

 

 

 

 

Ограничения

(6.3)

х .

> 0

и

(6.5)

а--

У • >

с ;

 

Т~

при

фиксированном

 

J-

-

 

',

:ТГ

1*

L

-

г

значении

индекса

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

(6.2)

 

7

a., x , ^

в-

и (6.6)

У-

0

при фиксированном

зна-

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

 

взаимно-сопряжѳнных задач

(6.1)

-

(6.3)

и (6.4)

-

(6.6).

 

Определение 2.

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

*Определение 3.

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

Теорема 2.

Если взаимно-двойственные задачи (6.1) - (б.З) и ( б . 4 ) - ( 6 . б )

разрешимы, то в каждой паре их двойственных условий дано условие

свободное,

а другое закрепленное.

 

 

 

 

 

 

 

 

Следствие

I .

 

 

 

 

 

 

 

 

 

 

 

 

 

Если в

паре двойственных условий

ограничение

(б.2)-свободное

 

 

 

г.

 

 

 

 

 

 

 

 

 

 

 

 

то

есть

}.._.

а :

х*

^

' в . ,

то

условие (6.6) -

закрепленное,

то

есть

У*

 

=

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

і

 

 

 

'

 

 

 

 

 

 

 

 

 

 

Экономически это означает, что в оптимальном плане недоис­

пользованный ресурс имеет нулевую оценку.

 

 

 

 

 

Следствие

2.

 

 

 

 

 

 

 

ч

 

 

 

 

 

Если в паре двойственных условий

ограничение (6.2)-закреплен-

ное,

то

есть

/"_

 

а,--

х.к

= в.

,

то условие ,(б.ь)

-

св'обод-

ное,

то

есть

 

>/-'

 

-'

/

 

і-

 

-

 

У.*

-, 0.

 

 

 

 

 

 

 

 

 

 

Экономически это означает, что в оптимальном плане лимитиру­

ющий ресурс

получает

 

положительную

 

оценку.

 

 

 

 

 

Экономически

ато

означает,

что

в

оптимально!.; плапс

лимити­

рующий ресурс получает положительную оценку.

 

 

 

 

 

Следствие

3-

 

 

 

 

 

 

 

 

 

 

 

то

 

Если в паре действенных условий ограничение

(6.3)-свободное,

есть

X . * >

0,

то

ограничение

(6.5)

- закреплекное.тс

есть

11-.ѴЮ

У

 

 

 

 

 

 

 

 

 

 

 

î

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Экономический смысл заключается в следующем. Если продукт j, -го нида по оптимальному плану должен производиться, то суммарная оценка ресурсов, расходуемых на этот продукт, строго равна сто­ имости его реализации.

Следствие

4.

 

 

 

 

Если

в.паре

двойственных

условий ограничение (6.3) -

закреп­

ленное,

то

есть

х^

= 0,

то

ограничение (6.5) свободное,

то

есть

./ .

а;.

У '

ч

с:

 

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

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

- 83 -

S ?. МЕТОД ПОСЛЕДОВАТЕЛЬНОГО УТОЧНЕНИЯ ОЦЕНОК

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

Вметоде последовательного-улучшения плана .на каждой итера­ ции получаемое базисное решение должно быть допустимым. Допусти­ мый план удовлетворяет всем ограничениям задачи линейного про­ граммирования при обязательном условии неотрицательности свобод­ ных членов.

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

Симплексную таблицу будем называть двойственно-допустимой, если коэффициенты ее индексной строки удовлетворяют условию оптимума, то есть они неотрицательные npHjpemeHHH на максимум и непо­ ложительные при решении на минимум.

 

Алгоритм метода ПУО

 

I .

Систему

ограничений исходной

задачи линейного программи­

рования

приводим

к неравенствам

вида

(не больше), не обра­

щая внимания на

знаки свободных

членов ограничений, и вводим до ­

полнительные переменные. Составляем исходную симплексную таблицу.

Если эта таблица

н е является двойственно-допустимой,

so методом

последовательного

улучшения плана добиваемся; чтобы в

индексной

строке в с е коэффициенты удовлетворяли условию оптимума, при этом

• - 8f -

Если полученная двойственно-допусиімая симплексная таблица одно­ временно является и допустимой, то задача решена и оптимум най­ ден. При получеши псевдоплана переходим ко второму пункту алго-

 

 

 

 

 

 

 

I

 

 

 

ритма.

 

 

 

 

 

 

 

 

 

 

2.

В двойственно-допустимой

симплексной таблице

из

отрица­

тельных

значений

B J , B 2 ,

В | 7 1

выбираем

наибольшее

по

абсолют­

ной величине число.

 

 

 

 

 

 

 

Если таковым является коэффициент в.

, то строку,содержащую

его", называем ключевой.

 

 

 

 

 

 

3 .

В ключевой строке находим тот из отрицательных коэффици­

ентов,

для

которого

при

решении

на

максимум наименьшим является

 

 

л

 

 

 

 

 

 

 

1

отношение

( — | ^

) ,

а

при решении

иа минимум наименьшим (ОТ^ О *

Тогда у

-тый столбец будет являться ключевым. Если же в ключевой

строке

все

элементы

а ^

неотрицательны,

то исходная

задача не­

разрешима.

 

 

 

 

 

 

 

 

 

4.

На пересечении

ключевых* рядов определяем генеральный

элемент и преобразуем симплексную таблицу согласно методу Жордана-

Гаусса,

накапливая нули

в

столбце,находящемся' под ключевым.

5.

Повторяем пункты 2 - 4

алгоритма до тех пор, пока двой­

ственно-допустимая таблица не станет и допустимой.

Пример.

 

 

 

 

 

 

 

 

Найти ( 7 . 1 )

~'|_

С X ) =

IOXJ + І 2 х 2

—> min

при следующих

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

 

 

 

 

 

 

 

 

( 7 . 2 )

/

Xj + 4 х 2

 

^

12,

 

 

 

^

2XJ +

х 2

 

^

6,

 

 

( 7 . 3 )

 

Х І

-

®

И

х 2 -

0

 

 

Решение.

 

 

 

 

 

 

 

 

Систему

неравенств

( 7 . 2 )

преобразуем

к виду

(7.4)

( 7 .4)

Г - Х і . - 4 Х 2

4

 

- 1 2

»

 

 

J-2XJ - х 2 ^

- 6 ,

 

 

 

 

 

-

85

-

 

 

 

 

 

Вводим дополнительные переменные

 

и х^,

которые и прини-

маем за

базисные:

 

 

 

 

 

 

 

 

 

(7.5)

f- xj

-

4 Х 2 + Xj

 

 

=

-

12 ,

 

 

 

l - 2 X j -

x2

 

+ Х „

 

 

 

 

 

 

Используя условия (7 . Ï),

(7.3) и (7.5), составляем исходную

симплексную таблицу

(7.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таблица

7.1

jБазисные

Свободные

j

. X

I

x 2

 

x 3

x 4

с к с

переменные

 

члены

 

 

Г

 

'

 

 

і

 

 

 

 

 

 

 

 

 

-

12

i

-

I

О

 

I

0

-16

 

 

 

1

 

 

 

 

-

6 î1 - 2

-

I

ô

I

\ - 8

1 ( X )

 

 

. 0 1 -10

-12

 

0

0

-22

Ѳ

 

 

 

 

 

 

 

3

 

-

-

-

 

 

 

 

 

 

 

 

 

 

 

 

В таблице 7.1

в индексной

строка все коэффициенты неполо­

жительны. Так как задача решается на минимум, so таблица являет­ ся двойственно-допустимой. Среди свободных членов есть отрицатель­ ные, т.е. мы имеем-дело с псевдопланом, поэтому переходим ко вто­ рому пушту алгоритма. Из отрицательных коіффициѳнтов (-12) и (-6) наибольшим по абсолютной величине является коэффициент в строке Xj, поэтому ее и выбираем за ключевую.

Таблицу дополняем снизу строкой Q . Заполнение ее проводим по третьему пункту алгоритма.

і п і п ( 4 £ * I r J 2 - = т Ш ( і о ; 3 )

= з .

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

- 86 -

На пересечении ключевых рядов находим генеральный элемент (-4).

При этом из базиса исключается переменная х^ и вместо нее вводит­

ся переменная х^. Разделив ключевую строку на генеральный элемент,

получим направляющую строку последующей симплексной таблицы, в ко­

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

Гаусса, накапливаем нули. Полное решение задачи приведено в сим­

плексных таблицах (7.2). Последняя таблица является

одновременно

двойственно-допустимой

и допустимой, следовательно,

задача решена

и минимум функции цели

найден.

 

Базисные

'Свободные

 

 

:

x 2

 

 

i

 

I

 

x 3

перемен­

члены

X

 

ные

 

 

 

 

 

 

 

 

 

<—

х^

 

-12

- I

 

 

@

 

.1

 

 

H

 

- 6

• -2

 

I1 - I

.t

0

 

L (X)

0

 

 

1

 

 

0

 

-10

 

!

-12

1

i1

 

е -

 

-

10

i

3

 

-

Х 2

з

•0,25

 

 

 

-0,25

<—

 

н

-3

-7

1

•o

 

-0,25

 

(X)

36

û

 

-3

 

 

Ѳ

 

_

(

4

1

•-

 

12

 

 

 

 

 

 

 

-

2_

 

Х

2

i f

 

0

 

 

 

 

 

 

 

1

 

7

 

~ Х І

 

 

I

0

 

-

f

 

 

 

 

 

 

 

L

CP

48

 

0

 

0

 

j" -2

 

Таблица 7.2

• --t

4С К С

-1

0

;

- і б

I

І

- 8

о

-22

i

-

I

о

 

I

-4

0

26

-

-

4

 

+•

 

~7~

 

-4

42

Эту задачу можно было бы решить также и методом искусствен­

ного базиса.

 

Примечание

I .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Псевдоплан

соответс твует точке

 

пересечения

ft

независи­

мых гиперплоскостей, из которых

m

 

гиперплоскостей

отвечает

условиям

2 _

а^?

= в-^

,

где

,

=

1,2, . . .

,.щ

» а

Л-ІЯ

соответствую/свободным-переменным.

 

В общем случае

точка

 

X,

соответствующая

псевдоплану,

лежит вне выпуклого

многогранного

множества

W

условий-ограничений

 

задачи.

 

 

 

 

 

 

 

Таким образом, в методе

ПУО приближение

к оптимальному

 

плану осуществляется не изнутри многогранного

множества ѵ /

,

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

 

 

 

Примечание

2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если-в исходной системе ограничений имеются и уравнения

вида

 

а

Х І +

a L2 х 2 +

**« +

а х л

=

*1

'

 

 

 

 

 

 

то каждое

такое

уравнение .можно представить в виде двух

неранев>

ств

противоположного смысла:

 

 

 

 

 

 

 

 

 

 

 

 

I

а і І х І + а

[ 2Х2 +

+ " а ІПХ 1 ^ B t •

 

 

 

 

 

 

 

 

a-^Xj.t

а . 2 + . . .

+ a - n х„

>

в.: ,

 

 

 

 

 

 

и при решении задачи линейного

программирования методами

ПУО пре­

образовать

их к виду :

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

а і Д х І

+ а

L2X2 +

*** +

a'i.n X f l

-

 

в і -

 

 

 

 

 

 

 

-a.^jXj

— а^ 2^2.

• *•

^іП

 

^

с '

 

 

 

 

 

 

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

 

 

 

 

 

 

'

Такой

прием позволяет избежать

введения в задачу

искусствен­

ных переменных',

но при этом происходит

возрастание

числа

ограни­

чений

задачи

линейного

программирования..

 

 

 

 

 

 

 

Примечание

3.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для приведения системы

уравнений к системе

неравенств

суще­

ствует

и другой

путь. Предположим,

что система ограничений

задана

в" виде

(7.ь).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

88 -

 

 

 

 

(7,6)

 

a I I * I * A I 2 X 2

ІП n

 

 

 

 

 

 

 

 

 

 

 

 

a m I X j + a^Xg + . . . + amxn

=

um •

 

Тогда ІІЫ кожей запенить

каждое

уравнение

неравенством со

знаком

11

а сумму уравнений записать, с противоположным

знаком

"

^

"« Тогда

система

уравнений

(7.6)

может быть замене­

на системой

неравенств

(7.7)

 

 

 

 

 

а 2 І х І * a2.2?2 +

••• + а Х л -

в 2

 

 

<

 

 

 

 

 

(7.7)

a^X j + в(п^г

+

. . . + a m n

хп^

в*п ,

,

 

t1

m

 

 

m

«n

 

( I I a Т ) х Т + ( j : аі 2 >х 2 +

— . +

С 2 Z а і п

в.

 

Использование этого

приема позволяет избежать

введения.в

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

Заканчивая рассмотрение задач, решаемых различными модифи- . нациями симплексного метода, остановимся на рассмотрении трех

основных

форы.

 

 

 

 

 

 

I .

Задача

линейного программирования, заданная в произволь­

ной форме, записывается в виде (7.8)

- ( 7 . I I )

(7.8)

L

С» -

А- ° Л

(пик (или

rrùn )

при следующих ограничениях:

 

 

 

 

(7.9)

 

а?

t

»

где.!

1,2,

к

 

 

4= в

 

 

(7.10)

^

а.^

х^. = в-

;

где і

=

к+І,

к+2,

(7.11)

7 X | è O

. г д е ;

=

1,2,

. . . , П

 

-89-

2.Задача линейного программирования, заданная в симметрич­

ной форме, записывается в виде (7.12) - (7.14). (7.12) L (X) = 2-1 с. х . - ^ . mux (или m . л )

 

,,

 

 

 

Ул

*

*

 

 

 

 

 

(7.13)

21

а

; ,

х-

^

в-

 

,

где ^ =

1,2,

. . . , т

 

;-./

У

^

 

ь

 

 

 

 

 

 

(7.14)

 

Xj, .^-

Ü,

где] ,

=1,2, . . . , n

 

3.

Задача

линейного программирования,

заданная в каноничес­

кой форме,

записывается

в виде

(7.15)

-

(У.17)

 

 

 

 

 

и

 

 

 

 

 

 

 

(7.15)

І

(X) =

1_.

с. х- —' ma»

(или пил)

(7-Іь)

2_.

 

а-,

х-

=

в.

,

где I

-=

1,2,

(7.17)

 

 

Xj_

^

0

 

,

где ^

=

1,2, . . . . п

 

Задача линейного программирования в симметричной форме записи

вида

(7.12)

-

(7.14)

может быть приведена к канонической форме

вида

(7.18)

-

(7.20)

путем добавления дополнительных переменных

у.

^

0,

где

I - 1,2,

. . . , т

, то

есть

 

(7.18)

L

 

(X) =

я

с. х;—> те м

(или т^п

)

 

2—

 

 

_h_

 

 

У1

 

*.

1

 

 

 

 

(7.19)

2 _

 

а -

Х | +

 

 

=

г Д е

і,

= 1.2,

 

(7.20)

Г

 

х^

À

0,

 

где j,

=1,2,

. . . , П

 

 

Точно также задача линейного программирования в каноничес­

кой форме записи вида (7.15) - (7.17) может быть

приведена к сим­

метричной форме в виде

(7,21) -

(7-24);

 

 

 

 

 

 

 

 

 

h

 

 

 

 

 

 

 

(7-21)

L

(X) =

Z I

с-

х- -^» max (

или mm)

(7.22)

>_ а-г

X.

^

g

 

, где

l = 1,2, ... , ^

(7.23)

-

I=f(

V

a u )

 

х Л ^ - ^ 6 ,

 

 

(7.24)

 

 

Xj_

^

0,

где j , = 1,2,

 

 

 

 

При этом система ограничений (7.22) - (7.23)

эквивалентна

системе

ограничений

вида

(7.7).

 

 

 

 

Соседние файлы в папке книги из ГПНТБ