Loading article…
| ファイル名拡張子 |
.nl |
|---|---|
| 開発者 | ロバート・フォーラー デビッド・ゲイ ブライアン ・カーニハン ベル研究所 |
| フォーマットの種類 | 数理計画法 |
nlは、数理計画問題を提示しアーカイブするためのファイル形式です。[1]当初、この形式はAMPLにソルバーを接続するために発明されました。[2]また、COIN-OR（入力形式の1つとして）、FortSP（外部ソルバーと対話するため）、Coopr（出力形式の1つとして）などの他のシステムでも採用されています。
nl 形式は、次のような幅広い問題タイプをサポートしています。
- 線形計画法
- 二次計画法
- 非線形計画法
- 混合整数計画法
- 凸二次制約の有無にかかわらず混合整数二次計画法
- 混合整数非線形計画法
- 2次錐体計画法
- グローバル最適化
- 双線形行列不等式を伴う半正定値計画問題
- 離散変数または連続変数における相補性問題(MPEC)
- 制約プログラミング[3]
nl 形式は低レベルで、読みやすさではなくコンパクトさを重視して設計されています。バイナリ表現とテキスト表現の両方があります。ほとんどの商用および学術的なソルバーは、直接または特別なドライバー プログラムを通じてこの形式を受け入れます。
Netlib [4]経由で配布されるオープンソースのAMPLソルバーライブラリとAMPL/MPライブラリ[5]は、多くのソルバーで使用されるnlパーサーを提供します。
AMPL/MPライブラリ[5]にはNLライターとSOLリーダーが含まれています。
参照
- sol (フォーマット) - 数学プログラミングの問題の解を提示するためのファイル形式
参考文献
- ^ David Gay (2005). Writing .nl Files (PDF) (技術レポート). Albuquerque, NM: Sandia National Laboratories . CiteSeerX 10.1.1.60.9659 . 2016年12月28日時点のオリジナル(PDF)からアーカイブ。
- ^ David Gay (1993). Hooking Your Solver to AMPL (PDF) (技術レポート). Murray Hill, NJ: Bell Laboratories . 97-4-06.
- ^ Robert Fourer、David M. Gay (2002)。「制約プログラミングをサポートする代数モデリング言語の拡張」。INFORMS Journal on Computing。14 ( 4): 322–344。CiteSeerX 10.1.1.8.9699。doi : 10.1287 /ijoc.14.4.322.2825 。2020年7月30日時点のオリジナルよりアーカイブ。
- ^ "Netlib/Ampl"。
- ^ ab “Ampl/Mp”. GitHub . 2022年4月10日.