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