在用割平面法求解整数规划问题时，要求全部变量必须都为整数