おそらく高速で効率的なCライブラリに基づいて、スパース線形代数の計算を実行するパッケージはありますか？Hackageを検索しましたが、何も見つかりませんでした。GSL、BLAS、LAPACKを使用するhmatrixは優れていますが、線形システムやスパース行列の固有値/ベクトルの問題を解決するための特別なアルゴリズムが含まれていないようです。 。私が見つけたいのは、scipyのsparse.linalgモジュールに似たものです。ありがとう！
1831 次
1 に答える
8
私の知る限り、そのようなパッケージはまだありません。
RLWinwrightとMESextonの記事がありました。関数型言語で線形システムを解くためのスパース行列表現の研究。J.関数型プログラミング、2（1）：61-72、1992年1月。ここでは、ミランダのクアッドツリー、バイナリツリー、およびランレングスエンコーディングのスパース行列表現を比較しました。四分木はCG法よりも優れており、ランレングスエンコーディングはSORでうまく機能しました。
1993年にHaskellでFEMの実装がありました。有限要素アルゴリズムの機能実装にいくつかの問題があります。彼らも四分木を使いました。達成されたパフォーマンスは素晴らしいものではありませんでしたが、それはずっと昔のことです...今日のHaskellのパフォーマンスはもっと良くなると思います。使用する新しい配列ライブラリもあります。これにより、スパース行列をより適切に表現できる場合があります。今日、私たちはIntMap、VectorさらにはRepa。
Haskellのスパースソルバー（またはC / Fortranソルバーへのバインディング）のライブラリはまだ作成されていません。
于 2010-10-22T11:54:32.680 に答える