Em otimização, as Condições de Karush-Kuhn-Tucker são condições de primeira ordem para que uma solução de um problema de programação não linear seja ótima, desde que valham condições chamadas de condições de qualificação ou, em inglês, constraint qualifications. Wikipedia