Научная статья на тему 'Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос'

Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос Текст научной статьи по специальности «Математика»

CC BY
35
10
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОНЛАЙНОВЫЙ АЛГОРИТМ / РЕЖИМ CLOSED-END / ВЕРОЯТНОСТНЫЙ АНАЛИЗ / АЛГОРИТМ УПАКОВКИ ПРЯМОУГОЛЬНИКОВ В ОГРАНИЧЕННЫЕ ОБЛАСТИ / ONLINE ALGORITHM / CLOSED-END / PROBABILISTIC ANALYSIS / CLOSED-END MODE / MULTIPLE STRIP PACKING / AN ALGORITHM FOR PACKING INTO LIMITED AREAS LIMITED HASH PACKING

Аннотация научной статьи по математике, автор научной работы — Лазарев Д.О., Кузюрин Н.Н.

В работе рассмотрена задача упаковки прямоугольников в полосы единичной ширины Multiple Strip Packing. Рассмотрен аналог ранее предложенного алгоритма, алгоритм упаковки в области ограниченной высоты Limited Hash Packing и произведён его вероятностный анализ. Алгоритм онлайновый и работает в режиме closed-end, когда число прямоугольников, которые нужно упаковать известно алгоритму до начала работы. Лучшая из ранее известных оценок для математического ожидания площади полос, не заполненной прямоугольниками для задачи Multiple Strip Packing при числе полос, составляющая была улучшена до. Также был произведён анализ алгоритма в случае. Было доказано, что при любых выполнено.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given

In this article, an analog of previously proposed algorithm Limited Hash Packing for Multiple Strip Packing Problem is studied using probabilistic analysis. Limited Hash Packing is an on-line algorithm, which works in closed-end mode, knowing the number of rectangles it has to pack before knowing the heights and width of the first rectangle. The algorithm proposes that width and heights of all rectangles have a uniform on distribution and works in two stages. Firstly, it divides the k strips into rectangular areas width of which equal such that the sum space of all this areas equals the expected space of all rectangles,. Secondly, it packs a rectangle area of minimal width, in which it fits, or, if rectangle doesn’t fit in any area, above all areas. It was shown, that for any number of strips and any number of rectangles, the expected value of space not filled with rectangles of all strips from their lowest point to the highest point of the highest rectangle,. It was also shown, that. This result proves that the previous bound is asymptotically tight in case when packing rectangles into strips.

Текст научной работы на тему «Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос»

Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос1

1 Д.О. Лазарев <dennis810@mail.ru> Н.Н. Кузюрин <nnkuz@ispras.ru>

1 Институт системного программирования им. В.П. Иванникова РАН, 109004, Россия, г. Москва, ул. А. Солженицына, д. 25 2Московский физико-технический институт, 141700, Московская область, г. Долгопрудный, Институтский пер., 9

Аннотация. В работе рассмотрена задача упаковки прямоугольников в полосы единичной ширины Multiple Strip Packing. Рассмотрен аналог ранее предложенного алгоритма, алгоритм упаковки в области ограниченной высоты Limited Hash Packing и произведён его вероятностный анализ. Алгоритм онлайновый и работает в режиме closed-end, когда число прямоугольников, которые нужно упаковать известно алгоритму до начала работы. Лучшая из ранее известных оценок для математического ожидания площади полос, не заполненной прямоугольниками для задачи Multiple Strip Packing при числе полос составляющая E(Ssp) = O(^NlnN) была улучшена до

E(Ssp) = o(VFEw). Также был произведён анализ алгоритма в случае к = w(Vw). Было доказано, что при любых к, N выполнено E(Ssp) > ^ —

Ключевые слова: Strip Packing; Multiple Strip Packing; онлайновый алгоритм; режим closed-end; вероятностный анализ; алгоритм упаковки прямоугольников в ограниченные области; Limited Hash Packing.

DOI: 10.15514/ISPRAS-2019-31(1)-9

