Hardprob/Minimum Sequencing With Release Times — различия между версиями

Версия 11:30, 17 апреля 2023

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

@@ Строка 6: / Строка 6: @@
 ** вес <m>w(t)\in Z^+</m>
 * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T \rightarrow N</m>, которая
-** <m>∀u \ge 0</m>, если <em>S(u)</em> это набор задач <em>t</em>, для которых <m>f(t)\le u <f(t)+l(t)</m>, то <m>\vert S(u)\vert = 1</m> (в процессе только одна задача)
+** <m>∀u ≥  0</m>, если <em>S(u)</em> это набор задач <em>t</em>, для которых <m>f(t)\le u <f(t)+l(t)</m>, то <m>\vert S(u)\vert = 1</m> (в процессе только одна задача)
-** <m>∀t \ \  f(t)\ge r(t)</m> (раньше релиза не запускаем)
+** <m>∀t \ \  f(t)≥  r(t)</m> (раньше релиза не запускаем)
 * Минимизировать взвешенную сумму времен завершения
   <m>\sum_{t\in T} w(t)(f(t)+l(t)) → \min</m>