Hardprob/Minimum Precedence Constrained Scheduling — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)\s*:\s*(\w)\s*→\s*(\w)</m> на <em>\1: \2 → \3</em>) |
||
(не показаны 3 промежуточные версии этого же участника) | |||
Строка 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>, соблюдающую отношения предшествования, т.е. функцию < | + | * Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую отношения предшествования, т.е. функцию <em>f: T → N</em>, такую что |
− | ** <m>∀u | + | ** <m>∀u ≥ 0 \ \ \vert f^{-1}(u)\vert ≤ m</m> |
** из <em>t < t'</em> следует <em>f(t') > f</em>. | ** из <em>t < t'</em> следует <em>f(t') > f</em>. | ||
* Минимизировать время выполнения расписания, т.е. | * Минимизировать время выполнения расписания, т.е. | ||
− | <m>\max\limits_{ | + | <m>\max\limits_{t∈ T} f(t) → \min</m> |
---- | ---- |
Текущая версия на 22:16, 17 апреля 2023
- Набор задач T, m процессоров, единичная время-длина , частичный подрядок предшествования на T.
- Найти m-процессорное расписание для T, соблюдающую отношения предшествования, т.е. функцию f: T → N, такую что
- из t < t' следует f(t') > f.
- Минимизировать время выполнения расписания, т.е.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SS9»