假定最优解