-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Try to propagate bounds in equalities #29
Comments
Yeah, this is probably doable, but it can get arbitrarily complicated if, for example, The solution to this (and #27 ) is to actually solve a linear program for each variable to compute the "real" bounds on that variable within the model. But it only really makes sense to do that at the end of constructing the model. That will require re-thinking the way this package works. |
More specifically, this really can only work if we don't choose a big-M when you call |
If I know that the dependencies in my graph constitute a dag and I'm
specifying my constraints in order, would it be possible to calculate
(weak) bounds on x, a and b (and so on?) I'm happy to take a stab at
writing the relevant code.
|
Sure! I would suggest writing a function like |
Here's a rough sketch of two possible approaches (with some design decisions in each); I'd appreciate feedback.
|
This results in an error message, even though we could reason that
-2 <= z <= 6
.The text was updated successfully, but these errors were encountered: