Изменения
→Доказательство корректности алгоритма
Рассмотрим станок на котором достигается <tex>C_{max}</tex> .
<ul>
<li>Если это <tex>M_{1}</tex>, то оптимальность очевидна (<tex>C_{max} >= \ge \sum\limits_{i \in G_{1}} p_{i1} </tex>).
<li>Иначе <tex>C_{max}</tex> достигается на <tex>M_{2}</tex>.
