6.7.2 最优子序列性质