CLP求解器(Coin-Or)的精度是多少？

Question

我正在尝试比较LP解算器，看看是否可以使用它们来解决我的问题。所以我需要一个精确的求解器。我能找到的是容差，虽然我不确定这是否一个适当的指标。

对于GUROBI，完整性公差定义为10^-6 (默认值，参见source)；CPLEX的原始/双重可行性公差为10^-6，完整性公差为10^-5 (默认值，参见source)

CON-OR的CLP的(默认)容差是多少？这是准确性的一个很好的衡量标准吗？

Answer 1

CLP是针对连续线性规划问题的，因此没有整数可行容差。MIP解算器称为CBC。在CBC提示符下键入integerT??，您将看到类似以下内容：

D:\Python\Python37\Scripts>cbc
Welcome to the CBC MILP Solver
Version: 2.9.0
Build Date: Feb 12 2015

CoinSolver takes input from arguments ( - switches to stdin)
Enter ? for list of commands or help
Coin:integerT??
integerT(olerance) : For an optimal solution no integer variable may be this away from an integer value
Beware of setting this smaller than the primal tolerance.
<Range of values is 1e-020 to 0.5;
        current 1e-006>
Coin:

这是一个旧版本，所以请用你的CBC.EXE检查它。

请注意，有许多公差在起作用:可行性公差、最优性公差。此外，缩放和预解析可能会产生影响。我通常会保留所有这些容差不变。修正模型往往比修补这些公差要好得多。

如果您需要极高的精度，有所谓的rational MIP解算器。然而，它们往往非常慢。