Изменения
→Доказательство корректности алгоритма
Таким образом необходимая оценка достигается нашим алгоритмом.
Допустим хотя бы одна машина простаивает, в момент когда есть невыполненные работы, мы имеем следующее неравенство для времен окончания работ (обозначим в тексте далее как <tex> f_i </tex>) на станках <tex>M_1 ... M_m</tex>:
<tex> f_1 \ge f_2 \ge ... \ge f_m </tex>
