É uma parte de programação não linear abordada nalgumas faculdades.
Condições necessárias para que uma solução em problemas de programação não-linear seja ótima, dado que ela satisfaz determinadas condições de regularidade.
A determinação do ponto ótimo faz-se da intercepção da região admissível com a função objectivo.
