10月25日(金) 午前 10:00 - 17:00 |
(1) |
10:00-10:25 |
大きな正規表現に対する系列二分決定グラフを用いた効率よい照合手法 |
○瀧澤涼介・喜田拓也・有村博紀(北大)・瀧川一学(理研) |
(2) |
10:25-10:50 |
最大クリークサイズが定数であるグラフに対する独立点集合のならし定数時間列挙 |
○栗田和宏(北大)・和佐州洋・宇野毅明(NII)・有村博紀(北大) |
(3) |
10:50-11:15 |
Simple Fold and Cut Problem for Line Segments |
○Guoxin Hu(JAIST)・Shin-ichi Nakano(Gunma University)・Ryuhei Uehara(JAIST)・Takeaki Uno(NII) |
(4) |
11:15-11:40 |
出力を入力にフィードバックすることで繰り返し遷移を構成する組み合わせ回路の簡単化によるロバスト性 |
○奥谷文徳・川原圭博(東大) |
|
11:40-13:00 |
昼食 ( 80分 ) |
(5) |
13:00-14:00 |
[招待講演]Consistent Digital Curved Rays and Pseudoline Arrangements |
Takeshi Tokuyama(Kwansei Gakuin Univ.)・Jinhee Chun・○Kenya Kikuchi(Tohoku Univ.) |
|
14:00-14:15 |
休憩 ( 15分 ) |
(6) |
14:15-14:40 |
ホワイトリスト構築問題の計算複雑さ |
○原田崇司(高知工科大)・田中 賢(神奈川大) |
(7) |
14:40-15:05 |
重み0のルール削除に基づくルール並び替え法 |
○渕野 敬(神奈川大)・原田崇司(高知工科大)・田中 賢(神奈川大)・三河賢治(新潟大) |
(8) |
15:05-15:30 |
Circ1P分割問題の計算複雑さと解法 |
○竹内聖悟・原田崇司(高知工科大) |
|
15:30-15:45 |
休憩 ( 15分 ) |
(9) |
15:45-16:10 |
スライド窓上の極小非反復部分文字列 |
○三重野琢也・中島祐人・稲永俊介・坂内英夫・竹田正幸(九大) |
(10) |
16:10-16:35 |
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem |
Yasuaki Kobayashi・Kensuke Kojima・Norihide Matsubara・○Taiga Sone・Akihiro Yamamoto(Kyoto Univ.) |
(11) |
16:35-17:00 |
Orthogonal Vectors, 3-SUM および All-Pairs Shortest Paths に基づく精微な量子超越性 |
○早川 龍・森前智行(京大)・玉置 卓(兵庫県立大) |