Изменения

Участник:Qtr

20 байт добавлено, 18:36, 29 мая 2016

м

→‎Декомпозиция

{{Теорема

|statement=

Расписание для блока, построенное алгоритмом <tex>\mathrm{Decompose}</tex>, является корректным и оптимальным.

|proof=

Докажем сначала корректность.

81

правка