Fri, Oct 10 AM 09:00 - 16:45 |
(1) |
09:00-09:30 |
Bit-Parallel Tree Pattern Matching Algorithms for Trees with Restricted Labels |
Hiroaki Yamamoto (Shinshu Univ.), Daichi Takenouchi (NTT-AT) |
(2) |
09:30-10:00 |
Packing Alignment and Its Application to Music Mining |
Atsuyoshi Nakamura, Mineichi Kudo (Hokkaido Univ.) |
(3) |
10:00-10:30 |
On the Complexity of Reconfiguration Problems |
Takehiro Ito (Tohoku Univ.), Erik D. Demaine, Nicholas J. A. Harvey (MIT), Christos H. Papadimitriou (UC Berkeley), Martha Sideri (AUEB), Ryuhei Uehara (JAIST), Yushi Uno (Osaka Prefecture Univ.) |
|
10:30-10:45 |
Break ( 15 min. ) |
(4) |
10:45-11:15 |
A Class of Smallest Four-State Firing Squad Synchronization Protocols for One-Dimensional Ring Cellular Automata |
Hiroshi Umeo, Naoki Kamikawa (Univ. of Osaka Electro-Comm.), Jean Baptiste Yun\`es (LIAFA-Univ.) |
(5) |
11:15-11:45 |
A Simple Succinct Representation of Balanced Parentheses Sequences |
Kunihiko Sadakane (Kyushu U) |
|
11:45-13:30 |
Lunch Break ( 105 min. ) |
(6) |
13:30-14:00 |
Computing the Tutte Polynomial of a Graph via BDD Revisited |
Hiroshi Imai (Univ. Tokyo), Keiko Imai (Chuo Univ.), Yoshitake Matsumoto, Sonoko Moriyama (Univ. Tokyo) |
(7) |
14:00-14:30 |
Lower bounds on quantum query complexity for decision trees |
Hideaki Fukuhara (Tohoku Univ.), Eiji Takimoto (Kyushu Univ.) |
(8) |
14:30-15:00 |
Partitioning a Weighted Tree to Subtrees of Almost Uniform Size |
Takehiro Ito (Tohoku Univ.), Takeaki Uno (NII), Xiao Zhou, Takao Nishizeki (Tohoku Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
(9) |
15:15-15:45 |
Size-Energy Tradeoff for Threshold Logic Circuits Computing MOD Functions |
Kei Uchizawa (Tohoku Univ.), Eiji Takimoto (Kyushu Univ.), Takao Nishizeki (Tohoku Univ.) |
(10) |
15:45-16:15 |
The carving-width of even grids |
Masanobu Furuse, Kyohei Kozawa, Yota Otachi, Koichi Yamazaki (Gunma Univ.) |
(11) |
16:15-16:45 |
Divide-and-Conquer Approach for Preemptive Scheduling Problems with Controllable Processing Times |
Natalia Shakhlevich (Univ. Leeds), Akiyoshi Shioura (Tohoku Univ.), Vitaly Strusevich (Univ. Greenwich) |