演題番号 | 2F3-3 |
---|---|
題目 | ZDDを用いた効率的な集合拡張の計算 |
著者 | 西野 正彬(日本電信電話株式会社 NTTサイバーソリューション研究所) 安田 宜仁(日本電信電話株式会社) 小林 透(日本電信電話株式会社 NTTサイバーソリューション研究所) |
時間 | 06月02日(Thu) 15:25〜15:45 |
概要 | 集合拡張とは,ある集合に含まれる少数のアイテムが入力として与えられたときに,その集合に含まれる他のアイテムを列挙する問題である.本稿では,ZDDを用いて集合拡張を効率的に計算する手法を提案する.手法の特徴は,アイ テム集合を少数のシンボルによる組み合わせ集合としてZDD上にコンパクトに表現する点と,ZDD上で定義される集合演算を効果的に利用して解を求める点にある. |
論文 | PDFファイル |