Изменения
→Доказательство корректности алгоритма
Корректность алгоритма очевидна.
Докажем оптимальность.
Рассмотрим станок на котором достигается <tex>С_{max}</tex>. Если этот станок работает без прерываний, то оптимальность очевидна(<tex>C_{max} >= \sum p_{i}</tex>)
}}
