Hardprob/Minimum Resource Constrained Scheduling — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
StasFomin (обсуждение | вклад) (Массовая правка: замена PCRE <m>(\w)_(\w)</m> на <em>\1<sub>\2</sub></em>) |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | <!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> | ||
| − | * Набор задач <em>T</em> с длинами <em>l(t)</em>, <em>m</em> процессоров, число ресурсов <m>r</m>, ресурсные потребности задач <m>r_i(t), \ 1 | + | * Набор задач <em>T</em> с длинами <em>l(t)</em>, <em>m</em> процессоров, число ресурсов <m>r</m>, ресурсные потребности задач <m>r_i(t), \ 1 ≤ i ≤ r \ ∀t ∈ T</m> и ресурсные ограничения <em>b<sub>i</sub></em>. |
| − | * Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую ресурсные ограничения, т.е. функцию < | + | * Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую ресурсные ограничения, т.е. функцию <em>f: T → Z</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 ≤ m</m> и <m> |
\begin{displaymath} | \begin{displaymath} | ||
| − | ∀ i \ \sum_{t ∈ S(u)}r_i(t) | + | ∀ i \ \sum_{t ∈ S(u)}r_i(t) ≤ b_i. |
\end{displaymath} | \end{displaymath} | ||
</m> | </m> | ||
Текущая версия на 22:33, 17 апреля 2023
- Набор задач T с длинами l(t), m процессоров, число ресурсов , ресурсные потребности задач и ресурсные ограничения bi.
- Найти m-процессорное расписание для T, соблюдающую ресурсные ограничения, т.е. функцию f: T → Z, такую что
- , если S(u) будет набор задач t для которых , то и
- Минимизировать общую длительность расписания, т.е.
Задача в лаб17 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SS10»