运筹学大M法的检验数是怎么求的?请高手指教,