Файл: Голенко Д.И. Статистические модели в управлении производством.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 166

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

первом. Величина в показывает, что рассматриваемый метод при реализации на одной ЭВМ за определенное машинное время дает тот же результат, что и в парал­ лельно работающих ЭВМ, на которых задача решает­ ся слепым поиском. Поскольку эффективность методов, как правило, зависит от объема задачи, то для срав­

нения

различных

методов

поиска и выбора одного

из

них для решения

каждой

конкретной

задачи

очеред­

ности

необходимо

строить

зависимость

в = /(7п,

п),

ко­

торая

является полной характеристикой эффективно­

сти метода.

 

 

 

 

 

В

предыдущих

параграфах данной

главы

описан

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

рода

«гибридизации»

детерминированных

и

статисти­

ческих методов.

 

 

 

 

 

 

 

Ниже строятся алгоритмы последовательного улуч­

шения

плана

(порядка

обработки

деталей),

сочетаю­

щие случайный выбор

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

с

анализом

вариантов ее

«исправления».

 

 

 

 

Рассмотрим формальную постановку задачи очеред­

ности

на матричной математической модели. Для

этого

введем

определения:

 

 

 

 

Путем на произвольной

матрице

\\йм\\ (І=

1, 2, ... , m,

k = \,

2 , . . . , n)

называется

сумма (m + n

1)

слагаемых,

составленных таким образом, что первое

слагаемое

равно

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

атп

 

и любые

два

рядом

втоящих

слагаемых расположены либо в одной строке, либо в одном столбце матрицы. Другими словами, путь обра­

зует сумма

элементов

матрицы,

 

расположенных

по

«лестнице»,

ведущей из

ап

в

атп.

 

 

 

 

 

Критическим

путем

F(\\aik\\)

на

матрице ||а,-ь|| назы­

вается путь, который

не

меньше

любого другого

пути

на

данной

матрице, а

слагаемые

этого

пути

называют­

ся

критическими

элементами.

 

 

 

 

 

 

 

Рассмотрим множество Q, состоящее из п! матриц,

образованных

из исходной

матрицы

||аг -й || путем

про­

извольной

перестановки

столбцов.

Каждый

элемент

этого множества Цая || может быть

однозначно охарак­

теризован

перестановкой

 

n—{iu-k,

•••,*«)>.

указываю-


щей порядок

следования

столбцов исходной матрицы,

т. е.

 

 

 

 

O l t j >

ali2

>•••> aUn

 

^ 2 І ! ,

# 2 t 2

>•••> а 2 і „

а"

=

 

 

Решением задачи очередности является такая пере­ становка я*, что

/•(||a"*||)=minF(||a«||).

Пая и e Q

В дальнейшем предполагается, что исходная мат­ рица \\аш}\ фиксирована, и для обозначения какогонибудь пути на матрице \\аік\\ употребляется запись /л, а для обозначения конкретного пути, соответствую­

щего

некоторой

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

а-элементов на

||ая || запись fa{n).

Вместо ^(Ца1 1 !!)

для простоты будем

использовать символ F(jt) либо

(если

не

возникнет

двусмысленности)

просто F.

 

 

 

Чтобы продемонстрировать удобство введенных по­

нятий,

покажем

оптимальность алгоритма

Джонсона

для задач очередности с матрицей

2Хп.

 

Оптимальность

алгоритма Джонсона.

Не

уменьшая

общности, можно

считать столбцы матрицы

2 Х п пе­

ренумерованными

так, что последовательность

1,2, . . . , , п

определяет порядок, указанный Джонсоном. Непосред­

ственно

из алгоритма

следует, что всегда

найдется та­

кое

k(l^k^.n

последний

невычеркнутый столбец),

что

 

 

 

 

 

 

 

 

 

 

 

і аіа^а^;

 

а2а'<

 

« і р ^ й з р ,

если

a<fi<k

(2.6.1)

