10月10日(金) 午前
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 |
休憩 （ 15分 ） |
| (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 |
括弧列の簡単・簡潔な表現法 |
○定兼邦彦（九大） |
| |
11:45-13:30 |
昼食 （ 105分 ） |
| (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 |
休憩 （ 15分 ） |
| (9) |
15:15-15:45 |
ブール剰余関数を計算するしきい値論理回路のサイズとエネルギー複雑度のトレードオフ |
○内沢 啓（東北大）・瀧本英二（九大）・西関隆夫（東北大） |
| (10) |
15:45-16:15 |
偶グリッドのカービング幅 |
○古瀬雅信・小澤恭平・大舘陽太・山崎浩一（群馬大） |
| (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） |
al
i
i
