ZDDは組み合わせの圧縮表現 Simpathはグラフの経路全網羅のためのZDD構築のアルゴリズム(こちら) アルゴリズムの説明をしてもらったけれど、どうやるのだか分らなかったのでRで、べたべたに書いてみることにする グラフがある を定める とエッジに順序を定め…