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