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