グラフのツリー分解を計算するプログラム

固定「k」（幅）のグラフのツリー分解を計算するためのオープンソースプログラムを知っている人はいますか？Tree-Decompositionを見つける問題は変数 "k"に対してNP-Hardですが、入力インスタンスは本当に小さく（〜10ノード）、 "k"は修正されます。

これらのソフトウェアのいくつかはあなたを助けるかもしれません。（ただし、すべてがオープンソースではありません。）

* TreeD http://www.itu.dk/people/sathi/treed/

* dlib http://dlib.net/

* QuickBB http://www.cs.washington.edu/homes/vgogate/quickbb.html

* Hypertree http://www.dbai.tuwien.ac.at/proj/hypertree/downloads.html

* LibTW http://www.treewidth.com/treewidth/

場合と固定され、その後、あなたも私たちはAndroidアプリのための実装のようなXPのアルゴリズムで行く余裕ができます。ソースコードはここにあります：TreewidthInspector、たとえばと場合、1秒未満で終了します。K のn ≤ 13 K ≤ $n \sim 10$$k$$n \leq 13$$k \leq 4$

約170行のコードで、GPL（またはMIT、BSD、または必要なもの）です。

以下のためあなたはで上のWebサービスを使用することができますhttp://treedecompositions.com/何かをコンパイルまたはインストールすることなく、直接、迅速かつ合理的な分解を取得し、視覚化します。$n\le150$

LibTWはまだ見つかります。それはATのhttp://www.treewidth.com/treewidth/。

FlowCutter（GitHub）のより新しいアルゴリズムとTamaki et alのアルゴリズムにも興味があるかもしれません。（GitHub）