Изменения
→Доказательство
|id=theorem6.15.
|statement=Расписание, построенное данным алгоритмом, оптимально.
|proof=Пусть <tex> l</tex> — максимальное опоздание оптимального расписания. Тогда
<tex>max_{i=1}^{n}L(i) = max_{i=1}^{n}(C_i - d_i) \leqslant l</tex> эквивалентно
<tex>max_{i=1}^{n}(C_i - (d_i+l)) \leqslant 0</tex>.
