13
правок
Изменения
→Теорема о связи длины НВП и НУП
|proof=
Пусть есть стока <tex> a </tex> длины <tex> n </tex>. Рассмотрим наибольшую возрастающую подпоследовательность
<tex> a[i_1] < a[i_2] < \dots < a[i_k] </tex> и наибольшую убывающую подпоследовательность <tex> x[j_1] > x[j_2] > \dots > x[j_l] </tex> строки <tex> a </tex>.
