264
правки
Изменения
→Решение
==Решение==
отсортиртировать работы по неубыванию времена появления времен дедлайнов <tex>r_id_i</tex>
<tex>t_1</tex> = <tex>r_1</tex>
'''for''' <tex> i t \in \{ 2 -p_{max} \ldots n -1 \} </tex> '''for''' <tex>t_ij \in \{ 0 \ldots n \} </tex> F_j(t) = \infty '''for''' <tex>t \in \max(r_i, t_{i-10 \ldots T \} + 1)</tex> F_0(t) = 0 Для того, чтобы найти оптимальное расписание, построим полный [[Основные_определения_теории_графов#Двудольный_граф |двудольный граф]], в котором будут доли '''for''' <tex>V_1 = j \left in \{ 1,0 \ldots,n \right\} и V_2 = </tex> '''for''' <tex> t \left in \{ t_1,0 \ldots,t_n \rightd_j \}</tex> и ребра '''if''' <tex>c_F_{ijj-1}+ w_j < F_{j-1}(t-p_j) </tex> между ними:'''then''' <tex> F_j(t) = F_{j-1}(t) + w_j <p/tex> '''else''' <tex>c_ F_j(t) = F_{ijj-1} =(t-p_j) </tex> '''for''' <tex> t \left in \{\begind_{array}{ll} f_i(t_j j+ 1), & r_i } \leqslant t_i ldots T \\\infty, & \mathrm{otherwise}\end{array} \right.</tex> <tex> F_j(t) = F_{j}(d_j) </ptex> Решив задачу о назначениях для данного графа, получим оптимальное расписание.
==Доказательство корректности и оптимальности==