Hardprob/Minimum Schedule Length — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Массовая правка: замена \rightarrow на →) |
StasFomin (обсуждение | вклад) (Массовая правка: замена \in на ∈) |
||
| Строка 10: | Строка 10: | ||
** для любого <m>0 \leq i \leq l-1</m> и для любого токена <em>t</em>, | ** для любого <m>0 \leq i \leq l-1</m> и для любого токена <em>t</em>, | ||
*** если <m>f_i(t)=v</m> и <m>f_{i+1}(t)=w</m>, то | *** если <m>f_i(t)=v</m> и <m>f_{i+1}(t)=w</m>, то | ||
| − | **** <m>(u,v) | + | **** <m>(u,v) ∈ E</m> |
**** <m>\vert\{t':f_i(t')=w\}\vert < b(w)</m> | **** <m>\vert\{t':f_i(t')=w\}\vert < b(w)</m> | ||
**** <m>\vert\{t':f_{i+1}(t')=w\}\vert \leq b(w)</m> | **** <m>\vert\{t':f_{i+1}(t')=w\}\vert \leq b(w)</m> | ||
Версия 18:01, 17 апреля 2023
- Сеть , где
- граф G=(V,E)
- емкость на вершинах
- емкость на ребрах c: E → N
- T — набор токенов , где , и p — это либо путь из u в v или пустое множество.
- Найти расписание S, т.е. последовательность конфигурационных функций , таких что
- для любого токена , и .
- для любого и для любого токена t,
- если и , то
- если и , то
- Минимизировать длину расписания, l.
Задача в лаб22 (рид-онли просмотр)