1precpmtnriLmax — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «<tex dpi = "200">1 \mid prec, pmtn, r_i \mid L_{max}</tex> {{Задача |definition=}} == Описание алгоритма == ==Источники инф...»)
 
Строка 3: Строка 3:
 
{{Задача
 
{{Задача
 
|definition=}}
 
|definition=}}
 +
 +
{{Определение
 +
|id = edd
 +
|definition =
 +
EDD правило
 +
}}
 +
 +
{{Теорема
 +
|id = correctness
 +
|statement= Расписание, составленное с помощью EDD правила корректно решает задачу <tex dpi>1 \mid prec, pmtn, r_i \mid L_{max}</tex>
 +
|proof=
 +
}}
  
 
== Описание алгоритма ==
 
== Описание алгоритма ==

Версия 00:43, 6 июня 2016

[math]1 \mid prec, pmtn, r_i \mid L_{max}[/math]


Задача:


Определение:
EDD правило


Теорема:
Расписание, составленное с помощью EDD правила корректно решает задачу [math]1 \mid prec, pmtn, r_i \mid L_{max}[/math]

Описание алгоритма

Источники информации

  • Peter Brucker «Scheduling Algorithms», fifth edition, Springer — с. 70 ISBN 978-3-540-69515-8