Comments (2)
Hello @marios-stam, sorry for the late reply.
I still don't have a proper answer for you, so I just paste the SCIP page on conflict analysis: link
Here it says: "Once a node is declared infeasible, SCIP automatically tries to infer a constraint that explains the reason for the infeasibility". Assuming this is true, we could just apply this analysis to the root node. However, as I understand it, we would only get the first constraint that results in an infeasiblity, not all. But this could be worked around with more or less work, I think.
The biggest problem seems to be that some of these things are not present in PySCIPOpt. Sorry for not being able to help.
from scip.
I am not 100% sure what the actual question is. If SCIP returns the status infeasible, then it has proven that the entire problem is infeasible and no solution can exist. So there is no solution to return, also no infeasible solution.
If you would like to know an explanation for the infeasibility, then there are several options. E.g. computing a minimum or minimal set of constraints that are unsatisfiable. SCIP has an extension to do so, see folder applications/MinIISC
, but this is not interfaced to PySCIPOpt (and we have no plans to do so).
A manual alternative would be that you formulate an auxiliary MIP yourself that introduces continuous or binary slack variables for each constraint (all or the ones that you suspect to be problematic). And minimize their sum.
With that I would suggest to close the issue, but please reopen if you have further questions or create a new one if you have a more specific question.
from scip.
Related Issues (20)
- Assertion failed with minimal quadratic model HOT 1
- Assertion failed at the end of a solve HOT 3
- Data race in interrupt.c HOT 4
- ImportError: libscip.so.8.0: cannot open shared object file: No such file or directory HOT 1
- Suboptimal MIP solution reported as optimal HOT 2
- Can you build binary package for a more recent liunx distribution? HOT 3
- SegFault after compiling HOT 5
- Coloring application Branching Rule contradictory code HOT 7
- 2 tests fail HOT 1
- lot of tests from viprchk and «ctest -R MIPEX» failed on «exact-rational» branch HOT 9
- RFE: dynamic line length HOT 6
- question: how not to use nlpi_ipopt which depend on proprietray libhsl.so? HOT 3
- Interesting paper HOT 1
- `RelWithDebInfo` build is still asserting. HOT 4
- question: compiled with GMP=on, how to ensure GMP is used with CVXPY? HOT 3
- Difference in the objective value of a MIP in version 8.1.0 HOT 3
- What are the uses of nauty in SCIP? HOT 4
- System.AccessViolationException when trying to delete a restriction after LPError HOT 1
- Highs interface, option values function call deprecated
- Adding constraint improves objective. HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from scip.