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