主催: 一般社団法人 人工知能学会
会議名: 2023年度人工知能学会全国大会（第37回）
回次: 37
開催地: 熊本城ホール＋オンライン
開催日: 2023/06/06 - 2023/06/09
京都大学
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
本研究では，単項二階論理式で与えられた論理関数を，決定グラフと呼ばれるデータ構造で表現する手法を提案する．二分決定グラフ（BDD）は論理関数を，ゼロサプレス型二分決定グラフ（ZDD）は集合族を圧縮して表現するデータ構造であり，論理関数や集合族の各種演算を圧縮表現のまま実行可能である．単項二階論理式から BDD や ZDD を構築する手法を提案する．計算機実験により，いくつかのグラフの問題に対する単項二階論理式から BDD や ZDD を構築し，手法の性能を確認する．
すでにアカウントをお持ちの場合 サインインはこちら
