6月24日(月) 午前 10:00 - 16:20 |
(1) |
10:00-10:35 |
Morpion Solitaire: a new upper bound 121 of the maximum score |
Akitoshi Kawamura(Univ. of Tokyo)・○Takuma Okamoto・Yuichi Tatsu・Yushi Uno・Masahide Yamato(Osaka Prefecture Univ.) |
(2) |
10:35-11:10 |
Shortest Path Queries by Labeling for Paths with Pruning in Road Networks |
○Yuki Kawata・Takuya Akiba・Yoichi Iwata(Univ. of Tokyo) |
(3) |
11:10-11:45 |
Bethe Approximation, Loop Series and Partition Function Zeros |
○Ryuhei Mori(Tokyo Inst. of Tech.) |
|
11:45-13:20 |
休憩 ( 95分 ) |
(4) |
13:20-14:50 |
[チュートリアル講演]計算複雑さへの招待(3):数理計画法から攻める計算限界 |
○上野賢哉(京大) |
|
14:50-15:10 |
休憩 ( 20分 ) |
(5) |
15:10-15:45 |
単調論理関数双対化を用いたパラメトリック整数計画アルゴリズムについて |
夫 紀恵(NII)・○渋田敬史(九大) |
(6) |
15:45-16:20 |
Stronger Methods of Making Quantum Interactive Proofs Perfectly Complete |
Hirotada Kobayashi(NII)・Francois Le Gall(Univ. of Tokyo)・○Harumichi Nishimura(Nagoya Univ.) |