フロンティア法

フロンティア法は、与えられたグラフの様々な部分グラフ全体を表現するZDDを構築するアルゴリズムです。 指定した2点間のパス、全域木、マッチング等を表すZDDを構築できます。


フロンティア法解説講演資料

説明用資料(PDF)2017年版 ver 0.1


フロンティア法ソースコード

github repository

ライセンスはMIT Licenseです。 本ソフトウェアの使用により生じたいかなる不利益についても、作者は一切の責任を負いません。

ビルド方法

./configure
make

使用法については github repository をご覧ください。


制作:川原 純(jkawahara あっと is.naist.jp)