I а 2 а ^ а 2 р ; a2a^ala;

а 2 р ^ а Ц } ,

е с л и

a > P > f e -

 

Пусть

критическим

путем

 

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

1, 2 , . . . ,

п является

 

 

 

 

 

 

 

 

 

 

 

F = S аи+

2

a2i

 

 

 

 

(2.6.2)

 

 

 

1=1

 

l=z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Чтобы доказать оптимальность исходной последо­

вательности,

достаточно

показать,

что

 

произвольная

последовательность столбцов i\, i2,...,

t n

содержит

путь

}~^F.

С этой

целью

рассмотрим

отдельно

случаи

z = k

z>k,

z<k.

 

 

 

 

 

 

 

 

 


При

z = k

определяем

 

для

 

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

г'ь к,...,in

 

такую

величину

у,

что

iy = k, и,

 

используя

(2.6.1)

и

(2.6.2),

немедленно

получаем

 

 

 

 

 

 

 

 

fy=

V

 

 

п

ац

>F.

 

 

 

 

 

 

 

 

 

2 а«

 

+

2

 

 

 

 

(2.6.3)

При

 

 

 

j=l

 

j = Y

 

 

 

 

 

1,2,

 

 

выделяем

 

из

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

множество

 

Q=(t,

t + l,

t+2,...,t

 

+ m),

где

 

 

 

 

 

,

 

( k,

если

 

a2k^aik

 

 

 

 

 

 

 

 

 

 

 

 

( « + 1 ,

если

a2ft>aift

 

 

 

 

 

iy

 

 

Далее

определяем

величину

у

так,

чтобы

 

явля­

лось последним

элементом

 

из

множества

 

Q в

ряду

h, Ї2,--.,іп.

 

Из (2.6.1) и (2.6.2) следует, что для опре­

деленной таким образом у неравенство (2.6.3)

всегда

выполняется.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При

z<k

множество

Q

определяем

так,

что

 

 

 

t = z

и t + m =

 

k,

если

 

aih<a2k

 

 

 

 

 

k—l,

 

если

 

aik>a2k,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а у является индексом

 

первого

в

ряду i\, i2,...,

i n

эле­

мента из Q. Нетрудно определить,

что и в этом

случае

(2.6.3)

также имеет

место.

Из

рассмотрения

 

этих

случаев

делаем

заключение,

что

алгоритм

Джонсона

определяет

 

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

 

столбцов

для матриц

2 Х « .

 

 

 

 

 

 

 

 

 

 

т,

п ~>2,

Для

задаче

матрицами

Ца^-Цтп, имеющими

 

в настоящее время неизвестен практически

 

реализуе­

мый метод

 

нахождения

оптимальной

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

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

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

произвольная

перестановка

я =

i2,...,

 

in) и

соответ­

ствующая

ей

матрица

||ал |].

Используя

алгоритм

Фор­

да

[2.26],

определим F(n)

и

выпишем

критическую

по­

следовательность элементов

(если

критических

после­

довательностей

несколько,

 

то выбираем

любую

из

них). В указанной последовательности

отметим номе­

ра

столбцов,

которые

встречаются

более

одного

раза

(т.

е. столбцы,

содержащие

более чем

один

элемент

из

критической

последовательности).

 

 

 

 


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

разделяющие

блоки, назовем

критическими

столбца­

ми. Матрица, состоящая из т строк, содержит

не бо­

лее т—1 критических столбцов

и не

более т

блоков.

В качестве примера найдем критические столбцы и

блоки для матрицы

4X10, у

которой

критический путь

F(n) =аН1+ан2

+ а2г2+

а2із

+ а2 г4

+ а2г 5 +.

 

+ а2г „ + а щ

+ аіів

+ аи 7 + a4i

8 + an 9 + ан 1 0

(2.6.4)

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

 

 

 

 

Б\ =

(tj),

Б2

=

