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)
- [Feature request] Writing a problem to the AMPL format
- RFE: dynamic line length HOT 9
- 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 HOT 1
- Adding constraint improves objective. HOT 4
- Request: Publish debs for aarch64
- SCIP v8.0.3 not accepting initial feasible solution HOT 5
- Inconsistent results between SCIP and Gurobi HOT 5
- Can't subscribe to the SCIP mailing list HOT 1
- Changing variable bounds during reoptimization HOT 9
- [Feature request] WebAssembly target HOT 4
- Variable name with space in solution file
- Documentation update about trigonometric functions (cos, sin) support HOT 3
- [Bug] SCIPnodeFree() triggers a segmentation fault for certain problems. HOT 1
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.