90
правок
Изменения
→Доказательство корректности алгоритма
==Доказательство корректности алгоритма==
TODO Доказательство равенства перестановок на первом и втором станках
Докажем, что полученный нашим алгоритмом лист является отпимальной перестановкой работ.
{{Лемма
