对于线性规划求解器,我们期望什么解决方案质量?

问题描述 投票:0回答:1

我正在尝试解决线性约束满足问题。因此,我抓住了“ GNU线性编程工具包”,写了我的约束,然后用一些简单的目标函数放开它。

GLPK声称找到了解决方案,但是如果我对照约束进行检查,他们将不满意。即,应为<= 0的表达式实际上约为1e-10。即,略大于0。

我可能可以通过设置约束以返回多面体的Chebyshev中心来解决这个问题,但是我想知道线性编程求解器是否会出现这种差异,否则我应该将其报告为GLPK的错误乡亲。

linear-programming glpk
1个回答
0
投票

所有LP解算器都使用可行性和其他容差。这些是必需的,因为浮点计算不精确。您可以稍微拧紧它们,但通常最好不要触摸它们。

因此,您应该期望具有以下属性的解决方案:

  • 变量稍微超出范围
  • 可能会少量违反约束条件
  • 二进制和整数变量是略微非整数的
© www.soinside.com 2019 - 2024. All rights reserved.