Operations Research.
Karush-Kuhn-Tucker (KKT) conditions: - The primal constraints hold. - The dual constraints hold (λs are all nonnegative). - Complementary slackness holds (i.e. either a dual constraint or the corresponding primal constraint is active). - The gradient of the Lagrangian w.r.t. the primal variable