运筹学单纯形法检验数