下降子序列的最小划分等于最长不下降子序列的长度究竟是为什么