Abstract
Given an inconsistent set of inequalities Ax ⩽b, theirreducible inconsistent subsystems (IISs) designate subsets of the inequalities such that at least one member of each subset must be deleted in order to achieve a feasible system. By solving a set covering problem over the IISs, one can determine a minimum weight set of inequalities that must be deleted in order to achieve feasibility. Since the number of IISs is generally exponential in the size of the original subsystem, we generate the IISs only when they are violated by a trial solution. Computational results on the NETLIB infeasible LP library are given.
Similar content being viewed by others
References
E. Amaldi and V. Kann, The complexity and approximability of finding maximum feasible subsystems of linear relations, Technical Report ORWP 93/11, École Polytechnique Fédérale de Lausanne (1993).
C. Berge,Hypergraphs (North-Holland, Amsterdam, 1989).
A. Boneh, Identification of redundancy by a set covering equivalence, in:Operational Research 84, ed. J.P. Brans (Elsevier, Amsterdam, The Netherlands, 1984) pp. 407–422.
N. Chakravarti, Some results concerning post-infeasibility analysis,Eur. J. Oper. Res. 73 (1994) 139–143. [Also published as: Three approaches to post-infeasibility analysis, WPS-147(90), Indian Institute of Management (1990).]
J. Chinneck, Finding minimal infeasible sets of constraints in infeasible mathematical programs, Technical Report SCE-93-01, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (1993).
J. Chinneck, Finding the most useful subset of constraints for analysis in an infeasible linear program, Technical Report SCE-93-07, Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada (1993).
J. Chinneck and E. Dravnieks, Locating minimal infeasible constraint sets in linear programs,ORSA J. Computing 3 (1991) 157–168.
V. Chvátal. A greedy heuristic for the set covering problem,Math. Oper. Res. 4 (1979) 233–235.
K. Fan, On systems of linear inequalities, in:Annals of Mathematical Studies Number 38: Linear Inequalities and Related Systems, eds. H. W. Kuhn and A. W. Tucker (Princeton University Press, Princeton, NJ, 1956) pp. 99–156.
M. Gary and D. Johnson,Computer and Intractability (Freeman, New York, 1979).
J. Gleeson and J. Ryan, Identifying minimally inconsistent subsystems of inequalities,ORSA J. Computing 2 (1990) 61–63.
H.J. Greenberg, Diagnosing infeasibility for min-cost network flow models, part I: dual infeasibility,IMA J. Math. in Management 1 (1987) 99–110.
H.J. Greenberg, Diagnosing infeasibility for min-cost network flow models, part II: primal infeasibility,IMA J. Math. in Business and Industry 4 (1988) 39–50.
H.J. Greenberg, An empirical analysis of infeasibility diagnosis for instances of linear programming blending models,IMA J. Math. in Business and Industry 4 (1992) 163–210.
H.J. Greenberg, How to analyze results of linear programs, part 3: infeasibility diagnosis,Interfaces 23(6) (1993).
H.J. Greenberg, Consistency, redundancy, and implied equalities in linear systems, UCD/CCM Report No. 14, Mathematics Department, University of Colorado at Denver (1993).
H.J. Greenberg and F.H. Murphy, Approaches to diagnosing infeasibility for linear porograms,ORSA J. Computing 3 (1991) 253–261.
T.S. Motzkin, Contributions to the theory of linear inequalities, Doctoral Dissertation, University of Basel (1933), transl. by D.R. Fulkerson, in:Theodore S. Motzkin: Selected Papers, eds. D. Cantor, B. Gordon and B. Rothschild (Birkhauser, 1983).
G. Nemhauser and L. Wolsey,Integer and Combinatorial Optimization (Wiley, 1988).
J. Ryan, Transversals of IIS-hypergraphs,Congressus Numerantium 81 (1991) 17–22.
J. Ryan, IIS-hypergraphs, draft version (1994).
J.K. Sankaran, A note on resolving infeasibility in linear programs by constraint relaxation,Oper. Res. Lett. 13 (1993) 19–20.
A. Schrijver,Theory of Linear and Integer Programming (Wiley, 1986).
J. Van Loon, Irreducibly inconsistent systems of linear inequalities,Eur. J. Oper. Res. 8 (1981) 283–288.
Author information
Authors and Affiliations
Additional information
This author was supported by Air Force Office of Scientific Research and Office of Naval Research Contract #F49620-92-J-0248-DEF.
Rights and permissions
About this article
Cite this article
Parker, M., Ryan, J. Finding the minimum weight IIS cover of an infeasible system of linear inequalities. Ann Math Artif Intell 17, 107–126 (1996). https://doi.org/10.1007/BF02284626
Issue Date:
DOI: https://doi.org/10.1007/BF02284626