How does Gurobi handle binary variables in Mixed Integer (Binary) Linear Program?

Sagnik Basumallik

• March 12, 2020 13:46
• Edited

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!

0

• Official comment

  

  Simranjit Kaur

  Gurobi Staff

  • December 06, 2024 00:48

  This post is more than three years old. Some information may not be up to date. For current information, please check the Gurobi Documentation or Knowledge Base. If you need more help, please create a new post in the community forum. Or why not try our AI Gurobot?.

Post is closed for comments.