10 2018/11 12
28293031010203
04050607080910
11121314151617
18192021222324
25262728293001
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
接続サイト神田ラボ,京大ラボ