轻舟过 发表于 2012-10-24 10:49 【链接登录后可见】

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

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

设a_1,a_2\ldots, a_{n^ ...

我理解了后面的那部分，但是不理解前面的一个地方：这是假设不存在n+1而存在能排列n个递减子序列

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