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