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