Hardprob/Minimum Resource Constrained Scheduling — различия между версиями

Версия 21:26, 17 апреля 2023

Набор задач T с длинами l(t), m процессоров, число ресурсов , ресурсные потребности задач и ресурсные ограничения .
Найти m-процессорное расписание для T, соблюдающую ресурсные ограничения, т.е. функцию , такую что
- , если S(u) будет набор задач t для которых , то и
Минимизировать общую длительность расписания, т.е.

@@ Строка 1: / Строка 1: @@
 <!-- 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 \leq i \leq r \ ∀t ∈ T</m> и ресурсные ограничения <m>b_i</m>.
+* Набор задач <em>T</em> с длинами <em>l(t)</em>, <em>m</em> процессоров, число ресурсов <m>r</m>, ресурсные потребности задач <m>r_i(t), \ 1 ≤ i ≤ r \ ∀t ∈ T</m> и ресурсные ограничения <m>b_i</m>.
 * Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую ресурсные ограничения, т.е. функцию <m>f: T→ Z</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>
+** <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}
-∀ i \ \sum_{t ∈  S(u)}r_i(t) \leq b_i.
+∀ i \ \sum_{t ∈  S(u)}r_i(t) ≤ b_i.
 \end{displaymath}
 </m>