内存占用少的 ILP 求解器

Question

我正在尝试通过将其公式化为整数线性程序来解决序列标记问题（作为一个实验，看看以这种方式执行它的效果如何）。我已经找到了some suggestions for solvers on SO，但由于我受到一些限制，我想得到一些更细粒度的建议（是的，这个双关语实际上是有意的）。

在使用COIN-OR 时，由于长度原因，我的一半以上序列的内存不足，尽管我认为没有理由需要为手头的问题使用这么多内存：这是一个布尔线性程序，所以我理论上每个功能只需要一位。但是，例如the COIN Open Solver Interface 似乎只能使用双精度值，例如定义约束。

是否有任何（免费）ILP 包非常适合布尔问题或至少适用于具有非常小的潜在值范围的问题？

Answer 1

CPLEX 似乎被认为是最先进的，根据我对硬 ILP 的经验，它通常比我发现的任何免费求解器都要好。不幸的是，CPLEX 不是免费的，学术用户除外；如果您符合该描述，IBM 确实为教育机构的学生和研究人员提供了对 CPLEX 的免费访问。