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