情報処理学会 第80回全国大会講演要旨

大規模な集合族を扱う際に有効なデータ構造の一つとしてZDDが知られている. 過去に文字列や順列といった大規模な集合をZDDで表現する試みがなされてきた. 本研究では,ZDDを用いて集合分割の族を表現する手法を提案する. 集合分割の仕方は集合の大きさに対して爆発的に増加するが,提案手法は集合分割の任意の族をコンパクトに圧縮することを目指す. 本稿では,様々な集合分割族に対する提案手法の実験結果を示し,その考察を行う.