Slater's Condition and Strong Duality for Convex Nonlinear Programs
Students frequently conflate Slater's Condition with the Karush-Kuhn-Tucker (KKT) conditions. While Slater’s ensures strong duality, KKT conditions are optimality criteria. They are linked, but distinct; Slater’s is a qualification condition on the constraints, whereas KKT is a set of necessary (or sufficient) conditions for a specific point.
Institutional Reference: Fundamentals of Optimization
View Full Proof →