Questions tagged [irreducible-infeasible-subset]

For questions on subsets of constraints of an infeasible mathematical program whose (strict) subsets are feasible.

Filter by
Sorted by
Tagged with
2
votes
1answer
158 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
84 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 ...
16
votes
2answers
179 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.