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
17
votes
2answers
189 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.
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 ...
2
votes
1answer
223 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? ...