MINOS

MINOS es un paquete de software Fortran para resolver problemas de optimización matemática lineales y no lineales. MINOS (Modular In-core Nonlinear Optimization System) puede usarse para programación lineal, programación cuadrática y funciones objetivo y restricciones más generales, y para encontrar un punto factible para un conjunto de igualdades y desigualdades lineales o no lineales. MINOS fue desarrollado inicialmente por Bruce Murtagh y Michael Saunders, principalmente en el Systems Optimization Laboratory del Department of Operations Research de Stanford University. En 1985, Saunders recibió el premio Orchard-Hays inaugural otorgado por la Mathematical Programming Society (ahora la Mathematical Optimization Society) por su trabajo en MINOS. A pesar de ser uno de los primeros solucionadores de optimización restringida de propósito general que surgieron, el paquete sigue utilizándose intensamente. MINOS es compatible con los sistemas de modelado AIMMS, AMPL, APMonitor, GAMS y TOMLAB. Además, sigue siendo uno de los solucionadores más utilizados en el NEOS Server y en GAMS. Operation Lo ideal es que el usuario proporcione gradientes de las funciones no lineales. (Esto es automático en la mayoría de los sistemas de modelado mencionados anteriormente). Si no se proporcionan algunos o todos los gradientes, MINOS aproximará los faltantes mediante diferencias finitas, pero esto podría ser lento y menos confiable. Si la función objetivo es convexa y las restricciones son lineales, la solución obtenida será un minimizador global. De lo contrario, la solución obtenida podría ser un minimizador local. Para programas lineales, se utiliza un método símplex primal de dos fases. La primera fase minimiza la suma de las infactibilidades. Para problemas con restricciones lineales y un objetivo no lineal, se utiliza un método de gradiente reducido. Se mantiene una aproximación cuasi-Newton a la hessiana reducida para obtener direcciones de búsqueda. El método es más eficiente cuando muchas restricciones o límites están activos en la solución.