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

Gurobi está diseñado principalmente para resolver programas lineales de enteros mixtos. Gurobi admite la programación cuadrática hasta cierto punto con un rendimiento bastante bueno. Puedes formularlo de la misma manera que formulas un problema lineal. Sin embargo, si tu problema va más allá de cuadrático, entonces necesitarás convertir tu problema en una forma lineal. Hay varias maneras de hacer esto. Puedes introducir variables y restricciones adicionales para reformular las partes no lineales de manera lineal. Para algunas operaciones no lineales como valores absolutos, mínimo, máximo, etc., puedes usar 'Funciones de Ayuda de Restricciones Generales' disponibles en Gurobi que las linealizarán en segundo plano. Otra opción es usar métodos de descomposición (por ejemplo, Descomposición de Bender) donde divides el modelo no lineal en un problema maestro y subproblemas de tal manera que ambos sean lineales. Esto se puede hacer tratando las variables del problema maestro como constantes en el subproblema y viceversa. Luego resuelves el problema maestro y los subproblemas de manera iterativa actualizando las variables o agregando nuevas restricciones del subproblema al maestro como cortes de Bender.