73
правки
Изменения
м
→Обоснование алгоритма Ху-Таккера
== Обоснование алгоритма Ху-Таккера ==
Далее последовательностью-впадиной будем называть последовательность вида <tex>w_{1} > ... > w_{t} < ... < w_{n}</tex>.
Для обоснования воспользуемся несколькими леммами.
