Gurobi支持数学整数吗?或者它仅限于整数程序的机器精度?

回答

遵循

瑞安Brummet

• 2019年7月22日16:58

假设我有一个非常简单的helloworld风格的整数程序:

最大X酸处理

X * w <= a
X < = 1
0 < = X


其中X是整数变量(可以是0或1)，W和A是常量整数。

进一步假设W非常大，例如2251799813685248。

对于如此大的尺寸，使用标准原语(比如32位int)会导致问题。

因此，我的问题是，Gurobi是否支持数学整数(即，没有边界，并使用类似GMP的东西在hood下)或它是限于机器精度?

0

• 官方的评论

  

  格雷格Glockner

  • 2019年7月22日20:06
  • 编辑

  Gurobi使用标准的混合整数规划(MIP)技术:它通过一系列连续(线性规划)松弛来解决MIP模型。因此，所有变量都是连续(双)值;如果一个值在整数值的IntFeasTol范围内，则该值被认为是整数值。

  另外，一个很大的系数像2251799813685248会导致LP松弛的数值问题。

  (我把这个移到了建模主题)。

  评论的行为永久链接

请登录留下评论。