06 2018/07 08
01 02 03 04 050607
080910 11121314
15161718192021
22232425262728
29303101020304
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
接続サイト神田ラボ,京大ラボ