Изменения
Нет описания правки
момента времени <tex>t+1</tex>. Так как было опоздание,
<tex>\left\lceil \frac{g'(k, d'_i)}{2} \right\rceil \ge \left\rceillceil\frac{2(x(i) - t) - 1}{2} \right\rceil = x(i) - t</tex>
Из определения вынужденных дедлайнов,
Значит, работа <tex>k</tex> тоже опоздала, что противоречит минимальности выбора <tex>x(i)</tex>.
'''Второй случай''': в каждый момент времени такой, что <tex>0 \le t < x(i)</tex> выполняются две работы. По написанному выше,
для всех этих работ <tex>j</tex>, выполняется <tex>d'_j \le d'_i</tex>.
Тогда есть хотя бы <tex>2x(i) + 1</tex> работ таких, что <tex>d'_j \le d'_i < x(i) + 1</tex>.
Их невозможно сделать за <tex>x(i)</tex> времени, а значит, в каждом таком расписании есть опоздание.
}}
