11 2019/12 01
01 02 03 04 050607
08091011121314
15161718192021
22232425262728
29303101020304
Click セミナー

過去のセミナー

開催日2019年12月2日(月曜日)
開催時間16時30分-17時30分
発表者伝住周平 
発表者の紹介東京大学
タイトル続・ZDDに基づく集合族の列挙 
発表の概要
ZDDを用いて組合せを列挙する手法は今まで多く提案されてきたが,それらより一段階大きな組合せ集合,つまり集合族をZDDを使って列挙する方法はほとんど手付かずであった.本講演では基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」での発表に続き,特定の条件を満たす集合族を全て列挙する効率の良いアルゴリズムに関して議論する.より複雑な条件を持つ構造の列挙方法を示すとともに,集合族族列挙に関して考えられる問題の方向性を明確にする.
開催場所VBL301B
接続サイト神田ラボ、京大ラボ