Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 1-23 |
| Number of pages | 23 |
| Journal | Numerische Mathematik |
| Volume | 83 |
| Issue number | 1 |
| DOIs | |
| Publication status | Published - 1 Jan 1999 |
| Externally published | Yes |
ASJC Scopus subject areas
- Computational Mathematics
- Applied Mathematics