90
правок
Изменения
F2Cmax
,→Доказательство корректности алгоритма
==Доказательство корректности алгоритма==
|proof= TODO}} Таким образом задача сводится к поиску этой искомой перестановки. Докажем, что полученный нашим алгоритмом лист является отпимальной перестановкой работ.
{{Лемма
|id=lemma1