[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] How to analyze which constraint (or combination of cons
Re: [Help-glpk] How to analyze which constraint (or combination of constraints) is causing the model to become unsolvable?
Wed, 14 Jan 2009 14:48:02 -0800
If finding the minimal set of conflicting constraints is a well known problem, are there any solutions provided in GLPK for it? Or is this outside of the scope of GLPK? And if it is, what other tools could be used to find out the minimal set?
On Wed, Jan 14, 2009 at 2:34 PM, Ali Baharev <address@hidden>
> Do you think that makes sense?If i were you i would try the proposal without binary variables. Maybe
it turns out that there is only one violated constraint.
Well, i do not know anything about your problem but i am afraid it
> *) Each companion variable denotes whether the original debugging variables
> are bigger than zero.
would result in a big M formulation.
If you have thousands of constraints, it would yield thousands of new
Please do not forget the fact that the conflicting constraints are ambiguous.
Please also keep in mind that we are re-inventing the wheel, i.e.
finding the minimal set of conflicting constraints is a well-known