76
правок
Изменения
м
→Доказательство оптимальности
==== Доказательство оптимальности ====
{{
Утверждение|id=proposal1|statement=
Пусть <tex>S=\{\pi_1,\pi_2,~\dots,~\pi_n\}</tex> — входная перестановка. В результате описанного алгоритма размер массива <tex>B</tex> равен длине НВП последовательности <tex>S</tex>
