运筹学大M法的检验数是怎么求的