从部分解决方案开始时，gurobi会做最小变化（最小扰动）吗？

Question

我知道在gurobi中，我可以从最初的解决方案入手。即解决在使用

m.optimize() 

的模型M的唱片之后，我可以改变一些制约因素，要么使用

m.reset() 
    m.optimize() 

找到从无到有的LP新的解决方案，还是直接致电

m.optimize() 

从最初的解决方案中找到一个新的解决方案。

我的问题是，当gurobi从最初的解决方案开始时，它是否会对获得新解决方案所需的最小变化（对于变量）？

我认为这是一个微小的扰动问题。如果gurobi默认不这样做，是否有任何方法通知gurobi做最小的改变？

进一步的评论： 据我所知，温暖的开始可能会更快，但变量的变化是最小的。例如，该目标函数是

maximize(i1+i2+i3+i4) 

和初始集约束是这样的：只有

i1,i2 can be set as 1 and i3,i4 as 0. 

现在的限制改变和新的溶液（仍然只有2个变量可以被设置为1）可以是

i1, i3 as 1 (or) i3, i4 as 1. 

难道gurobi优化器最终选择的解决方案以最小的变化i1，i3为1？

此外，如果另一种解决方案是

i1,i2 as 1 

将gurobi选择作为解决方案是为现有的完全一样？

Answer 1

是的，这被称为热启动。大多数现代线性规划解算器（包括Gurobi Optimizer）在修改模型并调用optimize()函数时使用热启动。只需稍作修改，使用热启动来解决模型通常要快得多。但是，如果进行实质性更改，温暖的开始可能比从头开始解决模型要慢。 Gurobi Optimizer还为MIP模型使用了热启动。

随着Gurobi优化，你也可以通过指定的原始和双启动属性（PStart和DStart，分别）通过Start属性，或LP模式启动值。