Minizing-Gurobi对同一问题的不同结果,但变量域不同

Minizing-Gurobi对同一问题的不同结果,但变量域不同,gurobi,minizinc,flatzinc,Gurobi,Minizinc,Flatzinc,我是一名CS学生,我正在使用Gurobi进行一个项目 我在这里是因为我遇到了一个与Minizing驱动程序一起使用的Gurobi解算器的小问题。我特别注意到,对于同一优化问题(用Minizing建模),Gurobi返回了两个不同的解决方案,但所有浮点问题变量的域不同。第一个问题使用的域等于-2^31.0。。2^31.0,而第二个域使用的域等于-3.402823e+38..3.402823e+38 在第一种情况下,Gurobi返回一个等于1.0的解,在第二种情况下,它返回UNSATorUNBOUN

我是一名CS学生,我正在使用Gurobi进行一个项目

我在这里是因为我遇到了一个与Minizing驱动程序一起使用的Gurobi解算器的小问题。我特别注意到,对于同一优化问题(用Minizing建模),Gurobi返回了两个不同的解决方案,但所有浮点问题变量的域不同。第一个问题使用的域等于-2^31.0。。2^31.0,而第二个域使用的域等于-3.402823e+38..3.402823e+38


在第一种情况下,Gurobi返回一个等于1.0的解,在第二种情况下,它返回UNSATorUNBOUNDED

这两次跑步的区别是什么?你能判断其中一个是否不正确吗?@Dekker1两个实例问题的求解器调用方式相同。正确的结果是1.0,因为问题来自已知的基准集,其他解算器将该值作为解决方案返回。以下链接提供了两个实例问题:两次运行之间的区别是什么?你能判断其中一个是否不正确吗?@Dekker1两个实例问题的求解器调用方式相同。正确的结果是1.0,因为问题来自已知的基准集,其他解算器将该值作为解决方案返回。以下链接提供了两个实例问题: