一种基于冲突的路径搜索的整数规划模型