394
правки
Изменения
→Доказательство корректности алгоритма
==Доказательство корректности алгоритма==
<tex>T_{i}(x)</tex> - время выполнения множества работ <tex>x</tex> на станке <tex>i</tex>.
{{Лемма
|id=lemma1
|statement=
Расписание, построенное данным алгоритмом, обладает следующим свойством : один из станков работает без простоев.
|proof=Возможно 2 варианта:<li><tex>T_{1}(I_{12}) + T_{1}(I_{1}) >= T_{2}(I_{21}) </tex>. Тогда M_{в разработке1}работает без прерываний, т.к к тому моменту завершения выполнения I_{1} на М_{1} все работы I_{21} выполнены на M_{2}. </li><li></li><ol><li> Время выполнения I1 + <li></ol>
}}
{{Теорема
