394
правки
Изменения
→Доказательство корректности алгоритма
Расписание, построенное данным алгоритмом, обладает следующим свойством : один из станков работает без простоев.
|proof=
Рассмотрим 2 вариантаслучая:
<ul>
<li><tex>T_{1}(I_{12}) + T_{1}(I_{1}) >= T_{2}(I_{21}) </tex>.
