Файл: Голенко Д.И. Статистические модели в управлении производством.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— |
последний |
невычеркнутый столбец), |
||||||||
что |
|
|
|
|
|
|
|
|
|
|
|
і аіа^а^; |
|
а1а^а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
Используя эти выводы для отсеивания неперспектив ных вариантов, построим алгоритм приближенного реше ния задачи очередности, сочетающий случайный выбор исходной перестановки и анализ полученной при этом критической последовательности с целью определения элементов, транспозиция которых с наибольшей вероят ностью приведет к улучшению плана.
Алгоритм поиска. Функции алгоритма заключаются