In this paper, we present a new reformulation of the KKT system associated to a variational inequality as a semismooth equation. The reformulation is derived from the concept of differentiable exact penalties for nonlinear programming. The best results are presented for nonlinear complementarity problems, where simple, verifiable, conditions ensure that the penalty is exact. We also develop a semismooth Newton method for complementarity problems based on the reformulation. We close the paper showing some preliminary computational tests comparing the proposed method with classical reformulations, based on the minimum or on the Fischer-Burmeister function.
Technical Report RT-MAC 2007-01, University of Sao Paulo, Brazil