>>235
最後まで見た?w
クヌースの教本の4Aに出て来る
ZDD,BDDアルゴリズムを使うと実用時間内
に解ける。

開発したのは北海道大学でソースも公開されているよ〜