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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: «<!-- start --><!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --> * Набор задач <em>T</em> с длинами <em>l(t)</em>, <em>m</em> процессо…»)
 
(Массовая правка: замена PCRE <m>(\w)_(\w)</m> на <em>\1<sub>\2</sub></em>)
 
(не показано 5 промежуточных версий этого же участника)
Строка 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 \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> и ресурсные ограничения <em>b<sub>i</sub></em>.
−
* Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую отношения предшествования, т.е. функцию <m>f: T→ Z</m>, такую что  
+
* Найти <em>m</em>-процессорное расписание для <em>T</em>, соблюдающую ресурсные ограничения, т.е. функцию <em>f: T → Z</em>, такую что  
−
** <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}
 
\begin{displaymath}
−
∀ i \ \sum_{t \in S(u)}r_i(t) \leq b_i.
+
∀ i \ \sum_{t ∈  S(u)}r_i(t) ≤ b_i.
 
\end{displaymath}
 
\end{displaymath}
 
</m>
 
</m>
 
* Минимизировать общую длительность расписания, т.е.  
 
* Минимизировать общую длительность расписания, т.е.  
−
  <m>\max_{t \in T}(f(t)+l(t))</m>
+
  <m>\max_{t ∈  T}(f(t)+l(t)) → \min</m>
  
 
----
 
----

Текущая версия на 22:33, 17 апреля 2023

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

Задача в лаб17 (рид-онли просмотр)

Источник — «https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Resource_Constrained_Scheduling&oldid=25241»