三、最优解判定定理