| 研究課題/領域番号 |
24650062
|
|---|
| 研究機関 | 北海道大学 |
|---|
研究代表者 |
湊 真一 北海道大学, 情報科学研究科, 教授 (10374612)
|
|---|
| 研究分担者 |
喜田 拓也 北海道大学, 情報科学研究科, 准教授 (70343316)
|
|---|
| キーワード | BDD / ZDD / 簡潔データ構造 / 離散構造 / 論理関数 / 組合せ集合 |
|---|
| 研究概要 |
BDD（Binary Decision Diagram; 二分決定グラフ）は、論理関数や組合せ集合を圧縮して索引化するデータ構造であり、実用的な場面で1000 倍以上の圧縮率が得られることがあるため、近年、様々な用途に広く応用されている。しかしBDD ではポインタやハッシュ表のために数十倍の定数ファクタの記憶量を使用するため、BDD の圧縮率があまり高くならない例題に対しては、単純なビット列表現に比べて効率が大幅に悪化することがある。本研究計画では、ポインタやハッシュ表を極力使用せずに極限的に簡潔なBDD データ構造を研究し、最悪のケースでも単純ビット列とほぼ同等の記憶効率が得られるような、真に有効な圧縮データ構造を目指す。さらに、そのような簡潔なBDD データ構造を有効に活用する演算処理アーキテクチャを明らかにする。今年度は、BDDの構造情報をビット列に圧縮して格納することで、極限的に簡潔なBDD構造を生成するアルゴリズムを実装するための諸問題に取り組んだ。さらに既存のBDD構造と、簡潔なBDD構造をハイブリッドに結合することで、記憶効率とを高めつつ、論理演算による動的なデータ変更にも対応する手法の研究を進めた。本研究成果は、国際会議SEA2014に論文投稿し、高い競争倍率を勝ち抜いて採録が決定した。さらに国内外の著名研究者と活発に意見交換し、今後の研究の方向性について知見を得ることができた。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
アルゴリズムを実装して基盤的な評価を行ったのち、性能向上のための検討を進めた。本成果は競争倍率の高い国際会議にも採択されており、おおむね順調に進展している。
|
| 今後の研究の推進方策 |
基本的には現在の状況でほぼ順調と考えており、このままの方針で研究を一層推進する。
|
| 次年度の研究費の使用計画 |
年度末の納品予定時期のずれにより若干の繰り越しが生じた。
学会参加のための旅費・参加費や、情報収集のための講演謝金、研究用のPC等の少額備品等に追加充当する予定である。
|
