Hardprob/Minimum Sequencing With Release Times — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)\s*:\s*(\w)\s*→\s*(\w)</m> на <em>\1: \2 → \3</em>) |
||
| (не показано 7 промежуточных версий этого же участника) | |||
| Строка 2: | Строка 2: | ||
* Набор задач <em>T</em>, для каждой задачи есть | * Набор задач <em>T</em>, для каждой задачи есть | ||
| − | ** время релиза <m>r(t) | + | ** время релиза <m>r(t)∈ Z^+</m> (раньше запускать задачу нельзя) |
| − | ** длина <m>l(t) | + | ** длина <m>l(t)∈ Z^+</m> |
| − | ** вес <m>w(t) | + | ** вес <m>w(t)∈ Z^+</m> |
| − | * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция < | + | * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <em>f: T → N</em>, которая |
| − | ** <m>∀u | + | ** <m>∀u ≥ 0</m>, если <em>S(u)</em> это набор задач <em>t</em>, для которых <m>f(t)≤u <f(t)+l(t)</m>, то <m>\vert S(u)\vert = 1</m> (в процессе только одна задача) |
| − | ** <m>∀t f(t) | + | ** <m>∀t \ \ f(t)≥ r(t)</m> (раньше релиза не запускаем) |
* Минимизировать взвешенную сумму времен завершения | * Минимизировать взвешенную сумму времен завершения | ||
| − | <m> | + | <m>\sum_{t∈ T} w(t)(f(t)+l(t)) → \min</m> |
| − | \sum_{ | + | |
| − | </m> | + | |
---- | ---- | ||
Текущая версия на 22:16, 17 апреля 2023
- Набор задач T, для каждой задачи есть
- время релиза (раньше запускать задачу нельзя)
- длина
- вес
- Найти однопроцессорное расписание для T, которое соблюдает времена релиза, т.е. функция f: T → N, которая
- , если S(u) это набор задач t, для которых , то (в процессе только одна задача)
- (раньше релиза не запускаем)
- Минимизировать взвешенную сумму времен завершения
Задача в лаб17 (рид-онли просмотр)