I have a Mixed Integer (Binary) Linear Program with the following variables.
x = m.addVars(nodes, area,vtype=GRB.BINARY, name="x") w = m.addVars(arcs,area, vtype=GRB.BINARY, name="w") z = m.addVars(arcs, vtype=GRB.BINARY,name="z")
f1 = m.addVars(arcs,area,name="f")
When I solve it, Gurobi outputs the following:
Cutting planes: Gomory: 7 Mod-K: 4 RLT: 1
I am wondering whether Gurobi applies Gomory, Mod-K and RLT in parallel?
As per my understanding, RLT converts binary variables x into continuous, x(1-x) and x^2=x leading up to the convex hull representation.On the other hand, Gomory Mixed Integer cuts (or Mod-K cuts) with Lift-and-project subsequently shrinks the region around integer solutions. I am slightly confused about the way Gurobi applies cutting planes. Is there any specific order? Any insight will be extremely helpful!
Please sign in to leave a comment.