Skip to main content

INFEASIBILITY CERTIFICATION

Answered

Comments

1 comment

  • Jaromił Najman
    Gurobi Staff Gurobi Staff

    Hi María,

    Could you elaborate a bit more on what exactly you need?

    When you try to solve an infeasible nonconvex problem with a spatial branch-and-bound algorithm, the algorithm at some point proves that there is no point in the defined variable bounds, which fulfills all given constraints. You will not get any infeasible point back from Gurobi, because all points in the given variable bounds are infeasible. Thus, there is always a small ball around an infeasible point that is also infeasible. If this would not be the case, then there would be a feasible point in the defined domain contradicting the infeasibility proof.

    Note that there are numerically troublesome corner cases where a model can be declared infeasible despite being feasible and vice versa. This is most often the result of computational tolerances and a badly scaled model. See Guidelines for Numerical Issues for more insights.

    Best regards, 
    Jaromił

    0

Please sign in to leave a comment.