Hardprob/Minimum Sequencing With Release Times — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \ge на ≥) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \rightarrow на →) |
||
| Строка 5: | Строка 5: | ||
** длина <m>l(t)\in Z^+</m> | ** длина <m>l(t)\in Z^+</m> | ||
** вес <m>w(t)\in Z^+</m> | ** вес <m>w(t)\in Z^+</m> | ||
| − | * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T | + | * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T → N</m>, которая |
** <m>∀u ≥ 0</m>, если <em>S(u)</em> это набор задач <em>t</em>, для которых <m>f(t)\le u <f(t)+l(t)</m>, то <m>\vert S(u)\vert = 1</m> (в процессе только одна задача) | ** <m>∀u ≥ 0</m>, если <em>S(u)</em> это набор задач <em>t</em>, для которых <m>f(t)\le u <f(t)+l(t)</m>, то <m>\vert S(u)\vert = 1</m> (в процессе только одна задача) | ||
** <m>∀t \ \ f(t)≥ r(t)</m> (раньше релиза не запускаем) | ** <m>∀t \ \ f(t)≥ r(t)</m> (раньше релиза не запускаем) | ||
Версия 11:34, 17 апреля 2023
- Набор задач T, для каждой задачи есть
- время релиза (раньше запускать задачу нельзя)
- длина
- вес
- Найти однопроцессорное расписание для T, которое соблюдает времена релиза, т.е. функция , которая
- , если S(u) это набор задач t, для которых , то (в процессе только одна задача)
- (раньше релиза не запускаем)
- Минимизировать взвешенную сумму времен завершения
Задача в лаб22 (рид-онли просмотр)