Изменения

Отсортируем работы в порядке невозрастания дедлайнов.

{{Теорема

|statement=Если в оптимальном расписании можно сделать <tex>k</tex> работ, то можно сделать первые <tex>k</tex> работ.