bc选项

bcopt:混合整数程序的分支和剪切代码。本文描述了一个分支割混合整数规划系统bc opt,它包含了已被使用或建议用于此类系统的大多数有效不等式,即提升0-1背包不等式、0-1 gub背包和整数背包不等式、流覆盖和连续背包不等式,固定电荷网络流结构和Gomory混合整数切割的路径不等式。主要开发是一组接口例程,允许这些剪切例程为新的子集或约束集合生成剪切。par系统是使用XPRESS优化子程序库(XOSL)构建的,XOSL包括一个处理树和剪切管理的剪切管理器,因此用户基本上只需要开发切割分离例程。MIPLIB3.0库的par结果显示——37个实例非常容易解决,其他18个实例产生最佳或近似最优解,其余4个实例中,3个具有0,+1,−1矩阵,bc opt不包含特殊矩阵特征。