06 2020/07 08
28293001020304
05060708091011
12131415161718
19202122232425
26272829303101
Click セミナー

過去のセミナー

開催日2019年5月20日(月曜日)
開催時間17時30分-18時30分
発表者伝住 周平 
発表者の紹介東京大学
タイトル文字列集合を対象としたフロンティア法 
発表の概要
今までに知られているフロンティア法は組合せ集合や論理関数を対象としたもので
ある条件を満たす要素全てを表す BDD や ZDD をトップダウンに構築するものであった.
一方,文字列集合を対象としたフロンティア法は提案されていない.
これは BDD や ZDD は同じ変数をラベルにもつ節点同士で上から順に層が形作られるが,
SeqBDD ではそのような構造がないためにトップダウン構築を行うのが難しいためである.
本発表では,文字列集合上でのフロンティア法に相当する手法を与える.
開催場所VBL301B
接続サイト神田ラボ,京大ラボ