有向ハイパーグラフ上での到達可能性判定の高速化

抄録

本論文では有向ハイパーグラフ(DH)上での到達可能性判定問題を高速に解くためのアルゴリズムを研究する。 DHは有向グラフとハイパーグラフそれぞれの特徴を持ち、より一般化されたグラフとみることができる。 本問題に対し、推移閉包情報の性質を活かすため組合せ集合に特化した圧縮を行うことにより，メモリ使用量を減らしつつ，高速に到達可能性判定を行うことができるアルゴリズムを提案する．