Для цитирования: Лазарев Д.О., Кузюрин Н.Н. Улучшение ранее известной верхней оценки для задачи Multiple Strip Packing и вероятностный анализ алгоритма для большого числа полос. Труды ИСП РАН, том 31, вып. 1, 2019 г., стр. 133-142. DOI: 10.15514/ISPRAS-2019-31(1)-9

1. Введение

Задача упаковки прямоугольников в полосу Strip Packing Problem и её обобщение - задача упаковки прямоугольников в несколько полос одинаковой ширины Multiple Strip Packing Problem(MSP) активно изучаются в последнее время благодаря их многочисленным практическим применениям.

При решении задачи построения расписания выполнения параллельных вычислительных задач на кластере или группе кластеров, согласно [1], можно представить каждую из задач в виде прямоугольника, высоте которого соответствует время выполнения задачи на кластере, а ширине соответствует число процессоров, необходимое для решения задачи на кластере. Таким образом, при наличии одного кластера задача построения расписания выполнения задач сводится к задаче Strip Packing, при наличии нескольких кластеров [2] задача построения расписаний для параллельных заданий сводится либо к задаче Multiple Strip Packing, либо к её обобщениям[3].

1 Работа выполнена при финансовой поддержке РФФИ, проект 17-07-01006

Также интерес к задаче Strip Packing подкреплён практическими применениями задачи и её частных случаев в таких перспективных областях, как задачи раскроя и перевозки материалов, грид-технологии [4], [5], облачные вычисления [6] и распределение памяти [7].

2. Постановка задачи Multiple Strip Packing и известные результаты

Задача Strip Packing является геометрическим обобщением классической задачи Bin Packing или задачи упаковки в контейнеры. Задача Bin Packing - одна из первых известных NP-полных в сильном смыле задач [8]. Для неё было составлено множество приближённых алгоритмов для анализа в худшем случае [9], [10] и в среднем [11], [12].

При анализе задачи в среднем сначала рассматривались шельфовые алгоритмы, разбивающие полосу на слои(шельфы) и распределяющие по шельфам прямоугольники в зависимости от их высоты и внутри шельфа пакующие прямоугольники некой эвристикой для задачи Bin Packing. Однако в [13] Коффманом и Шором было показано, что для любого шельфового алгоритма математическое ожидание не заполненной прямоугольниками

площади полосы E(Ssp) = П (^з).

В работе [13] был предложен closed-end алгоритм с точностью О (^з), а 2011 году в [14]

Кузюриным и Поспеловым был предложен open-end алгоритм с точностью в (^з). В работе

[15] Трушниковым был предложен новый closed-end алгоритм, точность которого была

/Л 13

исследована в работе [16], где было показано, что E(Ssp) = О (N2 1og2 N). В [17] оценка была улучшена до E(Ssp) = О (w21n N) и обобщен3

а на случай задачи Multiple Strip Packing с числом полос k < VÑ. В настоящей работе показано, что

E(Ssp) = 0(^N1nN) при числе полос к <VÑ (1)

Значительное уменьшение величины E(Ssp) в алгоритме из [15] по сравнению с ранее известными алгоритмами обусловлено ограничением общей высоты разбиения на области и усовершенствованным способом упаковки прямоугольники в области.

Постановка задачи Multiple Strip Packing:

В набор из к полубесконечных прямоугольных полос С1,.., Ск единичной ширины требуется упаковать без пересечений и без вращений открытые прямоугольники a1,...,aN со сторонами, параллельными основаниям или сторонам полос, длины сторон прямоугольников не превосходят 1. Требуется минимизировать высоту упаковки Н, или наибольшую высоту верхней стороны замыканий одного из прямоугольников. Будем рассматривать онлайновые алгоритмы упаковки, не знающие длин сторон прямоугольников ai+1, ...,aN при размещении i-го прямоугольника a¿.

