"How can I solve non-linear optimization with Gurobi Optimizer?"

Gurobi é projetado principalmente para resolver programas lineares de inteiros mistos. Gurobi suporta programação quadrática até certo ponto com um desempenho bastante bom. Você pode formulá-lo da mesma forma que formula um problema linear. No entanto, se o seu problema for além do quadrático, você precisará convertê-lo em uma forma linear. Existem várias maneiras de fazer isso. Você pode introduzir variáveis extras e restrições para reformular as partes não lineares de forma linear. Para algumas operações não lineares como valores absolutos, min, max, etc., você pode usar 'Funções Auxiliares de Restrições Gerais' disponíveis no Gurobi que as linearizam em segundo plano. Outra opção é usar métodos de decomposição (por exemplo, Decomposição de Bender) onde você divide o modelo não linear em um problema mestre e subproblemas de tal forma que ambos sejam lineares. Isso pode ser feito tratando as variáveis do problema mestre como constantes no subproblema e vice-versa. Em seguida, você resolve o problema mestre e os subproblemas iterativamente, atualizando as variáveis ou adicionando novas restrições do subproblema no mestre como cortes de Bender.