10月18日(金) 午前 10:40 - 12:25 |
(1) |
10:40-11:15 |
巨大で疎な組合せ集合を表現するための三分索引化ZDD |
○青木洋士(北大)・戸田貴久(JST)・湊 真一(北大) |
(2) |
11:15-11:50 |
距離遺伝グラフにおけるハミルトン閉路問題 |
○神保孝則・平田富夫(名大) |
(3) |
11:50-12:25 |
高階圧縮の高速化と効率の良い符号化 |
○矢口和也(東北大)・小林直樹(東大)・篠原 歩(東北大) |
|
12:25-13:55 |
休憩 ( 90分 ) |
10月18日(金) 午後 13:55 - 15:25 |
(4) |
13:55-15:25 |
[チュートリアル講演]計算複雑さへの招待(4):計算限界証明における障壁 |
○玉置 卓(京大) |
|
15:25-15:50 |
休憩 ( 25分 ) |
10月18日(金) 午後 15:50 - 17:00 |
(5) |
15:50-16:25 |
Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers
-- Preliminary Report -- |
○Marcos Villagra・Tomoyuki Yamakami(Univ. of Fukui) |
(6) |
16:25-17:00 |
フロベニウスの硬貨交換問題に対する構文解析表を用いたアルゴリズム |
○松原俊一(青学大) |