577
правок
Изменения
→Доказательство корректности
Таким образом, работы, не попавшие в <tex>S</tex>, будут иметь минимальное значение <tex>w_i</tex>.
== Доказательство корректности ==
{{Теорема
|statement=
Вышеописанный алгоритм корректен и строит оптимальное множество работ <tex>S</tex>.
|proof=
Пусть <tex>S</tex> {{---}} множество работ, вычисленное с помощью алгоритма. Тогда все работы, находящиеся в этом множестве, будут выполнены в срок
}}
