算法设计与分析-最优性判定