Infeasibility question
AnsweredHello guys, I am modeling a problem relative to traffic equilibrium, and when I add more than a certain number of traffic origindestination pairs it becomes infeasible. Does this mean that I am reaching the limits of Gurobi since it runs for a certain(large) amount of origindestination pairs? Is it safe to assume that my theoretical model is feasible since it runs for a large number of origindestination pairs? The new pairs do not increase the range of coefficients in the model. They are within the existing running range, they are just more of them.
Kind regards
Iason

Hi Iason,
Does this mean that I am reaching the limits of Gurobi since it runs for a certain(large) amount of origindestination pairs?
No, if a model has a feasible solution then Gurobi should be able to find it at some point in time. This excludes numerically questionable models which or on the edge of (in)feasibility.
Is it safe to assume that my theoretical model is feasible since it runs for a large number of origindestination pairs?
Solving a particular optimization problem does not guarantee that the problem stays feasible for any data input. You would have to think of a more rigorous proof to show that your formulation always yields a feasible point, e.g., by providing a way to always generate a feasible point to your problem from scratch.
Regarding the infeasibility, did you have a look at How do I determine why my model is infeasible?
Best regards,
Jaromił0 
Thanks Jaromił
0
Please sign in to leave a comment.
Comments
2 comments