Институт Цузе в Берлине (сокращенно ZIB, или Konrad-Zuse-Zentrum für Informationstechnik Berlin ) — научно-исследовательский институт прикладной математики и информатики на территории кампуса Свободного университета Берлина в Далеме , Берлин , Германия .
ZIB был основан законом как уставное учреждение и как неуниверситетский научно-исследовательский институт земли Берлин в 1984 году. В тесном междисциплинарном сотрудничестве с берлинскими университетами и научными учреждениями Институт Цузе реализует исследования и разработки в области информационных технологий, уделяя особое внимание прикладной алгоритмической математике и практической информатике . ZIB также предоставляет высокопроизводительные вычислительные мощности в качестве сопутствующей услуги в рамках Сети высокопроизводительных компьютеров в Северной Германии (Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN)).
Конрад Цузе , родившийся в Берлине в 1910 году, является тезкой ZIB.
SCIP ( Solving Constraint Integer Programs ) — это решатель смешанного целочисленного программирования и фреймворк для ветвления и разрезания и ветвления и цены , разработанный в первую очередь в Институте Цузе в Берлине. В отличие от большинства коммерческих решателей, SCIP предоставляет пользователю низкоуровневый контроль и информацию о процессе решения. Запущенный как автономный решатель, он является одним из самых быстрых некоммерческих решателей для смешанных целочисленных программ. [1]
SCIP реализован как вызываемая библиотека C. Для пользовательских плагинов предоставляются классы-оболочки C++ . Решатель для релаксаций LP не является собственным компонентом SCIP, вместо этого предоставляется открытый интерфейс LP. В настоящее время поддерживаются решатели LP: CLP , CPLEX , MOSEK , SoPlex и Xpress . SCIP может работать в операционных системах Linux , Mac , Sun и Windows .
Предыдущие версии SCIP распространялись под лицензией с исходным кодом, которая допускала бесплатное академическое использование. Начиная с версии 8.0.3 полный набор был выпущен под лицензией Apache 2.0 . [2]
Проект SCIP основан на понятии ограничений . Он поддерживает около 20 типов ограничений для смешанно-целочисленного линейного программирования, смешанно-целочисленного нелинейного программирования, смешанно-целочисленного квадратичного программирования и псевдобулевой [3] оптимизации. Он также может решать деревья Штейнера и задачи многокритериальной оптимизации . [4] [5]
Для SCIP доступно несколько собственных библиотек интерфейсов. SCIP можно получить через систему моделирования GAMS . Интерфейсы к MATLAB и AMPL доступны в стандартном дистрибутиве. Также в настоящее время существуют внешние интерфейсы для Python , Java , Julia и Rust . [6]
