317
правок
Изменения
→Второй шаг
r[j] = max(r[j], t + 1)
В результате ответ можно получить, зная конечный массив <tex>\mathtt x</tex> и делайны работ: <tex>L_{max} = \max\limits_i \{\mathtt x[i] - \mathtt j[i].deadlined\}</tex>, где <tex> \mathtt j</tex> {{---}} массив работ. Можно заметить, что при вычислении ответа неважно, какие дедлайны использовать, начальные или релаксированные, потому что для любого <tex>k</tex> и его предка <tex>i</tex> выполняется неравенство <tex> \mathtt j[k].deadline d \leqslant \mathtt j[i].deadline d - 1</tex>, а значит, после релаксации минимум не изменится. (При условии, что существует правильное расписание)
=== Доказательство корректности ===