|
Hybrid DenseZDD の効率的実装を行った．ZDD は集合族をコンパクトに表現するデータ構造であり，DenseZDD はそのデータ構造をさらに圧縮した簡潔データ構造である．DenseZDD は静的なデータ構造であり，要素の追加・削除は行えない．それを可能にするために提案されたものが Hybrid DenseZDD であり，静的な DenseZDD と動的な ZDD を組み合わせたものである．Hybrid DenseZDD はDenzumiらにより2014年に提案されたものだが，その効率的な実装はこれまで存在しなかった．
本研究ではその効率的な実装を行った．工夫を要する点は，動的な ZDD を圧縮して DenseZDD に変換する際に必要な作業領域を削減する必要があるということである．変換の処理順序を工夫することで，必要な計算機のメモリを動的なZDDのサイズに比例するようにした．計算機実験により，提案手法は従来の ZDD よりも少ないメモリで動作し，速度低下も少ないことを示した．
また，文字列集合を格納する圧縮されたトライ構造を開発した．これは整数集合での直前/直後の数 (predecessor/successor) を求めるデータ構造を基にしており，パタンの検索，挿入，削除を高速に実現できる．実験により，標準的なコンパクトトライ構造よりも高速であり，ノード数は少なくなることを示した．
|
