主催: 一般社団法人 人工知能学会
会議名: 2023年度人工知能学会全国大会(第37回)
回次: 37
開催地: 熊本城ホール+オンライン
開催日: 2023/06/06 - 2023/06/09
ZDDは集合族を圧縮して表現することのできるデータ構造であるとともに,集合演算など多くの操作を圧縮したまま行うことができる処理系である.これまでにも入力のZDDサイズに依存する時間で計算を実行する手法が数多く提案されてきた.しかし,複数の集合間の関係を考慮する目的関数が与えられた場合に,その関数を最大化するようにZDDから複数の集合を選択する問題についてはこれまで効率良い解法が知られていなかった.本稿ではZDD上で効率的に計算を行える目的関数の条件を明らかにし,与えられたZDD上での動的計画法によって最適化を行う新しい演算を提案する.本手法により目的関数を集合の各要素ごとに分解できるような問題に対してはZDDのサイズに依存した計算時間で解を求めることができるようになった.そのような問題としては集合間ハミング距離の総和が大きくなるように集合を選ぶ多様性最大化問題や各要素の数によってスコアが決まるような問題,(厳密)集合被覆問題などが考えられる.また,提案手法を実装し複数の ZDD に対して計算機実験を行いその性能を確認した.