BDD簡約化アルゴリズムの並列化

抄録

圧縮データ構造のBDD,ZDDは圧縮したまま演算が可能だが、そのためには唯一性が必要である。そのための簡約化アルゴリズムがKnuthにより提案されており、本稿では簡約化の新しい並列化手法を提案する。不完全な簡約化を並列に行い、小さくしたBDD, ZDDを前処理と並行して処理する。クリークが並行するグラフ上での単純経路を表すZDDに対して実験し、8スレッドで4倍の高速化を得た。