Skip to main content
Log in

A Framework for Optimal Correction of Inconsistent Linear Constraints

  • Original Article
  • Published:
Constraints Aims and scope Submit manuscript

Abstract

The problem of inconsistency between constraints often arises in practice as the result, among others, of the complexity of real models or due to unrealistic requirements and preferences. To overcome such inconsistency two major actions may be taken: removal of constraints or changes in the coefficients of the model. This last approach, that can be generically described as “model correction” is the problem we address in this paper in the context of linear constraints over the reals. The correction of the right hand side alone, which is very close to a fuzzy constraints approach, was one of the first proposals to deal with inconsistency, as it may be mapped into a linear problem. The correction of both the matrix of coefficients and the right hand side introduces non linearity in the constraints. The degree of difficulty in solving the problem of the optimal correction depends on the objective function, whose purpose is to measure the closeness between the original and corrected model. Contrary to other norms, that provide corrections with quite rigid patterns, the optimization of the important Frobenius norm was still an open problem. We have analyzed the problem using the KKT conditions and derived necessary and sufficient conditions which enabled us to unequivocally characterize local optima, in terms of the solution of the Total Least Squares and the set of active constraints. These conditions justify a set of pruning rules, which proved, in preliminary experimental results, quite successful in a tree search procedure for determining the global minimizer.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Amaral, P. (2001). Contribuições para o Estudo de Sistemas Lineares Inconsistentes, Ph.D. Dissertation. Faculty of Science and Technology, New University of Lisbon, UNL, Lisbon.

  • Amaral, P., & Barahona, P. (2005). Connections between the total least squares and the correction of an infeasible system of linear inequalities, to appear in Linear Algebra and Applications.

  • Amaral, P., & Barahona, P. (1999). About infeasibility in the constraints of a linear model, Ricerca Operativa, 92: 49–67.

    Google Scholar 

  • Amaral, P., Trosset, M. W., & Barahona, P. (2000). Correcting an Inconsistent System of Linear Inequalities by Nonlinear Programming, Technical Report 00–27, Department of Computational & Applied Mathematics, Rice University, Houston, TX 77005.

  • Bistarelli, S., Fargier, H., Montanari, U., Rossi, F., Schiex, T., & Verfaillie, G. (1996). Semiring-based CSPs and valued CSPs: basic properties and comparison, in overconstrained systems. In Jampel, M., Freuder E. C., & Maher M., eds., LNCS vol. 1106, Springer.

  • Borning, A., Freeman-Benson, B., & Wilson, M. (1989). Constraint hierarchies and logic programming. In Procs. International Conference on Logic Programming, ICLP’89, MIT press, Lisbon.

  • Chakravarti, N. (1994). Some results concerning post-infeasibility analysis. EJOR 73: 139–143.

    Google Scholar 

  • Chinneck, J. W., & Dravnieks, E. W. (1991). Locating minimal infeasible constraint sets in linear programs. ORSA J. Comput. 3(2): 157–168.

    Google Scholar 

  • Dubois, D., Fargier, H., & Prade, H. (1993). The calculus of fuzzy restrictions as a basis for flexible constraint satisfaction. In Proc. IEEE International Conference on Fuzzy Systems, IEEE, vol. 2, pages 1131–1136.

  • Freuder, E. C., & Wallace, R. J. (1992). Partial constraint satisfation. Artif. Intell. 58(1–3): 21–70.

    Google Scholar 

  • Holzbaur, C., Menezes, F., & Barahona, P. (1996). Defeasibility in CLP(Q) through generalised slack variables. In Proceedings of CP96, 2nd Int. Conf. in Principles and Practice of Constraint Programming, Freuder E.C., ed., Lecture Notes in Computer Science, Vol. 1118, pages 209–223, Springer Verlag.

  • Roodman, G. M. (1979). Post-infeasibility analysis in linear programming. Manag. Sci. 70: 279–351.

    Google Scholar 

  • van Huffel, S. (1991). The total least squares problem: computational aspects and analysis, Frontiers in applied mathematics, Siam, 9.

  • Van Loon, J. N. M. (1981). Irreducibly inconsistent systems of linear inequalities. EJOR 8: 282–288.

    Google Scholar 

  • Vatolin, A. A. (1992). An Lp-based algorithm for the correction of inconsistent linear equation and inequality systems. Optimization 24: 157–164.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paula Amaral.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Amaral, P., Barahona, P. A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints 10, 67–86 (2005). https://doi.org/10.1007/s10601-004-5308-6

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10601-004-5308-6

Keywords

Navigation