遷移可能な分子構造間の反応エネルギー付きグラフが与えられたときに、エネルギー制限の下で単純経路で移れる分子構造とその経路を列挙する問題 経路の総数は組合せ爆発するため、ZDDを用いて暗黙的に可能な経路のみを抽出する https://t.co/dnLQtbSXpR