Изменения
→Доказательство корректности алгоритма
Пусть, для опеределенности <tex>M_{1}</tex> работает без прерываний.
Рассмотрим станок на котором достигается <tex>C_{max}</tex> . Если это <tex>M_{1}</tex>, то оптимальность очевидна(<tex>C_{max} >= \sum\limits_{i \in I_{1} \cup I_{12} \cup I_{21}} p_i </tex>)
Иначе <tex>C_{max}</tex> достигается на станке <tex>M_{2}</tex>.Тогда ответ равен решению задачи f2cmax для работ <tex>I_{21}</tex>, который может простаиватьоптимален. Пусть для определенности это станок
}}