Алгоритм работает в режиме closed-end, т.е. ему известно число N прямоугольников, которые нужно упаковать до начала работы.

Производим вероятностный анализ алгоритма, т.е. считаем, что длины сторон прямоугольников - независимые случайные величины, имеющие равномерное распределение на отрезке [0,1]. Ошибку алгоритма оцениваем через математическое ожидание E(Ssp), где Ssp - площадь незаполненной прямоугольниками части полос от нижнего основания полос до наибольшей высоты верхней стороны Н. Верно, что

N

E(Ssp) = кЕ(Н) - E(Sr) = кЕ(Н) - -где Sr - суммарная площадь всех прямоугольников, а к- число полос.

При наличии всего одной полосы к = 1 задача Multiple Strip Packing вырождается в задачу Strip Packing.

3. Алгоритм упаковки в области ограниченной высоты (Limited Hash Packing)

1. Разбиение на области. Выберем s = . Верно, что

,k<^N

s е

~У,2~к~ л, к > jn

Разобьём нижнюю часть всех полос высотой — на 2эк — 1 области с высотами, равными

—, и значениями ширины областей, равными V] = 1, 2эк — 1, как показано на рис. 1.

Рис. 1. Разбиение нижней части полос на прямоуголные области Fig. 1. Breaking the bottom of the strips into rectangular areas

2sk-1

Пронумеруем области: область имеет номер i(i = 1 , 2 sk — 1), если её ширина равна Так, самая тонкая область имеет номер один, а самая толстая, единичной ширины, имеет номер 2sk — 1.

2. Упаковка прямоугольников. Скажем, что прямоугольник R имеет тип j,j = 1 , 2sk — 1, если его ширина w(R) Е ^, ^ ^ J. Минимальная область, в которую прямоугольник типа i вмещается, есть область с номером i. Алгоритм упаковки в области ограниченной высоты (Limited Hash Packing):

1) Если выпал прямоугольник R типа i, и он помещается в область с номером i, то размещаем R в эту область на верх текущей упаковки в данной области.

2) Если прямоугольник R типа i не помещается в область с номером i, то размещаем его на верх текущей упаковки в область с минимальным номером, куда его можно поместить, если это возможно.

3) Иначе, если R не помещается ни в одну область (такие прямоугольники назовём выпавшими), то помещаем его на верх текущей упаковки в полосу (т.е. нижняя сторона R помещается не ниже части полос, разбитой на области, и лежит на самой нижней (по всем полосам) верхней стороне самого высокого прямоугольника в полосе, помещённого, также как и R, выше всех областей, если такой прямоугольник есть, и на верх самой высокой области в одной из полос, если ту полосу ещё не упаковано выпавших прямоугольников), заполненную не выше всех других полос. Для прямоугольника в полосе выбираем такое положение, чтобы его левая сторона касалась левого края полосы.

4. Верхняя оценка математического ожидания площади незаполненной части полос E(ssp)

Следующая Лемма была доказана в случае a < 1 в работе [16].

Лемма 1. Пусть случайная величина X = Х1 + Х2 + —+ Xk, где Xt = ^ принимает значение 1 с вероятностью р и 0 с вероятностью 1 — р,- — равномерно распределенная на отрезке (0,1] случайная величина, причем все случайные величины = 1,...,к

независимы в совокупности. Тогда для любого а из интервала (0,1] выполняется неравенство:

5 2

> (1 + а)ЕХ} < е~9а ЕХ

При а > 1 верно, что

i

Р{Х > (1 + а)ЕХ} < е-3аЕХ

Р{Х >(1 + а)ЕХ} < exp (2е — 5 — a)j < exp {у (— |)j = е-!

Доказательство.

Докажем утверждение в случае а > 1. В работе [16] было показано, что для любых a,t > 0

F{X > (1 + a)EX} < exp {(2 6 - 1 — 2 — t(1 + а)) у}

В данную формулу подставим t = 1, учитывая, что а > 1, Получим:

г О . ^)j=e-l«EX „

