Hardprob/Minimum Resource Constrained Scheduling — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
||
Строка 4: | Строка 4: | ||
** <m>∀ u \leq 0</m>, если <em>S(u)</em> будет набор задач <em>t</em> для которых <m>f(t) \leq u < f(t)+l(t)</m>, то <m>\vert S(u)\vert \leq m</m> и <m> | ** <m>∀ u \leq 0</m>, если <em>S(u)</em> будет набор задач <em>t</em> для которых <m>f(t) \leq u < f(t)+l(t)</m>, то <m>\vert S(u)\vert \leq m</m> и <m> | ||
\begin{displaymath} | \begin{displaymath} | ||
− | ∀ i \ \sum_{t | + | ∀ i \ \sum_{t ∈ S(u)}r_i(t) \leq b_i. |
\end{displaymath} | \end{displaymath} | ||
</m> | </m> | ||
* Минимизировать общую длительность расписания, т.е. | * Минимизировать общую длительность расписания, т.е. | ||
− | <m>\max_{t | + | <m>\max_{t ∈ T}(f(t)+l(t)) → \min</m> |
---- | ---- |
Версия 18:01, 17 апреля 2023
- Набор задач T с длинами l(t), m процессоров, число ресурсов , ресурсные потребности задач и ресурсные ограничения .
- Найти m-процессорное расписание для T, соблюдающую ресурсные ограничения, т.е. функцию , такую что
- , если S(u) будет набор задач t для которых , то и
- Минимизировать общую длительность расписания, т.е.
Задача в лаб22 (рид-онли просмотр)
- Задача в базе NP-полных задач Вигго Кана
- Код задачи в книге «ГД» → «SS10»