ベルリン・ツーゼ研究所

ベルリン・ツーゼ研究所

モットー	続きを見る
設立	1984
社長	クリストフ・シュッテ
位置	ダーレム 、 ベルリン 、 ドイツ
Webサイト	https://www.zib.de

Zuse Institute Berlin (略称 ZIB、またはKonrad-Zuse-Zentrum für Informationstechnik Berlin ) は、ドイツ、ベルリンのダーレムにあるベルリン自由大学のキャンパスにある応用数学とコンピューター サイエンスの研究機関です。

ZIB は、1984 年にベルリン州の法定機関および大学外の研究機関として法律により設立されました。ベルリンの大学や科学機関との密接な学際的協力のもと、ツーゼ研究所は情報技術分野の研究開発を実施しており、特に応用指向のアルゴリズム数学と実用的なコンピュータ サイエンスに重点を置いています。また、ZIB は、北ドイツ高性能コンピュータ ネットワーク(Norddeutscher Verbund von Hoch- und Höchstleistungsrechnern (HLRN))の一環として、付随サービスとして高性能コンピュータ機能も提供しています。

1910年にベルリンで生まれたコンラート・ツーゼが、ZIBの名前の由来です。

SCIP (制約整数計画法) は、主にベルリンのツーゼ研究所で開発された、混合整数計画法ソルバーであり、分岐とカットおよび分岐と価格のフレームワークです。ほとんどの商用ソルバーとは異なり、SCIP はユーザーに解決プロセスの低レベルの制御と情報を提供します。スタンドアロン ソルバーとして実行すると、混合整数計画法の非商用ソルバーとしては最速のソルバーの 1 つになります。^[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の設計は制約の概念に基づいています。混合整数線形計画法、混合整数非線形計画法、混合整数全二次計画法、擬似ブール最適化^[3]など、約20種類の制約タイプをサポートしています。また、シュタイナー木や多目的最適化問題も解くことができます。^{[4] [5]}

SCIPにはネイティブインターフェースライブラリがいくつか用意されています。SCIPにはGAMSのモデリングシステムを通じてアクセスできます。MATLABとAMPLへのインターフェースは標準ディストリビューション内で利用可能です。また、現在Python、Java、Julia、Rust用の外部化されたインターフェースも存在します。^[6]

ウィキメディア・コモンズには、 Konrad-Zuse-Zentrum für Informationstechnikに関連するメディアがあります。

• ホームページ Zuse Institute ベルリン