Теорема 1 (Оценки Esp для алгоритма Limited Hash Packing) Для алгоритма Limited Hash Packing при упаковке N прямоугольников в к полос,

E(Ssp) <3к + \nN = 0(max[k,^N\nN\)

Обозначения.

Н- высота упаковки прямоугольников в полосы.

hmax = Н — ^ - максимальная суммарная высота выпавших(т.е. упакованных не в области, а выше областей) прямоугольников, упакованных в одну полосу.

hmin - минимальная суммарная высота выпавших прямоугольников, упакованных в одну полосу.

h - суммарная высота всех выпавших прямоугольников.

li - суммарная высота прямоугольников типов 2sk — 1,...,2sk — i.

Прямоугольник R имеет тип j,j = 1,2sk — 1, если его ширина w(R) Е (2 -12 ^ J.

Область имеет номер 1(1 = 1,2эк — 1), если её ширина равна .

Область с номером у- не переполнялась, если и только если любой прямоугольник типа к Е {1,2,...,]} был упакован в область с номером т Е [к, к + 1,...,]}.

Доказательство. Так как суммарная площадь областей равна р то по формуле 1 для доказательства достаточно показать, что

N ,-

кЕ(Н) - — = E(hmax)k <3к + \nN (2)

4

Так как по построению hmin + 1 > hmax, а h > khmin, то

h

hmax <-Ц+1 (3)

Оказывается, что верна оценка

( iN 1

h<mtaXtZi-^+£J (4)

Действительно, скажем, что область с номером j- не переполнялась, если и только если любой прямоугольник типа р Е {1,2,... ,j} был упакован в область с номером т Е [р,р + 1,...,j}. Если в область упаковали прямоугольники суммарной высотой не более, чем — 1, что ровно на единицу меньше, чем высота области, то область не переполнена(хотя обратное - не верно).

Рассмотрим j0 = наибольшее j: область с номером j — не переполнялась. Если такой области нет, то полагаем j = 0. Тогда, во-первых, ни в областях с номерами к Е {j0 + 1,j0 + 2,...,2sk — 1}, ни среди выпавших прямоугольников нет прямоугольников типа j' < jo. И, во-вторых, любая из областей с номером j" > j0 заполнена не менее, чем на

1, иначе, j" = j0. Таким образом, верно, что h < l2kS-j0-i — (?ks — j0 —+

2ks — j0 — 1, стало быть, верна формула 4.

Из формул 3 и 4 получаем, что khmax < h + к < maxj {It — ^^ + i} + к. По формуле 2 с учётом того, что i < max{2k,2^N} < 2к + 2^N и того, что,

E(hmax)k < Е (max{/j — ^ + i}) + k <3к + 6VMnN ^

^ Е (max{li + i}) <2к + 6^N\nN +

V i > 4sk

достаточно доказать, что верна формула 5:

Е (max — < 4^N\nN (5)

Докажем, что при достаточно больших N

]p(li<-^+ 3^N\nN Vi = 1,2sk — >1 — N-2 (6)

Заметим, что E(l:) = —. Значит, по лемме 1,

' 4 w 4sk ' '

3^N\nN) = > E(k) + 3^N \nN) = P(Lt > (1 + a)E(lt)),

--4ks 12ksJ\nN

а = 3^N\nN-=-——

Ni i^N

Рассмотрим 2 случая:

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1) а < 1. По лемме 1), учитывая, что i < 2ks — 1 < 2ks имеем:

