算法基础-最优性判定条件