算法分析-最优解推导