Summary.
This paper proposes a validation method for solutions of linear complementarity problems. The validation procedure consists of two sufficient conditions that can be tested on a digital computer. If the first condition is satisfied then a given multidimensional interval centered at an approximate solution of the problem is guaranteed to contain an exact solution. If the second condition is satisfied then the multidimensional interval is guaranteed to contain no exact solution. This study is based on the mean value theorem for absolutely continuous functions and the reformulation of linear complementarity problems as nonsmooth nonlinear systems of equations.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received August 21, 1997 / Revised version July 2, 1998
Rights and permissions
About this article
Cite this article
Alefeld, G., Chen, X. & Potra, F. Numerical validation of solutions of linear complementarity problems. Numer. Math. 83, 1–23 (1999). https://doi.org/10.1007/s002110050437
Issue Date:
DOI: https://doi.org/10.1007/s002110050437