[ ソース: lrslib ]
パッケージ: lrslib (0.71b-2.1)
凸多面体の頂点と端射線を列挙するパッケージ
凸多面体は、有限個の線形不等式を満たす点の集合です。このような系の頂点と 端射線の研究は、例えば数学と最適化理論においては重要かつ有用です。Dual interpretation では、(有界) 多面体の頂点を見つけることは、任意次元空間上 の点群の凸包 (境界不等式)を求めることと等価です。Lrs (辞書式逆検索) には、 特定のアプリケーションにとって非常に重要な 2 つの重要な機能があります。 すなわち、厳密に算術的であることと、出力がどんなに大きくなっても、入力に 比例したメモリしか消費しないことです。
その他の lrslib 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: liblrs1t64 (>= 0.71~4641)
- 頂点と端射線を列挙するパッケージ (共有ライブラリ)