把整数规划模型的非整数解用凑整的方法处理以后，得到的解一定也是该模型的可行解或最优解