Primal-Dual Optimality Criterion