10月8日(水) 午前 10:20 - 11:50 |
(1) |
10:20-10:50 |
On Extended Complexity of Generalized Transversal Matroids |
○Shuichi Hirahara・Hiroshi Imai(Univ. of Tokyo) |
(2) |
10:50-11:20 |
The State Complexity of Two-Way Quantum Finite Automata |
○Marcos Villagra・Tomoyuki Yamakami(Univ. of Fukui) |
(3) |
11:20-11:50 |
Algorithms for the Minimum Vulnerability Problem |
○Yusuke Aoki(Tohoku Univ.)・Bjarni V. Halldorsson・Magnus M. Halldorsson(Reykjavik Univ.)・Takehiro Ito(Tohoku Univ.)・Christian Konrad(Reykjavik Univ.)・Xiao Zhou(Tohoku Univ.) |
|
11:50-13:30 |
昼食 ( 100分 ) |
10月8日(水) 午後 13:30 - 16:15 |
(4) |
13:30-14:30 |
[招待講演]混合正規分布に対する統計的最大最小演算とその応用 |
○築山修治(中大) |
|
14:30-14:45 |
休憩 ( 15分 ) |
(5) |
14:45-15:15 |
Reconfiguration of List Colorings in a Graph |
○Tatsuhiko Hatanaka・Takehiro Ito・Xiao Zhou(Tohoku Univ.) |
(6) |
15:15-15:45 |
順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化 |
○井上祐馬・湊 真一(北大) |
(7) |
15:45-16:15 |
Implicant Size of a CNF Formula with Many Satisfying Assignments |
Daniel Kane(Stanford Univ.)・○Osamu Watanabe(Tokyo Inst. of Tech.) |