Complementarity problem