有向ｸﾞﾗﾌの部分ﾊﾟｽを列挙するｱﾙｺﾞﾘｽﾞﾑを教えて下さい｡
今､添付画像の様な有向ｸﾞﾗﾌが有ります｡
ﾉｰﾄﾞ数Nは12?40程度です｡
このｸﾞﾗﾌから､以下の条件を満たす部分ﾊﾟｽを列挙するｱﾙｺﾞﾘｽﾞﾑを教えて貰いたいです｡
1. 任意のﾉｰﾄﾞを始点とする｡
2. ﾊﾟｽのn番目とn+1番目のﾉｰﾄﾞは､有効ｴｯｼﾞで結ばれている｡
3. ﾊﾟｽ中に含まれるﾉｰﾄﾞは､重複しないか､又は､重複するﾉｰﾄﾞでﾊﾟｽが終端する｡
例えば､添付画像のKを始点とする場合に､以下の集合を得たいです｡
{ K→L, K→L→M, K→L→M→K, K→M, K→M→K }
ざっと検索した結果､BDD/ZDDというｷｰﾜｰﾄﾞが出てきましたが､これが私の希望するｱﾙｺﾞﾘｽﾞﾑでしょうか？
(この方向で情報収集を続けて良いか､もっと良い別のｱﾙｺﾞﾘｽﾞﾑがあるか迷っています｡)
また､BDD/ZDDはどの程度のｵｰﾀﾞで計算可能でしょうか？
(実用上はﾊﾟｽの長さの上限を5?10程度に設定する事も可能です｡)
長々と書いてしまいましたが､一部の回答のみでも結構ですので､よろしくお願いします｡
