394
правки
Изменения
→Доказательство корректности алгоритма
==Доказательство корректности алгоритма==
{{Лемма
|id=lemma1
|statement= Расписание, построенное данным алгоритмом, обладает следующим свойством : Один изи станков работает без простоев.
|proof={{в разработке}}
}}
{{Теорема
|statement=
