/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

2E5-OS-09b-4 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

06月05日(Wed) 18:00〜20:20 E会場(-国際会議場204号室)
2E5-OS-09b オーガナイズドセッション「OS-09 SAT技術の理論,実装,応用-2」

演題番号2E5-OS-09b-4
題目二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用
著者戸田 貴久(JST, ERATO湊離散構造処理系プロジェクト)
湊 真一(北海道大学 大学院 情報科学研究科)
時間06月05日(Wed) 19:00〜19:20
概要ハイパーグラフの双対化は、計算機科学のさまざまな分野に形をかえ現れる基本的な問題である。本研究では、大規模データに対する効率的な圧縮技法として知られる二分決定グラフを用いた計算手法を提案する。さらに、二分決定グラフの豊富な演算技法と本手法とを組み合わせて、主論理積形で与えられる単調論理関数の双対化問題などへの応用を行い、性能評価実験を通して本手法の有効性を示す。
論文PDFファイル