Verification of Solutions for Almost Linear Complementarity Problems

G. Alefeld,Zhengyu Wang
2005-01-01
Abstract:The paper establishes a computational enclosure of the solution of a nonlinear complementarity problem x ≥ 0, l(x) ≥ 0, x T l(x) = 0, where l(x) = Mx + (x) is a so-called almost linear mapping with an H-matrix M with positive diagonal elements and an increasing diagonal mapping . The procedure also delivers a simple proof for the uniqueness of the solution.
What problem does this paper attempt to address?