Изменения
→Доказательство корректности
|id=lemma1
|statement= В оптимальном расписании на каждом станке работы выполняются в порядке неубывания времён выполнения.
|proof= Пусть это не так. Заметим что каждая работа даёт вклад в <tex>\sum C_{i}= \sum p_{i} \cdot (b_{i} + 1)</tex> . Следовательно каждая работа даёт вклад равный <tex>p_{i} \cdot (b_{i} + 1)</tex>. Тогда поменяем местами две работы которые нарушают порядок невозрастания. Заметим что <tex>\sum C_{i}</tex> уменьшилась. Следовательно {{---}} оптимальное расписание не оптимально. Противоречие.}}
{{Лемма
