Wed, Oct 8 AM 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 |
Lunch ( 100 min. ) |
Wed, Oct 8 PM 13:30 - 16:15 |
(4) |
13:30-14:30 |
[Invited Talk]
Statistical Maximum and Minimum Operations for Gaussian Mixture Model and Their Applications |
Shuji Tsukiyama (Chuo Univ.) |
|
14:30-14:45 |
Break ( 15 min. ) |
(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 |
Fast Indexing All Eulerian Trails Using Permutation Decision Diagrams |
Yuma Inoue, Shin-ichi Minato (Hokkaido Univ.) |
(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.) |