apps‎ > ‎

ZDD

お知らせ:正負の係数が混在する多項式同士の除算時のバグに対応しました。(ver 1.0.1)  2015/12/23



本パッケージは、ZDD(Zero-suppressed Binary Decision Diagrams: ゼロサプレス型二分決定グラフ) を利用し、重み付きのアイテムの組み合わせ集合をコンパクトに格納する ことを可能とする VSOP (Valued-Sum-Of-Products calculator)[1] を Ruby 拡張ライブラ リ(ruby gem)として実装したものである。 本パッケージにおいて、ZDD は Ruby オブジェクト として扱われる。そして ZDD オブジェクトに対して定義された各種関数はクラスメソッド として利用でき、また、ZDD オブジェクトに対する各種演算子 (+,-,==など) も、ZDD に 対する演算子としてオーバーロードされており、ZDD と Ruby の機能をシームレスに組み 合わせて利用することを可能としている。さらに、自動的な型変換もサポートしており、 よりストレスなくプログラミングができるように工夫している。


インストール方法1: NYSOLパッケージのインストール

NYSOLのメインページよりNYSOLパッケージをインストールすれば ZDD gemパッケージも含まれているため、ZDD gemのみのインストールは不要である。

インストール方法2: ZDD gemパッケージのみのインストール

以下のリンクよりOSとrubyのバージョンに応じたgemパッケージをダウンロードする。 ダウ ンロードした gem ファイルのあるディレクトリにて、コマンドラインより以下の通りイン ストールする。

  $ gem install zdd-1.0.0-darwin.gem #Linux版ではzdd-1.0.0-linux.gem

インストール方法3: ソースコードからコンパイル

ソースコードをここから取得し、以下の手順でコンパイル、インストールする。

  $ tar zxvf zdd-1.0.0.tar.gz
  $ cd zdd-1.0.0
  $ make
  $ sudo make install

※以前のパッケージおよびソースコードのダウンロードはこちらから

参考文献

[1] 湊真一, “VSOP:ゼロサプレス型 BDD に基づく「重み付き積和集合」計算プログラ ム,” 信学技報, COMP2005-5, pp.31-38, 2005.
Comments