Изменения

Пусть, для опеределенности <tex>M_{1}</tex> работает без прерываний.

Рассмотрим станок на котором достигается <tex>C_{max}</tex> .

<li>Если это <tex>M_{1}</tex>, то оптимальность очевидна (<tex>C_{max} >= \sum\limits_{i \in G_{1}} p_i </tex>).

<li>Иначе <tex>C_{max}</tex> достигается на <tex>M_{2}</tex>.

Тогда либо <tex>M_{2}</tex> работает без прерываний и оптимальность очевидна.

Или есть прерывания.