5月20日(金) 午前 10:15 - 17:15 |
(1) |
10:15-10:50 |
文書データベースへの効率的な索引付けとその更新に関する研究 |
○後藤隆元・小野廣隆・定兼邦彦・山下雅史(九大) |
(2) |
10:50-11:25 |
Hardness of Pickup and Delivery for Moving Objects on Broken Lines |
Yuichi Asahiro(Kyushu Sangyo Univ.)・○Eiji Miyano・Shinichi Shimoirisa(Kyushu Inst. of Tech.) |
(3) |
11:25-12:00 |
Hardness and an Approximation Algorithm for Minimum Certificate Dispersal Problems |
○Hua Zheng・Shingo Omura・Koichi Wada(Nagoya Inst. of Tech.) |
|
12:00-13:30 |
昼食 ( 90分 ) |
(4) |
13:30-14:05 |
リテラルの出現回数に制限を加えたTree-Shellable論理関数の判定複雑さ |
○加藤木 直・武永康彦(電通大) |
(5) |
14:05-14:40 |
VSOP: ゼロサプレス型BDDに基づく「重み付き積和集合」計算プログラム |
○湊 真一(北大) |
(6) |
14:40-15:15 |
ぷよぷよはNP完全 |
○牟田秀俊(東大) |
|
15:15-15:30 |
休憩 ( 15分 ) |
(7) |
15:30-16:05 |
安定結婚問題に対する局所探索近似アルゴリズムの改良 |
○山内直哉・宮崎修一・岩間一雄(京大) |
(8) |
16:05-16:40 |
Constant Time Generation of Linear Extensions |
Akimitsu Ono・○Shin-ichi Nakano(Gunma Univ.) |
(9) |
16:40-17:15 |
オートマトンを利用した拡張正規表現照合アルゴリズムの実験的評価 |
○山本博章(信州大) |