394
правки
Изменения
→Доказательство корректности алгоритма
Рис. 1 - Расположение работ.
* В серой области могут быть прерывания.
]]
Корректность алгоритма очевидна.
Иначе <tex>C_{max}</tex> достигается на <tex>M_{2}</tex>.
Тогда либо <tex>M_{2}</tex> работает без прерываний и оптимальность очевидна.
Или есть прерывания.
