运筹学中检验数为什么能判断目标函数是最优的