Hardprob/Minimum Precedence Constrained Scheduling — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \ge на ≥) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
||
Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
− | * Набор задач <em>T</em>, <em>m</em> процессоров, единичная время-длина <m>l(t)=1, \ \ | + | * Набор задач <em>T</em>, <em>m</em> процессоров, единичная время-длина <m>l(t)=1, \ \ ∀t∈ T</m>, частичный подрядок предшествования на <em>T</em>. |
* Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую отношения предшествования, т.е. функцию <m>f: T→ N</m>, такую что | * Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую отношения предшествования, т.е. функцию <m>f: T→ N</m>, такую что | ||
** <m>∀u ≥ 0 \ \ \vert f^{-1}(u)\vert \leq m</m> | ** <m>∀u ≥ 0 \ \ \vert f^{-1}(u)\vert \leq m</m> | ||
Строка 6: | Строка 6: | ||
* Минимизировать время выполнения расписания, т.е. | * Минимизировать время выполнения расписания, т.е. | ||
− | <m>\max\limits_{ | + | <m>\max\limits_{t∈ T} f(t) → \min</m> |
---- | ---- |
Версия 18:01, 17 апреля 2023
- Набор задач T, m процессоров, единичная время-длина , частичный подрядок предшествования на T.
- Найти m-процессорное расписание для T, соблюдающую отношения предшествования, т.е. функцию , такую что
- из t < t' следует f(t') > f.
- Минимизировать время выполнения расписания, т.е.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SS9»