Opij1sumwu — различия между версиями
(→Алгоритм) |
(→Описание алгоритма) |
||
| Строка 37: | Строка 37: | ||
и начальное условие: <tex>f_{n+1}(k,k_1,\ldots ,k_m)=0 </tex> для <tex>k,k_1,\ldots ,k_m = 0,1,\ldots ,m</tex>. | и начальное условие: <tex>f_{n+1}(k,k_1,\ldots ,k_m)=0 </tex> для <tex>k,k_1,\ldots ,k_m = 0,1,\ldots ,m</tex>. | ||
| + | |||
| + | Ответ на задачу будет находиться в <tex>f_1(0,0,\ldots,0)</tex> | ||
==Доказательство корректности== | ==Доказательство корректности== | ||
Версия 17:18, 14 мая 2016
| Задача: |
| Дано одинаковых станков, которые работают параллельно, и работ, которые необходимо выполнить в произвольном порядке на всех станках. Любая работа на любом станке выполняется за единицу времени. Для каждой работы есть время окончания — время, до которого она должна быть выполнена. Требуется минимизировать , то есть суммарный вес всех просроченных работ. |
Содержание
Описание алгоритма
Для решения этой задачи, мы должны найти множество , что минимальна. Будем решать эту задачу с помощью динамического программирования с использованием утверждений из решении задачи .
Рассмотрим работы в порядке не убывания дедлайнов: . Пусть мы нашли решение для работ . Очевидно, что .
Пусть — вектор соответствующий множеству из задачи . Тогда, для добавления работы в множество должно выполняться неравенство: , где и — номер периода времени , чтобы и . Чтобы проверить это неравенство, нам нужно чисел .
Определим переменные:
.
Тогда можно заметить, что .
Упростим исходное неравенство: или .
Для динамического программирования определим для минимизации , где и где .
Пусть , тогда определим рекуррентное выражение для :
и начальное условие: для .
Ответ на задачу будет находиться в
Доказательство корректности
Время работы
См. также
Источники информации
- Peter Brucker. «Scheduling Algorithms» — «Springer», 2006 г. — c. 168 - 171. ISBN 978-3-540-69515-8