运筹学对于最大化问题,检验数判别最优解的准则是什么