最优性的充分条件