CS0901 HW7
Problem 1 设 $ n>rst $。证明 $ n $ 个数的实数列一定至少含有长度为 $ r $ 的严格上升子序列、长度为 $ s $ 的严格下降子序列、长度为 $ t $ 的常数列中的一个。 证 反证法,假设结论不成立。 我们为第 $ i $ 个元素 $ x_{i} $ 记下标签 $ (a_{i},b_{i}) $,其中 $ a_{i} $ 表示以 $ x_{i} $ 结尾的最长上升子序列长度,$ b_{i} $ 表示以 $ x_{i} $ 结尾的最长下降子序列长度。那么我们有 $ a_{i}\in[r-1],b_{i}\in[s-1] $。因此总共只有 $ (r-1)(s-1) $ 种标签,此时又有 $ n>t\cdot(r-1)(s-1) $,所以至少有 $ t $ 个元素的标签完全相同。 我们假设 $ a_{i}=a_{j},b_{i}=b_{j} $,可以证明 $ x_{i}=x_{j} $。如果不相等,不妨设 $ i< j $。若 $ x_{i}< x_{j} $,那么我们将 $ x_{j} $ 加到以 $ x_{i} $ 结尾的最长上升子序列之后,就得到了一个长度为 $ a_{i}+1 $ 的上升子序列,所以 $ a_{j}\geq a_{i}+1 $,与 $ a_{i}=a_{j} $ 矛盾;若 $ x_{i}>x_{j} $,同理可以得到 $ b_{j}\geq b_{i}+1 $,与 $ b_{i}=b_{j} $ 矛盾。所以一定有 $ x_{i}=x_{j} $。 ...