The sharp local minimality of feasible points of nonlinear optimization problems is known to possess a characterization by a strengthened version of the Karush-Kuhn-Tucker conditions, as long as the Mangasarian-Fromovitz constraint qualification holds. This strengthened condition is not easy to check algorithmically since it involves the topological interior of some set. In this paper we derive an algorithmically tractable version of this condition, called strong Karush-Kuhn-Tucker condition, and we show that the weakest condition under which a feasible point is a strong Karush-Kuhn-Tucker point for every at this point continuously differentiable objective function possessing the point as a sharp local minimizer, is the Guignard constraint qualification. As an application, our results yield an algebraic characterization of strict local minimizers of linear programs with cardinality constraints.
Optimization Online, Preprint ID 2022-06-8962, 2022