Stability Analysis of One Stage Stochastic Mathematical Programs with Complementarity Constraints

We study the quantitative stability of the solution sets, optimal value and M-stationary points of one stage stochastic mathematical programs with complementarity constraints when the underlying probability measure varies in some metric probability space. We show under moderate conditions that the optimal solution set mapping is upper semi-continuous and the optimal value function is Lipschitz continuous with respect to probability measure. We also show that the set of M-stationary points as a mapping is upper semi-continuous with respect to the variation of the probability measure. A particular focus is given to empirical probability measure approximation which is also known as sample average approximation (SAA). It is shown that optimal value and M-stationary points of SAA programs converge to their true counterparts with probability one (w.p.1.) at exponential rate as the sample size increases.