5月10日(水) 午後 13:30 - 16:30 |
(1) |
13:30-13:55 |
[AL] 変更制約付き最大独立集合問題
朝廣 雄一(九州産業大学),江藤 宏,是永 華奈(九州工業大学),Guohui Lin (University of Alberta), ○宮野 英次,野々上 礼央(九州工業大学) |
(2) |
13:55-14:15 |
[AL ショートトーク] 歩行者ナビゲーションに向けた経路計画問題
○大滝 啓介,前田 智祐,吉村 貴克,堺 浩之(株式会社豊田中央研究所) |
|
14:15-14:30 |
休憩 ( 15分 ) |
(3) COMP |
14:30-15:30 |
[招待講演]Reallocation Problems with Minimum Completion Time COMP2023-1 |
○Toshimasa Ishii(Hokkaido Univ.)・Jun Kawahara・Kazuhisa Makino(Kyoto Univ.)・Hirotaka Ono(Nagoya Univ.) |
|
15:30-15:45 |
休憩 ( 15分 ) |
(4) |
15:45-16:10 |
[AL] 直方体の格子展開図の重なり
○塩田 拓海(九州工業大学),鎌田 斗南,上原 隆平(北陸先端科学技術大学院大学) |
(5) |
16:10-16:30 |
[AL ショートトーク] 六角形パズルフォント
○谷口 智子,上原 隆平(北陸先端科学技術大学院大学) |
5月11日(木) 午前 10:00 - 11:55 |
(6) COMP |
10:00-10:25 |
擬ランダム量子状態に必要な計算量的仮定 COMP2023-2 |
○白川雄貴(京大) |
(7) COMP |
10:25-10:50 |
視野欠損モデルにおける自律分散ロボットの一点集合問題の可解性 COMP2023-3 |
○金 鎔煥(名工大)・柴田将拡(九工大)・首藤裕一(法政大)・中村純哉(豊橋技科大)・片山喜章(名工大)・増澤利光(阪大) |
|
10:50-11:05 |
休憩 ( 15分 ) |
(8) COMP |
11:05-11:30 |
巡回トーナメント問題に対する近似アルゴリズムの改良 COMP2023-4 |
○金谷祐河・高澤兼二郎(法政大) |
(9) |
11:30-11:55 |
[AL] 最長ラン部分文字列問題に対する近似アルゴリズム
朝廣 雄一(九州産業大学),江藤 宏(九州工業大学),Mingyang Gong (University of Alberta), Jesper Jansson(京都大学),Guohui Lin (University of Alberta), 宮野 英次(九州工業大学),小野 廣隆(名古屋大学),○田中 駿一(九州工業大学) |
|
11:55-13:30 |
昼休憩 ( 95分 ) |
5月11日(木) 午後 13:30 - 16:10 |
(10) |
13:30-13:55 |
[AL] A Linear Delay Algorithm for Enumeration of 2-Edge/Vertex-connected Induced Subgraphs
○Tada Takumi, Haraguchi Kazuya (Kyoto University) |
(11) |
13:55-14:20 |
[AL] Enumeration of Non-isomorphic Unordered Trees with Degree Sequence Constraints
Shuhei Denzumi (NTT Communication Science Laboratories, NTT Corporation), Takashi Horiyama (Hokkaido University), ○Kazuhiro Kurita (Nagoya University), Atsuki Nagao (Ochanomizu University), Kazuhisa Seto (Hokkaido University), Kunihiro Wasa (Hosei University) |
(12) COMP |
14:20-14:45 |
直並列グラフに含まれる極小誘導シュタイナー部分グラフの列挙 COMP2023-5 |
○大野木 駿(豊橋技科大)・和佐州洋(法政大) |
|
14:45-15:00 |
休憩 ( 15分 ) |
(13) |
15:00-15:25 |
[AL] Optimal solution for the fold-and-cut problem on simple folding model
○Ryuhei Uehara (Japan Advanced Institute of Science and Technology) |
(14) COMP |
15:25-15:50 |
最短経路の最致命辺問題のパラメータ化複雑性 COMP2023-6 |
○芦田雄斗・北村直暉・泉 泰介・増澤利光(阪大) |
(15) |
15:50-16:10 |
[AL ショートトーク] Algorithm for Computing Representation of Bivariate Multi-Unit Assignment Valuations
Takafumi Otsuka, ○Akiyoshi Shioura (Tokyo Institute of Technology) |