Изменения
→Доказательство корректности алгоритма
<tex>T_{j}(x)</tex> - время выполнения множества работ <tex>x</tex> на станке <tex>j</tex>.
<tex>G_{j}</tex> - множество всех работ, которые нужно сделать хотя бы раз на <tex>j</tex>-м станке.(Формально <tex>G_{1} = I_{1} /\cup I_{12} /\cup I_{21}</tex>)
{{Лемма
|id=lemma1
