Hardprob/Minimum Schedule Length — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
(Массовая правка: замена \rightarrow на →)
(Массовая правка: замена \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) \in E</m>
+
**** <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 (рид-онли просмотр)