Классификация задач — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «<div style="background-color: #ABCDEF; font-size: 16px; font-weight: bold; color: #000000; text-align: center; padding: 4px; border-style: solid; border-width: 1p...»)
 
м (rollbackEdits.php mass rollback)
 
(не показано 27 промежуточных версий 9 участников)
Строка 1: Строка 1:
<div style="background-color: #ABCDEF; font-size: 16px; font-weight: bold; color: #000000; text-align: center; padding: 4px; border-style: solid; border-width: 1px;">Эта статья находится в разработке!</div>
+
==Нотация Грэхема==
<includeonly>[[Категория: В разработке]]</includeonly>
+
<tex> \alpha \mid \beta \mid \gamma </tex>
 +
 
 +
Поле <tex> \alpha </tex> описывает тип обработки. Задается одним значением.
 +
 
 +
Поле <tex> \beta </tex> описывает характеристики работ. Задает параметры работ, и то, какими свойствами должно обладает расписание.
 +
 
 +
Поле <tex> \gamma</tex> описывает критерий оптимизации. Содержит функцию, которую нужно оптимизировать.
 +
 
 +
==Типы обработки==
 +
{{Определение
 +
|definition =
 +
'''Одна машина''' (англ. ''Single machine'', ''<tex>1</tex>''). В системе находится одна машина.}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Параллельные одинаковые машины''' (англ. ''Parallel and Identical Machines'', ''<tex>P_{m}</tex>''). В системе находится <tex>m</tex> одинаковых машин, работающих параллельно.}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Параллельные однородные машины''' (англ. ''Uniform Machines'', ''<tex>Q_{m}</tex>''). В системе находится <tex>m</tex> машин, работающих параллельно. У машин разные скорости выполнения работ.}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Параллельные несвязанные машины''' (англ. ''Unrelated Machines'', ''<tex>R_{m}</tex>''). В системе находится <tex>m</tex> машин, работающих параллельно. У машин разные скорости выполнения разных работ.}}
 +
 
 +
 
 +
{{Определение
 +
|definition =
 +
'''Job shop''' (''<tex>J_{m}</tex>''). В системе находится <tex>m</tex> машин, работающих параллельно. У каждой работы свой упорядоченный список машин, на которых они должны быть выполнены.}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Flow shop''' (''<tex>F_{m}</tex>''). В системе находится <tex>m</tex> машин, работающих параллельно. Машины упорядочены. Работы должны выполняться сначала на первой машине, потом на второй и так далее до последней.}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Open shop''' (''<tex>O_{m}</tex>''). В системе находится <tex>m</tex> машин, работающих параллельно. Каждая работа должна быть выполнена один раз на каждой машине. Порядок не важен}}
 +
 
 +
==Характеристики работ==
 +
{{Определение
 +
|definition =
 +
'''Время работы''' (англ. ''Processing time'', ''<tex>p_{i,j}</tex>''). Если работа <tex>j</tex> выполняется на машине <tex>i</tex>, то <tex>p_{i,j}</tex> является временем обработке работы <tex>j</tex> на машине <tex>i</tex>}}
 +
 
 +
{{Определение
 +
|definition =
 +
'''Время появления''' (англ. ''Release date'', ''<tex>r_{j}</tex>'') является временем появления в системе работы <tex>j</tex>, минимальное время в которое можно начать обработку работы <tex>j</tex>}}
  
Классификация задач
 
нотация Грэхема
 
a|b|c
 
a - тип обработки
 
b - характерстика работ
 
с - критерий оптимизации
 
==Диаграммы Гантта==
 
Пусть работы <tex> J_i (i = 1,..,n) </tex> должны быть выполнены на машинах <tex> M_i (i = 1,..,n) </tex>.
 
 
{{Определение
 
{{Определение
 
|definition =
 
|definition =
'''Расписанием''' называется соответствие между каждой работой и одним или более интервалов времени на одной или более машине, на которой эта работа выполняется.
+
'''Время окончания''' (англ. ''Due date'', ''<tex>d_{j}</tex>'') является временем до которого ожидается выполнения работы <tex>j</tex>. Если работа <tex>j</tex> была выполнена после <tex>d_{j}</tex>, то налагается штраф}}
}}
 
'''Диаграмма Гантта''' <tex>{-}</tex> способ представления расписания.
 
  
===Пример===
+
{{Определение
'''вставь картинку'''
+
|definition =
 +
'''Дедлайн''' (англ. ''Deadline'', ''<tex>d_{j}</tex>'') {{---}} тоже самое что и время окончания, но после дедлайна выполнять работу нельзя.}}
  
==Нотация Грэхема==
+
{{Определение
Чтобы описать задачу на теорию расписаний требуется указать три поля.
+
|definition =
 +
'''Вес''' (англ. ''Weight'', ''<tex>w_{j}</tex>'') {{---}} величина, отражающая значение работы <tex>j</tex>.}}
  
<tex> \alpha | \beta | \gamma </tex>. При этом
+
{{Определение
==Характеристика работ==
+
|definition =
 +
'''Прерывание''' (англ. ''Preemption'', ''<tex>pmtn</tex>''). Работа может быть прервана и продолжена позже.}}
  
<tex> \beta_1 {-}</tex> pmtn(premtion) - возможность остановить работу и продолжить ее позже. Работа может быть прервана несколько раз.
+
==Зависимость между работами==
+
Работа может начаться только после выполнения некоторых других работ. Зависимость между работами может быть представлена в виде [[Основные определения теории графов#oriented_grath|ориентированного графа]]. При этом каждой вершине сопоставляется работа таким образом, что если <tex>i</tex> выполняется перед <tex>j</tex>, то существует ребро из вершины <tex>i</tex> в <tex>j</tex>.
<tex> \beta_2 {-}</tex> precedence - работа может начаться только после завершения каких-то других работ. b2 удобно задавать графом.
 
prec - ациклический направленный граф, соответственно ребро (i, j), будет если j может начаться только после окончания i.
 
'''write about intree outtree '''
 
  
<tex> \beta_3 {-}</tex> означает, что работы появляются в определенное время (release time), задается множеством <tex> r_i </tex>.
+
{{Определение
 +
|definition =
 +
'''Prec''' {{---}} произвольный ациклический граф зависимостей.
 +
}}
  
<tex> \beta_4 {-}</tex> время, которое нужно затратить станку на выполнение работы, задается множеством <tex> p_i </tex>.  
+
{{Определение
 +
|definition =
 +
'''Chains''' {{---}} ациклический граф зависимостей, причём в каждую вершину входит не более одного ребра и выходит не более одного ребра.
 +
}}
  
<tex> \beta_5 {-}</tex> дедлайны на работы, время к которому работы должны быть закончены, задается множеством <tex> d_i </tex>.
+
{{Определение
 +
|id = intree
 +
|definition =
 +
'''Intree''' {{---}} дерево зависимостей, из каждой вершины которого выходит не более одного ребра.
 +
}}
  
<tex> \beta_6 {-}</tex> условие на пакеты. Означает, что некоторые работ объединены в группу, которая должна быть выполнена на одной машине.
+
{{Определение
 +
|definition =
 +
'''Outtree''' {{---}} дерево зависимостей, в каждую вершину которого входит не более одного ребра.
 +
}}
  
==Критерии оптимизации==
+
==Критерий оптимизации==
 
<tex> C_i </tex> время окончания работы
 
  
<tex> L_i = C_i - d_i </tex>
+
{{Определение
 +
|definition =
 +
'''Цель оптимизации''' {{---}} минимизировать тот или иной критерий.}}
  
<tex> T_i = max0, C_i - d_i</tex> '''Найти аккуратные максимум'''
+
{{Определение
 +
|definition =
 +
<tex> {-} </tex> (англ. ''None''). Цель {{---}} просто сделать.}}
  
<tex> U_i = </tex>
+
{{Определение
<tex>  \Bigg\{  
+
|definition =
\begin{matrix}
+
'''Время окончания работы''' (англ. ''Completion time'', ''<tex>C_{j}</tex>'') {{---}} время окончания обработки работы <tex>j</tex>.}}
    1,c_i > d_i \\
 
    0, c_i < p_i\\
 
\end{matrix}
 
</tex>
 
  
f_i(C_i) монотонно неубывающая функция  f_max = max f_i
+
{{Определение
 +
|definition =
 +
'''Опоздание''' (англ. ''Lateness'', ''<tex>L_{j}</tex>''). <tex>L_{j} = C_{j} - d_{j}</tex>.}}
  
 +
{{Определение
 +
|definition =
 +
'''Медлительность''' (англ. ''Tardiness'', ''<tex>T_{j}</tex>''). <tex>T_{j} = \max(L_{i}, 0)</tex>.}}
  
 +
{{Определение
 +
|definition =
 +
'''Штраф''' (англ. ''Unit penalty'', ''<tex>U_{j}</tex>''). Если <tex>C_{j} > d_{j}</tex>, то <tex>U_{j} = 1</tex>, иначе <tex>U_{j} = 0</tex>. }}
  
==Тип обработки==
+
==См. также==
<tex> P_m {-}</tex> несколько одинаковых станков
+
*[[Методы решения задач теории расписаний]]
 +
*[[Правило Лаулера]]
  
<tex> Q_m {-}</tex> разные, но однородные станки(отличаются скорость).
+
==Источники информации==
 +
*[http://books.google.ru/books?id=MAY1ZstmGPkC&dq=HandBook+of+Scheduling&hl=ru&sa=X&ei=O8PMT8nYEKjh4QTKgsHsBw&ved=0CDMQ6AEwAA Handbook of scheduling: algorithms, models, and performance analysis, Joseph Y-T. Leung ]
 +
*[http://books.google.ru/books?id=FrUytMqlCv8C&printsec=frontcover&dq=scheduling+algorithms&hl=ru&sa=X&ei=0MPMT4HqKYSk4gSBm6gp&sqi=2&ved=0CDEQ6AEwAA#v=onepage&q=scheduling%20algorithms&f=false Scheduling Algorithms, Peter Brucker]
  
<tex> R_m {-}</tex> разные произвольные станки.
+
[[Категория:Алгоритмы и структуры данных]]
 +
[[Категория:Теория расписаний]]

Текущая версия на 19:39, 4 сентября 2022

Нотация Грэхема

[math] \alpha \mid \beta \mid \gamma [/math]

Поле [math] \alpha [/math] описывает тип обработки. Задается одним значением.

Поле [math] \beta [/math] описывает характеристики работ. Задает параметры работ, и то, какими свойствами должно обладает расписание.

Поле [math] \gamma[/math] описывает критерий оптимизации. Содержит функцию, которую нужно оптимизировать.

Типы обработки

Определение:
Одна машина (англ. Single machine, [math]1[/math]). В системе находится одна машина.


Определение:
Параллельные одинаковые машины (англ. Parallel and Identical Machines, [math]P_{m}[/math]). В системе находится [math]m[/math] одинаковых машин, работающих параллельно.


Определение:
Параллельные однородные машины (англ. Uniform Machines, [math]Q_{m}[/math]). В системе находится [math]m[/math] машин, работающих параллельно. У машин разные скорости выполнения работ.


Определение:
Параллельные несвязанные машины (англ. Unrelated Machines, [math]R_{m}[/math]). В системе находится [math]m[/math] машин, работающих параллельно. У машин разные скорости выполнения разных работ.



Определение:
Job shop ([math]J_{m}[/math]). В системе находится [math]m[/math] машин, работающих параллельно. У каждой работы свой упорядоченный список машин, на которых они должны быть выполнены.


Определение:
Flow shop ([math]F_{m}[/math]). В системе находится [math]m[/math] машин, работающих параллельно. Машины упорядочены. Работы должны выполняться сначала на первой машине, потом на второй и так далее до последней.


Определение:
Open shop ([math]O_{m}[/math]). В системе находится [math]m[/math] машин, работающих параллельно. Каждая работа должна быть выполнена один раз на каждой машине. Порядок не важен


Характеристики работ

Определение:
Время работы (англ. Processing time, [math]p_{i,j}[/math]). Если работа [math]j[/math] выполняется на машине [math]i[/math], то [math]p_{i,j}[/math] является временем обработке работы [math]j[/math] на машине [math]i[/math]


Определение:
Время появления (англ. Release date, [math]r_{j}[/math]) является временем появления в системе работы [math]j[/math], минимальное время в которое можно начать обработку работы [math]j[/math]


Определение:
Время окончания (англ. Due date, [math]d_{j}[/math]) является временем до которого ожидается выполнения работы [math]j[/math]. Если работа [math]j[/math] была выполнена после [math]d_{j}[/math], то налагается штраф


Определение:
Дедлайн (англ. Deadline, [math]d_{j}[/math]) — тоже самое что и время окончания, но после дедлайна выполнять работу нельзя.


Определение:
Вес (англ. Weight, [math]w_{j}[/math]) — величина, отражающая значение работы [math]j[/math].


Определение:
Прерывание (англ. Preemption, [math]pmtn[/math]). Работа может быть прервана и продолжена позже.


Зависимость между работами

Работа может начаться только после выполнения некоторых других работ. Зависимость между работами может быть представлена в виде ориентированного графа. При этом каждой вершине сопоставляется работа таким образом, что если [math]i[/math] выполняется перед [math]j[/math], то существует ребро из вершины [math]i[/math] в [math]j[/math].


Определение:
Prec — произвольный ациклический граф зависимостей.


Определение:
Chains — ациклический граф зависимостей, причём в каждую вершину входит не более одного ребра и выходит не более одного ребра.


Определение:
Intree — дерево зависимостей, из каждой вершины которого выходит не более одного ребра.


Определение:
Outtree — дерево зависимостей, в каждую вершину которого входит не более одного ребра.


Критерий оптимизации

Определение:
Цель оптимизации — минимизировать тот или иной критерий.


Определение:
[math] {-} [/math] (англ. None). Цель — просто сделать.


Определение:
Время окончания работы (англ. Completion time, [math]C_{j}[/math]) — время окончания обработки работы [math]j[/math].


Определение:
Опоздание (англ. Lateness, [math]L_{j}[/math]). [math]L_{j} = C_{j} - d_{j}[/math].


Определение:
Медлительность (англ. Tardiness, [math]T_{j}[/math]). [math]T_{j} = \max(L_{i}, 0)[/math].


Определение:
Штраф (англ. Unit penalty, [math]U_{j}[/math]). Если [math]C_{j} \gt d_{j}[/math], то [math]U_{j} = 1[/math], иначе [math]U_{j} = 0[/math].


См. также

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