02 2018/03 04
25262728010203
04050607080910
11121314151617
18192021222324
25262728 293031
Click セミナー

次回セミナー

開催日2018年6月19日(火曜日)
開催時間16時30分-17時30分
発表者前原 貴憲 
発表者の紹介AIP
タイトルDecision Diagram の先へ 
発表の概要
グラフの部分グラフの族を管理するため Binary Decision Diagram や Sentential Decision Diagram などのデータ構造(以下 DD)が用いられてきた.どのような部分グラフの族がコンパクトな DD で表現できるかが理論的な興味であったが,最近 Amarilli et al. 18 によって単項2階論理で書かれる木幅定数グラフの部分グラフ全体が定数幅の SDD で表現できることが示され.一定の解決を見た.本研究は上述したクラスよりも複雑な構造を表現するデータ構造を構築することを目標とする.
開催場所VBL 301B
接続サイト神田ラボ,京大ラボ