Increasing subsequence (source code)

= Increasing subsequence

An increasing subsequence of a sequence $x_1,\ldots,x_n$ is a sequence $x_{i_1}\leq\cdots\leq x_{i_m}$ selected at indices $i_1<\cdots<i_m$.