最长单调递增子序列——动态规划