Questions tagged [irreducible-infeasible-subset]
For questions on subsets of constraints of an infeasible mathematical program whose (strict) subsets are feasible.
3
questions
2
votes
1answer
228 views
How to know which constraint in CP-SAT did not meet the feasibility gap
Is there any systematic way to retrieve some information on the constraint that caused infeasibility in Or.Tools CP-SAT?
...
11
votes
1answer
87 views
Computational complexity to compute an IIS
How hard is it to compute an irreducible infeasible subset (IIS) for a linear program? What about an integer program (e.g., removing the integrality constraint on a single variable may be enough to ...
17
votes
2answers
191 views
Is the Irreducible Infeasible Subset (IIS) of an LP unique?
The IIS is a standard part of most modern solvers, but is it unique for an LP? My intuition tells me that it should be, but I could find any proof.
