192
правки
Изменения
м
→Корректность алгоритма
==Корректность алгоритма==
Ниже приведена теорема, показывающая, что возвращаемое алгоритмом значение <tex>F_k (s, e)</tex> равно <tex>F^*_k (s, e)</tex>.
{{Теорема
|statement=
Для любого <tex>k = 0, \dots, n</tex> и для любого <tex>s, e \in T \mid s \leqslant e</tex>, выполняется: <tex>F_k (s, e) = F^*_k (s, e)</tex>.
|proof=
PROOF
}}
==Другие задачи==
==Источники информации==
