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
Problem-specific certificates #118
base: devel
Are you sure you want to change the base?
Conversation
After attempting to change all equalities to two inequalities in |
While the certificates are zero, does the actual problem work ok? For example, for Example 4, with the LP and all sources classical the critical visibility of the PR box is 1/2. If this is reproduced, then probably its a problem with processing the certificates, which should not be too difficult to fix. |
Changes:
|
Failing tests:
I can look at the failing |
When I try getting the critical visibility using
|
…elax_inequalities -> relaxation, relax_known_vars removed)
Feasibility as optimization is back and implemented using the relax inequalities method (now a flag named |
Suppose we have a matrix$A$ of constraints and a vector $b$ of values such that $A_{eq}x=b_{eq}$ and $A_{ineq}x \geq b_{ineq}$ and a vector of dual variables $y$ corresponding to the constraints. Then the problem-specific certificate is a dictionary in the form
{'A_i - b_i': y_i}
for thei
th constraint, whereA_i
uses the names of the variables (e.g.p(0|0)
).