El Instituto Zuse de Berlín (abreviado ZIB, o Konrad-Zuse-Zentrum für Informationstechnik Berlin ) es un instituto de investigación de matemáticas aplicadas e informática en el campus de la Freie Universität Berlin en Dahlem , Berlín , Alemania .
El ZIB fue fundado por ley en 1984 como institución estatutaria y como instituto de investigación no universitario del estado de Berlín. En estrecha colaboración interdisciplinaria con las universidades e instituciones científicas de Berlín, el Zuse Institute lleva a cabo investigación y desarrollo en el campo de la tecnología de la información, con especial atención a las matemáticas algorítmicas orientadas a la aplicación y a la informática práctica . El ZIB también ofrece capacidad informática de alto rendimiento como servicio complementario en el marco de la Red de ordenadores de alto rendimiento del norte de Alemania (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Konrad Zuse , nacido en Berlín en 1910, es el homónimo del ZIB.
SCIP ( Solución de programas enteros con restricciones ) es un solucionador de programación entera mixta y un marco para ramificación y corte y ramificación y precio , desarrollado principalmente en el Instituto Zuse de Berlín. A diferencia de la mayoría de los solucionadores comerciales, SCIP le brinda al usuario un control de bajo nivel e información sobre el proceso de resolución. Ejecutado como un solucionador independiente, es uno de los solucionadores no comerciales más rápidos para programas enteros mixtos. [1]
SCIP se implementa como una biblioteca invocable en C. Para los complementos de usuario , se proporcionan clases contenedoras de C++ . El solucionador para las relajaciones de LP no es un componente nativo de SCIP, en su lugar se proporciona una interfaz de LP abierta. Los solucionadores de LP compatibles actualmente son CLP , CPLEX , MOSEK , SoPlex y Xpress . SCIP se puede ejecutar en sistemas operativos Linux , Mac , Sun y Windows .
Las versiones anteriores de SCIP se distribuían bajo una licencia de código fuente disponible que permitía el uso académico gratuito. A partir de la versión 8.0.3, la suite completa se publicó bajo la licencia Apache 2.0 . [2]
El diseño de SCIP se basa en la noción de restricciones . Admite alrededor de 20 tipos de restricciones para programación lineal de enteros mixtos, programación no lineal de enteros mixtos, programación cuadrática de enteros mixtos y optimización pseudobooleana [3] . También puede resolver árboles de Steiner y problemas de optimización multiobjetivo . [4] [5]
Hay varias bibliotecas de interfaz nativas disponibles para SCIP. Se puede acceder a SCIP a través del sistema de modelado de GAMS . Las interfaces para MATLAB y AMPL están disponibles dentro de la distribución estándar. También hay interfaces externalizadas para Python , Java , Julia y Rust . [6]
