Изменения

Перейти к: навигация, поиск

F2Cmax

217 байт добавлено, 19:12, 16 июня 2013
Доказательство корректности алгоритма
==Доказательство корректности алгоритма==
TODO Доказательство равенства перестановок на первом {{Теорема|statement=Существует оптимальное расписание, в котором станки выполняют работы в одном и втором станкахтом же порядке.
|proof= TODO}} Таким образом задача сводится к поиску этой искомой перестановки. Докажем, что полученный нашим алгоритмом лист является отпимальной перестановкой работ.
{{Лемма
|id=lemma1
90
правок

Навигация