@techreport{oai:ipsj.ixsq.nii.ac.jp:00174609, author = {西野, 正彬 and 安田, 宜仁 and 湊, 真一 and 永田, 昌明}, issue = {2}, month = {Sep}, note = {本稿ではグラフ部分構造の集合を表現するゼロサプレス型項分岐決定図 ( Zero-suppressed Sentential Decision Diagram, ZSDD ) の効率的な構築法を提案する.グラフ部分構造とは,マッチングや点素パスの集合などの,特定の性質を満たす辺の集合のことを表す.ZSDD は近年提案された集合族を表現するためのデータ構造であり,ZSDD を用いてグラフ部分構造の集合を表現することで,簡潔な表現となり様々な演算を効率的に実行することが可能である.本稿ではグラフ部分構造の集合を表現する ZSDD を高速に構築する方法を提案する.また,提案するトップダウン構築法の副作用として,グラフの Branch Decomposition から ZSDD の頂点数が見積もれることも示す.}, title = {グラフ部分構造列挙のためのゼロサプレス型項分岐決定図の効率的な構築法}, year = {2016} }