Can MIPSOL happens in the PRESOLVE?

回答済み

haonan zhong

2026年06月29日 15:57

• 
• 

I'm adding lazy cut in the callbacks. I realize that a feasible solution is found (Not optimal), but the number of node reported by Gurobi is only one. Is it because the lazy cut is added in the PRESOLVE and the feasible solution is found in the PRESOLVE?

関連

• Lazy Constraints

0

• 

  Riley Clement

  • Gurobi Staff

  2026年06月30日 01:32

  Hi Haonan,

  Yes, feasible solutions can be found during presolve as we have some simple heuristics which run in parallel threads during presolve.

  - Riley

  0
• 

  haonan zhong

  2026年06月30日 15:36

  • 
  • 

  Hi Riley, 

  Thanks for your response! I just want to mention that I'm implementing this code in a lazy-fashion using lazy constraints. I'm not giving the model the lazy constraints that are removed before calling the solver. How does the solver find a feasible solution and verifies feasibility in PRESOLVE without having the lazy constraints?

  0
• 

  Riley Clement

  • Gurobi Staff

  2026年06月30日 22:34

  Hi Haonan,

  When Gurobi finds a solution it will call your callback method using a “MIPSOL” argument for the where parameter, which gives you a chance to cut the solution off with a lazy constraint.  It doesn't matter when the solution is found, the callback is activated regardless.

  - Riley

  0

サインインしてコメントを残してください。