14:50 〜 15:10
[2I4-OS-9a-04] 単項二階論理式で与えられた論理関数を表す決定グラフの構築
キーワード：決定グラフ、データ構造、単項二階論理式
本研究では，単項二階論理式で与えられた論理関数を，決定グラフと呼ばれるデータ構造で表現する手法を提案する．二分決定グラフ（BDD）は論理関数を，ゼロサプレス型二分決定グラフ（ZDD）は集合族を圧縮して表現するデータ構造であり，論理関数や集合族の各種演算を圧縮表現のまま実行可能である．単項二階論理式から BDD や ZDD を構築する手法を提案する．計算機実験により，いくつかのグラフの問題に対する単項二階論理式から BDD や ZDD を構築し，手法の性能を確認する．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。