In mathematical optimization, the Karush–Kuhn–Tucker conditions, also known as the Kuhn–Tucker conditions, are first derivative tests for a solution in nonlinear programming to be optimal, provided that some regularity conditions are satisfied. Wikipedia