第32回 (2018)
セッションID: 4K1-OS-16a-03
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2018年度人工知能学会全国大会（第32回）
回次: 32
開催地: 鹿児島県鹿児島市 城山ホテル鹿児島
開催日: 2018/06/05 - 2018/06/08
フロンティア法によるDAGの非巡回縮約の列挙
詳細
主催: 一般社団法人 人工知能学会
会議名: 2018年度人工知能学会全国大会（第32回）
回次: 32
開催地: 鹿児島県鹿児島市 城山ホテル鹿児島
開催日: 2018/06/05 - 2018/06/08
有向非巡回グラフ（DAG）は計算機科学における基本的な構造である． 応用において，DAGをより小さなDAGに縮約する問題は，命令セット拡張問題等のために重要である． 本研究では，DAGが与えられたとき，いくつかの辺を選んで縮約した結果がDAGとなるような辺の選び方をすべて列挙するアルゴリズムを提案する． 提案手法はフロンティア法に基づき，所望の辺部分集合の族を表現するデータ構造ZDDを構築するアルゴリズムである．
