Участник:Qtr — различия между версиями
Qtr (обсуждение | вклад) (→Декомпозиция) |
Qtr (обсуждение | вклад) м (→Декомпозиция) |
||
(не показаны 43 промежуточные версии этого же участника) | |||
Строка 9: | Строка 9: | ||
== Алгоритм == | == Алгоритм == | ||
Работу будем обозначать просто ее номером <tex>(i)</tex>, при этом, номера работ могут меняться в зависимости от того, по какому параметру они отсортированы. Время появления работы — <tex> r[i]</tex>, время, требуемое для ее выполнения — <tex> p[i] </tex>. Множество ребер графа обозначается как <tex> E </tex>. | Работу будем обозначать просто ее номером <tex>(i)</tex>, при этом, номера работ могут меняться в зависимости от того, по какому параметру они отсортированы. Время появления работы — <tex> r[i]</tex>, время, требуемое для ее выполнения — <tex> p[i] </tex>. Множество ребер графа обозначается как <tex> E </tex>. | ||
+ | |||
+ | ===Идея алгоритма=== | ||
+ | Будем решать задачу рекурсивно. Разобьем множество работ на подмножества (блоки), внутри которых не будет перерыва между выполнением работ. После этого для каждого из блоков найдем работу, которую выгоднее всего выполнить последней, удалим работу из соответствующего блока и повторим разбиение на подблоки для оставшихся работ. Пустые промежутки между подблоками, полученными из данного блока, заполним выбранной работой. Повторим рекурсивно для каждого из полученных подблоков. Как будет показано далее, данный алгоритм строит корректное и оптимальное расписание. Можно заметить, что если на каждом этапе будет получаться всего один блок, алгоритм выродится в [[Правило_Лаулера|алгоритм Лаулера]]. | ||
=== Препроцессинг === | === Препроцессинг === | ||
Для начала, модифицируем времена появления работ. Если работа <tex> j </tex> зависит от <tex> i </tex>, то, очевидно, она не может быть начата раньше, чем закончится выполнение <tex> i </tex>, поэтому нужно заменить <tex> r_j </tex> на <tex> \max(r_j, r_i + p_i) </tex>. Алгоритм, делающий это, представлен ниже (работы рассматриваются в порядке [[Использование_обхода_в_глубину_для_топологической_сортировки|топологической сортировки]]): | Для начала, модифицируем времена появления работ. Если работа <tex> j </tex> зависит от <tex> i </tex>, то, очевидно, она не может быть начата раньше, чем закончится выполнение <tex> i </tex>, поэтому нужно заменить <tex> r_j </tex> на <tex> \max(r_j, r_i + p_i) </tex>. Алгоритм, делающий это, представлен ниже (работы рассматриваются в порядке [[Использование_обхода_в_глубину_для_топологической_сортировки|топологической сортировки]]): | ||
− | ''' | + | '''int[]''' modify('''int''' jobs[n]): |
− | rm = r | + | rm = copy(r) |
'''for''' u = 1 '''to''' n | '''for''' u = 1 '''to''' n | ||
'''for''' (u, v) <tex> \in </tex> E | '''for''' (u, v) <tex> \in </tex> E | ||
rm[v] = max(rm[v], rm[u] + p[u]) | rm[v] = max(rm[v], rm[u] + p[u]) | ||
+ | '''return''' rm | ||
После выполнения этого алгоритма для любых двух работ <tex> i, j </tex>, таких, что <tex> j </tex> зависит от <tex> i </tex>, выполняется <tex> rm[j] > rm[i] </tex>, поэтому, при рассмотрении работ в порядке неубывания времен их появления, они также будут топологически отсортированы. | После выполнения этого алгоритма для любых двух работ <tex> i, j </tex>, таких, что <tex> j </tex> зависит от <tex> i </tex>, выполняется <tex> rm[j] > rm[i] </tex>, поэтому, при рассмотрении работ в порядке неубывания времен их появления, они также будут топологически отсортированы. | ||
Строка 30: | Строка 34: | ||
'''int''' start <font color = "darkgreen">// Время начала выполнения блока</font> | '''int''' start <font color = "darkgreen">// Время начала выполнения блока</font> | ||
'''int''' time <font color = "darkgreen">// Время, затрачиваемое на соответствующий блок</font> | '''int''' time <font color = "darkgreen">// Время, затрачиваемое на соответствующий блок</font> | ||
− | '''int''' end <font color = "darkgreen"> // Время конца выполнения блока</font> | + | '''int''' end <font color = "darkgreen"> // Время конца выполнения блока </font> |
'''int[]''' jobs <font color = "darkgreen">// Номера работ</font> | '''int[]''' jobs <font color = "darkgreen">// Номера работ</font> | ||
− | void add() <font color = "darkgreen">// Добавляет работу в конец jobs[] </font> | + | '''void''' add() <font color = "darkgreen">// Добавляет работу в конец jobs[] </font> |
+ | |||
+ | Нетрудно заметить, что переменная <tex>\mathrm{end}</tex> получается из суммы <tex>\mathrm{start}</tex> и <tex>\mathrm{time}</tex>. Используется для читаемости и уменьшения кода <tex>\mathrm{Decompose}</tex>. Можно воспринимать как макроподстановку. | ||
'''Алгоритм разбиения''' | '''Алгоритм разбиения''' | ||
− | '''Block[]''' blocks( | + | '''Block[]''' blocks('''int''' p[n], '''int''' rm[n]): |
'''int''' j = 0 | '''int''' j = 0 | ||
− | '''int''' t = 0 | + | '''int''' t = 0 <font color="darkgreen">// Переменная t указывает на время завершения последней работы </font> |
− | '''Block | + | '''Block''' b[n] |
'''for''' i = 1 '''to''' n | '''for''' i = 1 '''to''' n | ||
− | '''if''' t < | + | '''if''' t < rm[i] <font color="darkgreen">// Время появления очередной работы больше, чем время завершения последней </font> |
− | t = rm[i] | + | t = rm[i] <font color="darkgreen">// работы в блоке, не можем начать её делать. Создаём новый блок </font> |
j = j + 1 | j = j + 1 | ||
b[j].start = rm[i] | b[j].start = rm[i] | ||
b[j].time = 0 | b[j].time = 0 | ||
− | b[j].add(i) | + | b[j].add(i) <font color="darkgreen">// Добавляем к последнему блоку рассматриваемую работу, </font> |
− | b[j].time = b[j].time + p[i] | + | b[j].time = b[j].time + p[i] <font color="darkgreen">// увеличиваем суммарное время внутри блока и текущее время</font> |
t = t + p[i] | t = t + p[i] | ||
'''return''' b | '''return''' b | ||
− | Если алгоритм <tex>\mathrm{Blocks}</tex> | + | Если значение <tex>n</tex> равно нулю, то считаем, что алгоритм <tex>\mathrm{Blocks}</tex> возвращает пустое множество. |
Определим время начала блока <tex> B_j </tex> как <tex>s_j = \min\limits_{i \in B_j} rm_i </tex>, а время конца — как <tex> e_j = s_j + \sum\limits_{i \in B_j} p_i </tex>. | Определим время начала блока <tex> B_j </tex> как <tex>s_j = \min\limits_{i \in B_j} rm_i </tex>, а время конца — как <tex> e_j = s_j + \sum\limits_{i \in B_j} p_i </tex>. | ||
Строка 61: | Строка 67: | ||
Возьмем произвольное оптимальное расписание <tex> S </tex>, в нем деление на блоки может также быть произвольным. Найдем первый такой временной интервал <tex> [s_j; e_j] </tex>, что в <tex> S </tex> есть период простоя внутри <tex> [s_j; e_j] </tex> (если таких периодов несколько, будем рассматривать первый из них). Обозначим его за <tex> [s; e] </tex>. | Возьмем произвольное оптимальное расписание <tex> S </tex>, в нем деление на блоки может также быть произвольным. Найдем первый такой временной интервал <tex> [s_j; e_j] </tex>, что в <tex> S </tex> есть период простоя внутри <tex> [s_j; e_j] </tex> (если таких периодов несколько, будем рассматривать первый из них). Обозначим его за <tex> [s; e] </tex>. | ||
− | Возьмем некоторую работу <tex> i </tex>, такую, что она начинается позже, чем в момент времени <tex> s </tex>, не имеет в графе зависимостей предков, завершаемых позже, чем в момент <tex> s </tex> и <tex> rm_i \ leqslant s </tex>. Такая работа обязательно существует, иначе для множества работ, выполняемых позже, чем в момент <tex> s </tex>, было бы <tex> r = \min\limits_{k \in T} rm_k > s </tex>, и внутри блока <tex> B_j </tex> был бы простой <tex> [s_j; r] </tex>, что невозможно по построению алгоритма Blocks. Очевидно, мы можем начать выполнять ее в момент времени <tex> s </tex> и полностью, либо частично заполнить простой <tex> [s; e] </tex>; так как <tex> f_i </tex> — неубывающая функция, то ответ останется оптимальным. Повторяя этот процесс, мы за конечное число шагов придем к оптимальному расписанию с требуемым свойством. | + | Возьмем некоторую работу <tex> i </tex>, такую, что она начинается позже, чем в момент времени <tex> s </tex>, не имеет в графе зависимостей предков, завершаемых позже, чем в момент <tex> s </tex> и <tex> rm_i \leqslant s </tex>. Такая работа обязательно существует, иначе для множества работ, выполняемых позже, чем в момент <tex> s </tex>, было бы <tex> r = \min\limits_{k \in T} rm_k > s </tex>, и внутри блока <tex> B_j </tex> был бы простой <tex> [s_j; r] </tex>, что невозможно по построению алгоритма Blocks. Очевидно, мы можем начать выполнять ее в момент времени <tex> s </tex> и полностью, либо частично заполнить простой <tex> [s; e] </tex>; так как <tex> f_i </tex> — неубывающая функция, то ответ останется оптимальным. Повторяя этот процесс, мы за конечное число шагов придем к оптимальному расписанию с требуемым свойством. |
}} | }} | ||
=== Декомпозиция === | === Декомпозиция === | ||
− | Допустим, у нас есть блок работ, который можно выполнить без прерываний. Общая идея алгоритма <tex>\mathrm{Decompose}</tex> следующая: найдем работу <tex> i </tex>, которую выгоднее всего выполнить последней. Разобъем оставшееся множество работ на блоки, решим задачу для этих блоков рекурсивно и вставим <tex> i </tex> в промежутки между ними, до них и после них, начиная с <tex> rm_i </tex>. Псевдокод этого алгоритма представлен ниже. | + | Допустим, у нас есть блок работ, который можно выполнить без прерываний. Общая идея алгоритма <tex>\mathrm{Decompose}</tex> следующая: найдем работу <tex> i </tex>, которую выгоднее всего выполнить последней. Разобъем оставшееся множество работ на блоки, решим задачу для этих блоков рекурсивно и вставим <tex> i </tex> в промежутки между ними, до них и после них, начиная с <tex> rm_i </tex>. Псевдокод этого алгоритма представлен ниже. Алгоритм принимает множество блоков и изначально пустое расписание, при каждом вызове заполняет пробелы в расписании очередной работой и обновляет ответ. Возвращает оптимальное расписание и соответствующее значение <tex>f_{max}</tex>. |
'''<tex>\langle</tex>int, int[]<tex>\rangle</tex>''' decompose('''Block''' b, '''int[]''' schedule): | '''<tex>\langle</tex>int, int[]<tex>\rangle</tex>''' decompose('''Block''' b, '''int[]''' schedule): | ||
− | '''int''' e = b.end <font color = "darkgreen"> // e — время завершения работ блока B | + | '''int''' e = b.end <font color = "darkgreen"> // e — время завершения работ блока B</font> |
− | find | + | find l: f[l](e) = <tex> \min \{f[j](e) \mid j \in B, \overline\exists\ k: jk \in E \} </tex> |
'''int''' ans = f[l](e) | '''int''' ans = f[l](e) | ||
− | '''Block[]''' g = blocks( | + | b.jobs.remove(l) |
− | '''for''' i = 2 '''to''' | + | '''Block[]''' g = blocks(b.jobs.p, b.jobs.rm) |
− | + | '''for''' i = 2 '''to''' g.size | |
− | + | schedule[g[i-1].end .. g[i].begin - 1] = l<font color = "darkgreen"> // Вставляем работу в расписание между блоками</font> | |
− | schedule[g[g.size].end | + | schedule[b.start .. g[1].start - 1] = l <font color = "darkgreen"> // Нужно учесть пропуски перед первым и </font> |
− | '''for''' b | + | schedule[g[g.size].end .. b.end - 1] = l <font color = "darkgreen"> // после последнего блоков соответственно</font> |
− | ans = max(ans, decompose(b | + | '''for''' b <tex>\in</tex> g |
+ | ans = max(ans, decompose(b, schedule).first) | ||
'''return''' <tex>\langle</tex>ans, schedule<tex>\rangle</tex> | '''return''' <tex>\langle</tex>ans, schedule<tex>\rangle</tex> | ||
Строка 88: | Строка 95: | ||
Убедимся, что порядок выполнения работ, заданный графом зависимостей, не нарушается. Заметим, что в разбиении <tex> B \setminus l </tex> на блоки существует не более одного блока <tex> B_0 </tex>, расположенного до момента времени <tex> r_l </tex> — иначе после вставки <tex> l </tex> в промежутки между блоками, <tex> B </tex> выполнялся бы с прерываниями. Далее, заметим, что все интервалы времени, на которые назначается работа из блока <tex> B_j </tex>, находятся внутри интервала <tex> [s_j; e_j] </tex>; это относится и к блоку <tex> B_0 </tex>. Из этих двух наблюдений, а также того, что все работы со временами появления меньше, чем <tex> rm_l </tex>, будут помещены в блок <tex> B_0 </tex>, следует, что порядок выполнения будет правильным. | Убедимся, что порядок выполнения работ, заданный графом зависимостей, не нарушается. Заметим, что в разбиении <tex> B \setminus l </tex> на блоки существует не более одного блока <tex> B_0 </tex>, расположенного до момента времени <tex> r_l </tex> — иначе после вставки <tex> l </tex> в промежутки между блоками, <tex> B </tex> выполнялся бы с прерываниями. Далее, заметим, что все интервалы времени, на которые назначается работа из блока <tex> B_j </tex>, находятся внутри интервала <tex> [s_j; e_j] </tex>; это относится и к блоку <tex> B_0 </tex>. Из этих двух наблюдений, а также того, что все работы со временами появления меньше, чем <tex> rm_l </tex>, будут помещены в блок <tex> B_0 </tex>, следует, что порядок выполнения будет правильным. | ||
− | Также для корректности требуется, чтобы работы выполнялись не раньше, чем они появляются. Так как время выполнения работы определяется | + | Также для корректности требуется, чтобы работы выполнялись не раньше, чем они появляются. Так как время выполнения работы определяется в строках 5-9 алгоритма, которые соответствуют этому требованию, то условие выполняется. |
Найдем теперь нижнюю оценку на <tex> f_{max} </tex>. Пусть <tex> f_{max}(J) </tex> — ответ для множества работ <tex> J </tex>. | Найдем теперь нижнюю оценку на <tex> f_{max} </tex>. Пусть <tex> f_{max}(J) </tex> — ответ для множества работ <tex> J </tex>. | ||
Строка 101: | Строка 108: | ||
=== Общий алгоритм === | === Общий алгоритм === | ||
− | Выполним <tex>\mathrm{Modify}</tex>, после чего разобъем все множество работ на блоки и для каждого блока запустим <tex>\mathrm{Decompose} | + | Выполним <tex>\mathrm{Modify}</tex>, после чего разобъем все множество работ на блоки и для каждого блока запустим <tex>\mathrm{Decompose}</tex>: |
− | <tex>\langle</tex>'''int''', '''int[]'''<tex>\rangle</tex> makeSchedule(''' | + | <tex>\langle</tex>'''int''', '''int[]'''<tex>\rangle</tex> makeSchedule('''int[]''' jobs): |
'''int'''[] schedule <font color="darkgreen">// Расписание работ</font> | '''int'''[] schedule <font color="darkgreen">// Расписание работ</font> | ||
− | topSort(jobs) | + | jobs = topSort(jobs) |
− | modify(jobs) | + | '''int[]''' rm = modify(jobs) |
− | '''Blocks[]''' b = blocks(jobs) | + | ''sort jobs by'' rm ''values'' |
+ | '''Blocks[]''' b = blocks(jobs.p, rm) | ||
'''int''' ans = <tex> -\infty </tex> | '''int''' ans = <tex> -\infty </tex> | ||
− | '''for''' | + | '''for''' block <tex>\in</tex> b |
− | ans = max(ans, decompose( | + | ans = max(ans, decompose(block,schedule).first) |
'''return''' <tex>\langle</tex>ans, schedule<tex>\rangle</tex> | '''return''' <tex>\langle</tex>ans, schedule<tex>\rangle</tex> | ||
Строка 130: | Строка 138: | ||
<tex> an^2 \geqslant cn + a \sum\limits_{i = 1}^{k} n_i^2 </tex> | <tex> an^2 \geqslant cn + a \sum\limits_{i = 1}^{k} n_i^2 </tex> | ||
− | Так как <tex> n^2 > (n - 1)^2 = (\sum\limits_{i = 1}^{k} n_i)^2 = \sum\limits_{i = 1}^{k} n_i^2 + 2\sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j </tex>, то можно переписать неравенство в следующем виде: | + | Так как <tex> n^2 > (n - 1)^2 = \Big(\sum\limits_{i = 1}^{k} n_i\Big)^2 = \sum\limits_{i = 1}^{k} n_i^2 + 2\sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j </tex>, то можно переписать неравенство в следующем виде: |
<tex> 2a \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j \geqslant cn </tex> | <tex> 2a \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j \geqslant cn </tex> | ||
Строка 138: | Строка 146: | ||
<tex> \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j \geqslant \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} 1 \cdot n_j = \sum\limits_{j = 1}^{k} (k - 1) n_j = (k - 1) (n - 1) \geqslant \dfrac{nk}{4}</tex> | <tex> \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} n_i n_j \geqslant \sum\limits_{\substack{i, j = 1\\ i \ne j}}^{k} 1 \cdot n_j = \sum\limits_{j = 1}^{k} (k - 1) n_j = (k - 1) (n - 1) \geqslant \dfrac{nk}{4}</tex> | ||
− | Значит, при <tex> a \geqslant \dfrac{cn}{2} \dfrac{4}{nk} = \dfrac{2c}{k} </tex> требуемое неравенство будет выполняться. | + | Значит, при <tex> a \geqslant \dfrac{cn}{2} \cdot \dfrac{4}{nk} = \dfrac{2c}{k} </tex> требуемое неравенство будет выполняться. |
}} | }} |
Текущая версия на 02:18, 5 июня 2016
Задача: |
<wikitex>Дано $n$ работ, которые надо выполнить на одной машине, причем $i$-ая работа выполняется $p_i$ времени. Для каждой работы задана монотонно неубывающая функция $f_i$. Работы можно прерывать, у каждой работы есть время появления $r_{i}$. Также между работами заданы отношения в виде ориентированного графа без циклов: если существует ребро $a \to b$, то работа $a$ должна завершиться до начала выполнения работы $b$. Необходимо построить такое расписание, чтобы величина $f_{max} = \max\limits_{j=1..n}{f_j(C_j)}$, где $C_j$ — время окончания выполнения $j$-ой работы, была минимальна.</wikitex> |
Задача является обобщением , но здесь у работ также есть времена появления, раньше которых их делать запрещено, и их можно прерывать.
Алгоритм
Работу будем обозначать просто ее номером
, при этом, номера работ могут меняться в зависимости от того, по какому параметру они отсортированы. Время появления работы — , время, требуемое для ее выполнения — . Множество ребер графа обозначается как .Идея алгоритма
Будем решать задачу рекурсивно. Разобьем множество работ на подмножества (блоки), внутри которых не будет перерыва между выполнением работ. После этого для каждого из блоков найдем работу, которую выгоднее всего выполнить последней, удалим работу из соответствующего блока и повторим разбиение на подблоки для оставшихся работ. Пустые промежутки между подблоками, полученными из данного блока, заполним выбранной работой. Повторим рекурсивно для каждого из полученных подблоков. Как будет показано далее, данный алгоритм строит корректное и оптимальное расписание. Можно заметить, что если на каждом этапе будет получаться всего один блок, алгоритм выродится в алгоритм Лаулера.
Препроцессинг
Для начала, модифицируем времена появления работ. Если работа топологической сортировки):
зависит от , то, очевидно, она не может быть начата раньше, чем закончится выполнение , поэтому нужно заменить на . Алгоритм, делающий это, представлен ниже (работы рассматриваются в порядкеint[] modify(int jobs[n]):
rm = copy(r)
for u = 1 to n
for (u, v)
E
rm[v] = max(rm[v], rm[u] + p[u])
return rm
После выполнения этого алгоритма для любых двух работ
, таких, что зависит от , выполняется , поэтому, при рассмотрении работ в порядке неубывания времен их появления, они также будут топологически отсортированы.Разбиение на блоки
Здесь и далее считается, что работы отсортированы в порядке неубывания модифицированных
.Станок, выполняющий работы, выполняет работу в некоторые интервалы времени и простаивает в остальное время. Следующий алгоритм разбивает множество работ на блоки, внутри которых станок работает без простоя.
Структура блока
struct Block int start // Время начала выполнения блока int time // Время, затрачиваемое на соответствующий блок int end // Время конца выполнения блока int[] jobs // Номера работ void add() // Добавляет работу в конец jobs[]
Нетрудно заметить, что переменная
получается из суммы и . Используется для читаемости и уменьшения кода . Можно воспринимать как макроподстановку.Алгоритм разбиения
Block[] blocks(int p[n], int rm[n]): int j = 0 int t = 0 // Переменная t указывает на время завершения последней работы Block b[n] for i = 1 to n if t < rm[i] // Время появления очередной работы больше, чем время завершения последней t = rm[i] // работы в блоке, не можем начать её делать. Создаём новый блок j = j + 1 b[j].start = rm[i] b[j].time = 0 b[j].add(i) // Добавляем к последнему блоку рассматриваемую работу, b[j].time = b[j].time + p[i] // увеличиваем суммарное время внутри блока и текущее время t = t + p[i] return b
Если значение
равно нулю, то считаем, что алгоритм возвращает пустое множество.Определим время начала блока
как , а время конца — как .Лемма: |
Существует оптимальное расписание, такое, что все во все временные интервалы , соответствующие блокам , построенным алгоритмом , станок работает без простоя. |
Доказательство: |
Возьмем произвольное оптимальное расписание Возьмем некоторую работу , в нем деление на блоки может также быть произвольным. Найдем первый такой временной интервал , что в есть период простоя внутри (если таких периодов несколько, будем рассматривать первый из них). Обозначим его за . , такую, что она начинается позже, чем в момент времени , не имеет в графе зависимостей предков, завершаемых позже, чем в момент и . Такая работа обязательно существует, иначе для множества работ, выполняемых позже, чем в момент , было бы , и внутри блока был бы простой , что невозможно по построению алгоритма Blocks. Очевидно, мы можем начать выполнять ее в момент времени и полностью, либо частично заполнить простой ; так как — неубывающая функция, то ответ останется оптимальным. Повторяя этот процесс, мы за конечное число шагов придем к оптимальному расписанию с требуемым свойством. |
Декомпозиция
Допустим, у нас есть блок работ, который можно выполнить без прерываний. Общая идея алгоритма
следующая: найдем работу , которую выгоднее всего выполнить последней. Разобъем оставшееся множество работ на блоки, решим задачу для этих блоков рекурсивно и вставим в промежутки между ними, до них и после них, начиная с . Псевдокод этого алгоритма представлен ниже. Алгоритм принимает множество блоков и изначально пустое расписание, при каждом вызове заполняет пробелы в расписании очередной работой и обновляет ответ. Возвращает оптимальное расписание и соответствующее значение .int, int[] decompose(Block b, int[] schedule): int e = b.end // e — время завершения работ блока B find l: f[l](e) = int ans = f[l](e) b.jobs.remove(l) Block[] g = blocks(b.jobs.p, b.jobs.rm) for i = 2 to g.size schedule[g[i-1].end .. g[i].begin - 1] = l // Вставляем работу в расписание между блоками schedule[b.start .. g[1].start - 1] = l // Нужно учесть пропуски перед первым и schedule[g[g.size].end .. b.end - 1] = l // после последнего блоков соответственно for b g ans = max(ans, decompose(b, schedule).first) return ans, schedule
Теорема: |
Расписание для блока, построенное алгоритмом , является корректным и оптимальным. |
Доказательство: |
Докажем сначала корректность. Убедимся, что порядок выполнения работ, заданный графом зависимостей, не нарушается. Заметим, что в разбиении на блоки существует не более одного блока , расположенного до момента времени — иначе после вставки в промежутки между блоками, выполнялся бы с прерываниями. Далее, заметим, что все интервалы времени, на которые назначается работа из блока , находятся внутри интервала ; это относится и к блоку . Из этих двух наблюдений, а также того, что все работы со временами появления меньше, чем , будут помещены в блок , следует, что порядок выполнения будет правильным.Также для корректности требуется, чтобы работы выполнялись не раньше, чем они появляются. Так как время выполнения работы определяется в строках 5-9 алгоритма, которые соответствуют этому требованию, то условие выполняется. Найдем теперь нижнюю оценку на . Пусть — ответ для множества работ .Очевидно, для любой работы выполняется , значит, .Также, так как в оптимальном решении какая-то работа без потомков обязательно заканчивается в блоке Отсюда следует , то . . По псевдокоду алгоритма видно, что его ответ достигает этой нижней оценки. |
Общий алгоритм
Выполним
, после чего разобъем все множество работ на блоки и для каждого блока запустим :int, int[] makeSchedule(int[] jobs): int[] schedule // Расписание работ jobs = topSort(jobs) int[] rm = modify(jobs) sort jobs by rm values Blocks[] b = blocks(jobs.p, rm) int ans = for block b ans = max(ans, decompose(block,schedule).first) return ans, schedule
Из доказанной ранее леммы следует, что
, поэтому расписание для всего множества работ, поделенного на блоки, также будет оптимальным и корректным.Время работы
Теорема: |
Время работы алгоритма MakeSchedule — операций. |
Доказательство: |
Обозначим за время, необходимое для выполнения алгоритма MakeSchedule на n работах. Очевидно, для корректно определенной функции P в силу структуры алгоритма должно выполняться неравенство:
Здесь - размер блока с номером , построенного алгоритмом Blocks(). Заметим, что .Если , то имеем:
Так как , то можно переписать неравенство в следующем виде:
Чтобы получить максимальную нижнюю оценку на , оценим снизу :Значит, при требуемое неравенство будет выполняться. |
См. также
Источники информации
- Peter Brucker. «Scheduling Algorithms» — «Springer», 2006 г. — 63-67 стр. — ISBN 978-3-540-69515-8