Hardprob/Minimum Sequencing With Release Times - История изменений

StasFomin: Массовая правка: замена PCRE (\w)\s:\s(\w)\s→\s(\w) на \1: \2 → \3

2023-04-17T22:16:38Z

Массовая правка: замена PCRE <m>(\w)\s*:\s*(\w)\s*→\s*(\w)</m> на \1: \2 → \3

StasFomin: Массовая правка: замена PCRE \\le\s на ≤

2023-04-17T21:28:16Z

Массовая правка: замена PCRE \\le\s на ≤

StasFomin: Массовая правка: замена \in на ∈

2023-04-17T18:01:16Z

Массовая правка: замена \in на ∈

StasFomin: Массовая правка: замена \rightarrow на →

2023-04-17T11:34:10Z

Массовая правка: замена \rightarrow на →

StasFomin: Массовая правка: замена \ge на ≥

2023-04-17T11:30:23Z

Массовая правка: замена \ge на ≥

StasFomin в 06:50, 12 апреля 2023

2023-04-12T06:50:36Z

StasFomin в 06:50, 12 апреля 2023

2023-04-12T06:50:20Z

StasFomin в 06:50, 12 апреля 2023

2023-04-12T06:50:06Z

StasFomin в 06:49, 12 апреля 2023

2023-04-12T06:49:51Z

StasFomin: Новая страница: « * Набор задач T, для каждой задачи есть ** время…»

2023-04-12T06:49:30Z

Новая страница: « * Набор задач T, для каждой задачи есть ** время…»

Новая страница

* Набор задач T, для каждой задачи есть
** время релиза <m>r(t)\in Z^+</m> (раньше запускать задачу нельзя)
** длина <m>l(t)\in Z^+</m>
** вес <m>w(t)\in Z^+</m>
* Найти однопроцессорное расписание для T, которое соблюдает времена релиза, т.е. функция <m>f : T \rightarrow N</m>, которая
** <m>∀u \ge 0</m>, если S(u) это набор задач t, для которых
<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>
\sum_{t\in T} w(t)(f(t)+l(t)).
</m>

----
{{hard-problem-on-lab17|{{PAGENAME}}}}




----


{{ViggoCode|node178}}





[[Категория:ClassicHardProblems]]

@@ Строка 5: / Строка 5: @@
 ** длина <m>l(t)∈  Z^+</m>
 ** вес <m>w(t)∈  Z^+</m>
-* Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T →  N</m>, которая
+* Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <em>f: T → N</em>, которая
 ** <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 = 1</m> (в процессе только одна задача)
 ** <m>∀t \ \  f(t)≥  r(t)</m> (раньше релиза не запускаем)

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

@@ Строка 2: / Строка 2: @@
 * Набор задач <em>T</em>, для каждой задачи есть
-** время релиза <m>r(t)\in Z^+</m> (раньше запускать задачу нельзя)
+** время релиза <m>r(t)∈  Z^+</m> (раньше запускать задачу нельзя)
-** длина <m>l(t)\in Z^+</m>
+** длина <m>l(t)∈  Z^+</m>
-** вес <m>w(t)\in Z^+</m>
+** вес <m>w(t)∈  Z^+</m>
 * Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T →  N</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)≥  r(t)</m> (раньше релиза не запускаем)
 * Минимизировать взвешенную сумму времен завершения
-  <m>\sum_{t\in T} w(t)(f(t)+l(t)) → \min</m>
+  <m>\sum_{t∈  T} w(t)(f(t)+l(t)) → \min</m>
 ----

@@ Строка 5: / Строка 5: @@
 ** длина <m>l(t)\in Z^+</m>
 ** вес <m>w(t)\in Z^+</m>
-* Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T \rightarrow N</m>, которая
+* Найти однопроцессорное расписание для <em>T</em>, которое соблюдает времена релиза, т.е. функция <m>f : T →  N</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)≥  r(t)</m> (раньше релиза не запускаем)

@@ Строка 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>

@@ Строка 9: / Строка 9: @@
 ** <m>∀t \ \  f(t)\ge r(t)</m> (раньше релиза не запускаем)
 * Минимизировать взвешенную сумму времен завершения
-<m>
+ <m>\sum_{t\in T} w(t)(f(t)+l(t)).</m>
 \sum_{t\in T} w(t)(f(t)+l(t)).
 </m>
 ----

Hardprob/Minimum Sequencing With Release Times - История изменений

StasFomin: Массовая правка: замена PCRE (\w)\s*:\s*(\w)\s*→\s*(\w) на \1: \2 → \3

StasFomin: Массовая правка: замена PCRE \\le\s на ≤

StasFomin: Массовая правка: замена \in на ∈

StasFomin: Массовая правка: замена \rightarrow на →

StasFomin: Массовая правка: замена \ge на ≥

StasFomin в 06:50, 12 апреля 2023

StasFomin в 06:50, 12 апреля 2023

StasFomin в 06:50, 12 апреля 2023

StasFomin в 06:49, 12 апреля 2023

StasFomin: Новая страница: « * Набор задач T, для каждой задачи есть ** время…»

StasFomin: Массовая правка: замена PCRE (\w)\s:\s(\w)\s→\s(\w) на \1: \2 → \3