A number of the basic methods for isolating IISs do not depend on any properties of the optimization model itself. Instead they are purely logical, requiring nothing more than the ability to evaluate constraints or to determine whether a set or subset of constraints is feasible or infeasible. It is quite difficult to accurately determine the feasibility status of an arbitrary set of constraints in some model forms. In practice, we can rely on this ability only for sets of linear constraints. Numerical difficulties, usually related to the feasibility tolerances, can arise even for linear constraints, but this is fortunately relatively rare. Accurate assessment of the feasibility status for nonlinear programs can be quite difficult, and can even be problematic for mixed-integer programs.
For this reason, many of the general logical algorithms described in this Section are currently applicable only to linear systems. However there is hope that they will eventually be applicable to other classes of optimization models as better algorithms for accurately determining feasibility status in those other classes appear.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2008). Isolating Infeasibility. In: Feasibility and Infeasibility in Optimization. International Series in Operations Research and Management Science, vol 118. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-74932-7_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-74932-7_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-74931-0
Online ISBN: 978-0-387-74932-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)