/ Ni --\ I ( 12ksJinN\ \

v{k>—k + З^Ш) = > (1 +-—j=—)E(li)j <

( 9144k2s2 \nN цА r 20ks\nN) ( 20ks\nN)

<exp {--^-4Tsj =exp {--<exp {--2kT-\ =

E(Ssp)>-- —

= N-10 < N-3

2) a> 1. EQi)a = 3^NlnN. Значит, по Лемме 1, для достаточно больших N имеем:

]P(li>-^+ 3^Nln n) < exp {- = exp[-^NlnN} < N-3

Так как i < N, получаем формулу 6:

3^NlnN) < N-3 ^ V' 4sk J

f(1:<—^+ 3VNlnN Vi = 1,2sk - l) >1-N-2 \ 1 4sk J

Значит, так как в любом случае ^ < N, для достаточно больших N имеем:

Е (maxik] - ^) < 3VN lnN + w(li > + 3VNlnN Vi = 1,2sk - N <

< 4VN lnN

Отсюда следует формула 5, из которой, в свою очередь, следует утверждение теоремы. ■

5. Нижние оценки E(Ssp) для алгоритма Limited Hash Packing при упаковке в k = n(VN) полос

Теорема 2. Покажем, что после выпадения N прямоугольников,

к VN

8 4

Обозначения.

X = Х1 + —+ XN- сумма высот всех прямоугольников, где ^¿-имеет равномерное на [0,1] распределение.

Н - высота упаковки алгоритмом Limited Hash Packing.

Прямоугольник назовём выпавшим, если он помещён алгоритмом выше части полос,

разбитой на области.

Доказательство.

11 Покажем, что с вероятностью Р > - один из выпавших прямоугольников имеет высоту >-

и сумма высот всех прямоугольников X > Покажем, что отсюда будет следовать утверждение теоремы.

Ввиду симметричности распределения X относительно математического ожидания Е(Х) = р верно, что ^-Е (xj* < 7) = EQX - ЕХ[) < ^Vor(X) < Щ.

Таким образом, обозначив за Е(Х1А) математическое ожидание X при условии того, что случайное событие А произошло и учитывая, что, если X >~, то хотя бы 1 прямоугольник выпал, и, следовательно, так как высота упаковки Н не менее, чем Е(Н)к > 0, по формуле полной вероятности, имеем:

Ns

Х<2)-Ъ n\ ( n 1\\ т

/Л , ч N I I N\ N\

E(Ssp)=E(H)k-4=F(x<1) (кЕ (HX<2)-4) +

N ( N

(х>^)п(н<4гк+Щ{кЕ{н (х>^)п(н>ж+ЩкЕ{н

f N\ f N 1\\ N\

(х>1)п(н<4Гк + 1))-4) +

( N\ / N 1\\ N'

1 _ 1к VN к --VN + 0 + -- = —— + -

4 4 2 4 8

при („^ +

1 / / N 1\

Докажем, что с вероятностью Р > - верно, что IX > — )и (Н > — + и тем самым докажем теорему.

Рассмотрим 2 типа случайных событий в предположении, что X > 7:

1) A(i)- первый выпавший прямоугольник имел номер i,1 < i < N и его высота была больше

2

2) B(i)- первый выпавший прямоугольник имел номер i,1 < i < N и его высота была не больше

2

Верно, что так как если мы рассмотрим набор длин сторон

прямоугольников h1,w1,...,hN,wN, такой, что событие B(i) имеет место, то для набора сторон h1,w1,...+ -,wt,...,hN,wN имеет место событие A(i). Действительно, если при

упаковке прямоугольников алгоритмом Limited Hash Packing ¿-ый прямоугольник- первый

1

вылевший и его высота ht < -, то при тех же параметрах остальных прямоугольников ht >

12

-, то прямоугольник с номером i- также первый вылетевший.

Верно, что A(i) П A(j) = B(i) П B(j) = 0,{Ф] и A(i) П B(j) = 0 и

N

1>(И*4)п (н Л)и

1=1

N

(х ^1)п (н<4ш +1)е1>(г)

i=1

Следовательно, р((х > 7) п (н > ^ + 1))>р((х > 7) п (н +1)). Так как

сумма последних двух вероятностей равна 1, верно, что Р ((х > п (н > ^ +1)) > 1, откуда и следует утверждение теоремы. ■

6. Заключение

Для задачи упаковки прямоугольников в полосы одинаковой ширины Multiple Strip Packing и её частного случая - задачи упаковки прямоугольников в полосу единичной ширины Strip Packing был произведён вероятностный анализ алгоритма упаковки в области ограниченной высоты Limited Hash Packing. Данный алгоритм является обобщением на случай упаковки в несколько полос алгоритма, предложенного Трушниковым в [15]. Алгоритм онлайновый, работает в режиме closed-end, т.е. ему известно число прямоугольников N, которое требуется разместить до начала работы.

Во многих алгоритмах для задач Strip Packing и Multiple Strip Packing прямоугольники разбиваются на группы по ширине, прямоугольники из одной группы упаковываются по высоте в области одного типа. Принципиальным отличием алгоритма, рассматриваемого в настоящей работе и алгоритмов того же типа, который мы называем алгоритмами упаковки в области ограниченной высоты, является тот факт, что после переполнения одной из областей, новая область не создаётся, а прямоугольник кладётся в самую узкую область, куда он помещается, если таковая существует.

В этой работе лучшая из ранее известных для задачи Multiple Strip Packing при числе полос k<^N, составляющая E(Ssp) = O(^NlnN) была улучшена до E(Ssp) = O(-^NlnN).

Также был произведён анализ алгоритма в случае к = d.(vn). Было доказано, что при любых к,N выполнено E(S„„) >- - —.

V i-VJ 8 4

Список литературы

Кузюрин Н., Грушин Д., Фомин С. Проблемы двумерной упаковки и задачи оптимизации в распределенных вычислительных системах. Труды ИСП РАН, том 26, вып. 1, 2014 г., стр. 483502, DOI: 10.15514/ISPRAS-2014-26(1)-21.

С.Н. Жук. О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью. Труды ИСП РАН, том 23, 2012, стр. 447-454, DOI: 10.15514/ISPRAS-2012-23-27. 31. S.N. Zhuk. Approximate algorithms for packing rectangles into several strips. Discrete Mathematics and

Applications, vol 18, issue 1, 2006, pp. 91-105. 41. Tchernykh A., Schwiegelshohn U., Yahyapour R., Kuzjurin N. On-line hierarchical job scheduling on grids with admissible allocation. Journal of Scheduling, vol. 13, issue 5, 2010, pp. 545-552. Tshernykh A., Ramirez J.M., Avetisyan A., Kuzjurin N., Grushin D., Zhuk S. Two-Level Job-Scheduling strategies for a Computational Grid. Lecture Notes in Computer Science, vol. 3911, 2005, pp. 774-781.

Cohil B., Shah S., Goleshha Y., Patel D. A Comparative Analysis of Virtual Machine Placement Techniques in the Cloud Environment. International Journal of Computer Applications, vol. 156, no. 14, 2016, pp. 12-18.

71. Garey M.R. Graham R.L., Ullman J.D., Worst-case analysis of memory allocation algorithms. In Proc.

of the fourths annual ACM symposium on theory of computing (STOC '72), 1972, pp. 143-150. 8]. Garey M.R., Johnson D.S. Computers and intractability: a guide to the theory of NP-completeness.

Freeman, San Francisco, 1979, 338 p. 91. Johnson D.S. Near-optimal Bin Packing Algorithms. PhD Thesis, Massachusetts Institute of

Technology, Department of Mathematics, Cambridge, 1973, 401 p. 01. Vliet A. An improved lower bound for on-line bin packing algorithms. Journal of information Processing Letters, vol. 43, issue 5, 1992, pp. 277-284.

Coffman E.G., Courcoubetis C., Garey M.R., Johnson D.S., McGeoch L.A., Shor P.W., Weber R. and Yannakakis M. Fundamental discrepancies between average-case analysis under discrete and continuous distributions: a bin packing study. In Proc. of the twenty-third annual ACM symposium on Theory of Computing (STOC '91), 1991, pp. 230-240. 21. Shor P.W. How to pack better than Best Fit: tight bounds for average-case online Bin Packing. In Proc.

of the 32nd Annual Symposium of foundations of Computer Science, 1991, pp. 752-759. 31. Coffman E.G., Shor P.W. Packing in two dimensions: Asymptotic average-case analysis of algorithms. Algorithmica, vol. 9, issue 3, 1993, pp. 253-277.

Кузюрин Н.Н., Поспелов А.И. Вероятностный анализ нового класса алгоритмов упаковки прямоугольников в полосу. Журнал вычислительной математики и математической физики, том 51, no. 10, 2011, стр. 1931-1936. 51. Трушников М.А. Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в

полосу. Труды ИСП РАН, том 22, 2012 г., стр. 456-462, doi: 10.15514/ISPRAS-2012-22-24. 61. Трушников М.А. Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу. Труды ИСП РАН, том 24, 2013 г., стр. 457-468, doi: 10.15514/ISPRAS-2013-24-21/ Лазарев Д.О., Кузюрин Н.Н. Алгоритм упаковки прямоугольников в несколько полос и анализ его точности в среднем. Труды ИСП РАН, том 29, выпуск 6, 2017 г., стр. 221-228, doi:: 10.15514/ISPRAS-2017-29(6)-13

An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of

large number of strips given

1 D.O. Lazarev <dennis810@mail.ru> 1,2 N.N. Kuzyurin <nnkuz@ispras.ru> 1 Institute for System Programming of the Russian Academy of Sciences, 25, Alexander Solzhenitsyn st., Moscow, 109004, Russia. 2 Moscow Institute of Physics and Technology, Dolgoprudnyj, Institutskij alley, Moscow region, 141700, Russia

Abstract. In this article, an analog of previously proposed algorithm Limited Hash Packing for Multiple Strip Packing Problem is studied using probabilistic analysis. Limited Hash Packing is an on-line algorithm, which works in closed-end mode, knowing the number N of rectangles it has to pack before knowing the heights and width of the first rectangle. The algorithm proposes that width and heights of all rectangles have a uniform on [0,1] distribution and works in two stages. Firstly, it divides the k strips into d = @(max[k,^N}) rectangular areas width of which equal = 1-, -,d such that the sum space of all this areas equals the expected space of all rectangles, j. Secondly, it packs a rectangle area of minimal width, in which it fits, or, if rectangle doesn't fit in any area, above all areas. It was shown, that for any number of strips к and any number of rectangles N, the expected value of space not filled with rectangles of all strips from their lowest point to the highest point of the highest rectangle, E(Ssp) < 6rjNlnN + 3k. It was also

shown, that E(Ssv) >--—. This result proves that the previous bound is asymptotically tight in case when

v FJ 8 4

packing N rectangles into к > strips.

Keywords: on-line algorithm; closed-end; probabilistic analysis; closed-end mode; Multiple Strip Packing; an algorithm for packing into limited areas Limited Hash Packing.

DOI: 10.15514/ISPRAS-2019-31(1)-9

For citation: Lazarev D.O., Kuzyurin N.N. An improvement of previously known upper bound of Multiple Strip Packing problem and probabilistic analysis of algorithm in case of large number of strips given. Trudy ISP RAN/Proc. ISP RAS, vol. 31, issue 1, 2019. pp. 133-142 (in Russian). DOI: 10.15514/ISPRAS-2019-31(1 )-9

References

[1]. Two-dimensional packing problems and optimization in distributed computing systems N.N. Kuzyurin, D.A. Grushin, S.A. Fomin, Trudy ISP RAS/Proc. ISP RAS, vol. 26, issue 1, 2015, pp. 483-502(in Russian). DOI: 10.15514/ISPRAS-2014-26(1)-21

[2]. Zhuk S.N. On-line algorithm for scheduling parallel tasks on a group of related clusters. Trudy ISP RAN/Proc. ISP RAS, vol. 23, 2012, pp. 447-454 (in Russian). DOI: 10.15514/ISPRAS-2012-23-27

[3]. S.N. Zhuk. Approximate algorithms for packing rectangles into several strips. Discrete Mathematics and Applications, vol 18, issue 1, 2006, pp. 91-105.

[4]. Tchernykh A., Schwiegelshohn U., Yahyapour R., Kuzjurin N. On-line hierarchical job scheduling on grids with admissible allocation. Journal of Scheduling, vol. 13, issue 5, 2010, pp. 545-552.

[5]. Tshernykh A., Ramirez J.M., Avetisyan A., Kuzjurin N., Grushin D., Zhuk S. Two-Level Job-Scheduling strategies for a Computational Grid. Lecture Notes in Computer Science, vol. 3911, 2005, pp. 774-781.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[6]. Cohil B., Shah S., Goleshha Y., Patel D. A Comparative Analysis of Virtual Machine Placement Techniques in the Cloud Environment. International Journal of Computer Applications, vol. 156, no. 14, 2016, pp. 12-18.

[7]. Garey M.R. Graham R.L., Ullman J.D., Worst-case analysis of memory allocation algorithms. In Proc. of the fourths annual ACM symposium on theory of computing (STOC '72), 1972, pp. 143-150.

[8]. Garey M.R., Johnson D.S. Computers and intractability: a guide to the theory of NP-completeness. Freeman, San Francisco, 1979, 338 p.

[9]. Johnson D.S. Near-optimal Bin Packing Algorithms. PhD Thesis, Massachusetts Institute of Technology, Department of Mathematics, Cambridge, 1973, 401 p.

[10]. Vliet A. An improved lower bound for on-line bin packing algorithms. Journal of information Processing Letters, vol. 43, issue 5, 1992, pp. 277-284.

[11]. Coffman E.G., Courcoubetis C., Garey M.R., Johnson D.S., McGeoch L.A., Shor P.W., Weber R. and Yannakakis M. Fundamental discrepancies between average-case analysis under discrete and continuous distributions: a bin packing study. In Proc. of the twenty-third annual ACM symposium on Theory of Computing (STOC '91), 1991, pp. 230-240.

[12]. Shor P.W. How to pack better than Best Fit: tight bounds for average-case online Bin Packing. In Proc. of the 32nd Annual Symposium of foundations of Computer Science, 1991, pp. 752-759.

[13]. Coffman E.G., Shor P.W. Packing in two dimensions: Asymptotic average-case analysis of algorithms. Algorithmica, vol. 9, issue 3, 1993, pp. 253-277.

[14]. Kuzjurin N.N., Pospelov A.I. Probabilistic analysis of a new class of strip packing algorithms. Computational Mathematics and Mathematical Physics, vol. 51, no. 10, 2011, pp. 1817-1822.

[15]. Trushnikov M.A. On one problem of Koffman-Shor connected to strip packing problem. Trudy ISP RAN/Proc. ISP RAS, vol. 22, 2012, pp. 456-462, doi: 10.15514/ISPRAS-2012-22-24

[16]. Trushnikov M.A. Probabilistic analysis of a new strip packing algorithm. Trudy ISP RAN/Proc. ISP RAS, vol. 24, 2013, pp. 457-468, doi: 10.15514/ISPRAS-2013-24-21

[17]. Lazarev D.O., Kuzyrin N.N. An algorithm for Multiple Strip Package and its average case evaluation. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 6, 2017. pp. 221-228 (in Russian). DOI: 10.15514/ISPRAS-2017-29(6)-13

i Надоели баннеры? Вы всегда можете отключить рекламу.