(к,

i\, к),

 

 

 

 

 

 

 

 

 

 

£ 3 =

(к, is, к, ijo).

 

 

 

 

 

 

Для критической последовательности элементов до­

казаны

следующие

теоремы

[2.12].

 

 

 

 

 

 

Теорема

 

1.

Для любой

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

яі, по­

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

 

элементов внутри

блоков

при

условии,

что

порядок

следования

самих

блоков

и

критических

столбцов

не

меняется,

 

напри­

мер, для

(2.6.4) яі=(г'ь

к,

іІ,

к,

к,

к,

к, ho, к,

к)

име­

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F(n)^F(m).

 

 

 

 

 

 

 

(2.6.5)

Данное предложение объясняет эффективность «цеп­

ного метода» [2.13], в котором при каждой

новой реа­

лизации

исходная

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

перемешивается

так, что перемещения элементов внутри

блоков

прак­

тически

исключены.

 

 

 

 

 

 

 

 

 

 

 

В качестве

следствия теоремы

1

можно

получить

следующий

интересный

результат.

 

 

 

 

 

 

Теорема

 

2.

Пусть

задана

случайная

 

перестановка

я—(t'i, i2,.

•. ,к,.

• • ,in),

где k, з

свою

очередь,

выбрано

случайно

(т. е. P{k — j/\^j^n}

 

 

= —

) . Обозначим че­

рез я*

перестановку,

которая

получена

из я

транспо­

зицией

элемента ih с элементом

к+х

либо

с к-х,

если

таковые

существуют,

т. е.

 

 

 

 

 

 

 

 

 

 

Я * =

(i\

к,---,

ih-U

h+x,

ih+i<"''h+x~U

 

iki

 

 

 

Ік+х+і,'"

An)

'


либо

Я* — (t'l, І2,'">Ік-х-1, 'ft' ik-x+i,"',

 

ih-U ih-x, 6t+l>"' ' г 'п) •

 

Тогда

для любой

матрицы,

у которой п^ат,

име­

ет место

неравенство

 

 

 

 

 

 

 

 

P{F{n*)<F(n)}<

 

***

 

(2.6.6)

Например,

для

матрицы

10x100

транспозиция

двух

случайно

выбранных

рядом

стоящих столбцов

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

среднем

менее

чем один

раз на пять испытаний.

 

 

 

Из

описания

процедуры

разбиения

последователь­

ности

на

блоки

ясно,

что любому пути

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

ной матрице можно поставить в соответствие опреде­ ленную последовательность блоков и критических столбцов. Чтобы это соответствие было взаимно-одно­ значным, необходимо каждый блок, кроме перечня входящих в него столбцов, снабдить указателем номе­ ра строки, определяющей эти столбцы. Так как последо­ вательность номеров строк а ь а2,..., аь. возрастает, то конкретный блок определяется значением щ. Имеет мес­ то теорема 3.

 

Теорема

3.

Пусть критическому

пути

на

матрице

||ая || соответствует такая

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

блоков,

что элементы iu

и iv принадлежат блокам, определяемым

аи

и av- Если перестановка

Яі получена

из я транспози­

цией элементов l ' u и iv, то

 

 

 

 

 

 

 

F(ni)<F(n)

= > a a t i U - a a

u i v

о

 

 

 

 

 

 

 

 

а

.

> 0

а,,г„

 

(2.6.7)

 

 

 

 

 

 

 

 

(А=>В

обозначает, что из

А

следует

В).

 

 

Из

(2.6.5) и

(2.6.7)

следует,

что

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

Яі

может

оказаться лучше,

чем я, только

в том случае,

если элементы

\ и и і„ расположены

в разных блоках и

 

 

 

..

—а„ .

+ а

.

а

. > 0 .

 

 

 

 

а аиги

au\v

а « Ь

«V»

 

 

 

V

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

Алгоритм поиска. Функции алгоритма заключаются