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