33
правки
Изменения
→Доказательство корректности алгоритма
Так как нижняя граница <tex>C_{max}</tex>:
<tex>С_{max} = \max\{\max\limits_{j=1}^{m-1} {P_i \over S_j}, {P_n \over S_m}\}</tex>
то достаточно показать, что составленное расписание достигает этой оценки.
