本帖最后由 轻舟过 于 2012-10-24 10:51 编辑

这题是我们离散课课本上的例题

拿出来翻了下，是这样证明的：（_k表示下标k）

设a_1,a_2\ldots, a_{n^2+1}为一排人的高度，对每个a_k，定义数对【链接登录后可见】，i_k为从a_k开始最长的递增子序列，d_

【查看更多内容请登录哈】