9:30-9:50

◎ 岡⽥ 優⽃ (名古屋⼤学)，⽊⾕ 裕紀 (九州⼤学)，⼤舘 陽太，⼩野 廣隆 (名古屋⼤学)

グラフ上の⾊付きドロップ順次交換の計算量

9:50-10:10

◎ ⻘池 宥希 (横浜市⽴⼤学)，清⾒ 礼 (成蹊⼤学)，⼩林 靖明(京都⼤学)，⼤舘 陽太 (名古屋⼤学)

置換グラフ上の最⼤独⽴集合遷移問題の多項式時間解法

10:10-10:30

◎ 前⽥ 陽平，川原 純 (京都⼤学)

制約を緩和したトークンスライディング問題

10:40-11:00

◎ 柳澤 佑介，鈴⽊ 顕，⽥村 祐⾺，周 暁 (東北⼤学)

グラフ彩⾊の最適化遷移問題について

11:00-11:20

◎ 市野 達也，川原 純，湊 真⼀ (京都⼤学)

彩⾊遷移ソルバーの実装と性能

11:20-11:40

◎ ⼩⻄ 岳志，川原 純 (京都⼤学)，⼾⽥ 貴久 (電気通信⼤学)

有界モデル検査による全域⽊遷移ソルバ実装⼿法の提案と評価

11:40-12:00

◎ 荻野 奨太，池辺 淑⼦，鮏川 矩義 (東京理科⼤学)

船の到着時刻の不確実性を考慮したコンテナ整列問題

13:00-13:20

⼟井 義燿 (酒⽥市⽴第⼆中学校)，今野 紀雄 (横浜国⽴⼤学)，中上川 友樹 (湘南⼯科⼤学)，佐久間 雅 (⼭形⼤学)，瀬川 悦⽣(横浜国⽴⼤学)，篠原 英裕 (所属なし)，⽥村 駿也 (横浜国⽴⼤学)，◎⽥中 優帆 (東北⼤学)，豊⽥ 晃典 (⼭形⼤学)

サイクルの⼆乗グラフ上の乱歩における期待到達時間の解析

13:20-13:40

◎ 檜 拓磨，仲⽥ 研登 (岡⼭⼤学)

グレイシャー対応の⼀般化について

13:40-14:00

◎ 伊藤 ⼤修，⼭中 克久，平⼭ 貴司 (岩⼿⼤学)，⼩林 靖明 (京都⼤学)

線形拡張の遷移問題に関する研究

14:00-14:20

◎ 堤 幸太朗，佐野 良夫，久野 誉⼈ (筑波⼤学)

Hom-complexの連結性判定問題に対する組合せ遷移

14:40-15:00

◎ 重信 賢直，神⼭ 直之，⽊村 慧 (九州⼤学)

多項式時間可解なHorn ILS及びTVPI ILSにおける遷移問題の拡
張に関する研究

15:00-15:20

◎ 鎌⽥ ⽃南，上原 隆平 (JAIST)

多⾯体の間の再折り遷移問題の研究

15:20-15:40

◎ 平林 可意，藤原 洋志，⼭本 博章 (信州⼤学)

ビンパッキング問題の遷移問題に関する研究