組合せ遷移による常時稼働型システムの構成最適化

• Project/Area Number: 20K11666
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: Tohoku University
• Principal Investigator: 鈴木 顕 東北大学, 情報科学研究科, 准教授 (10723562)
• Project Period (FY): 2020-04-01 – 2024-03-31
• Project Status: Granted (Fiscal Year 2022)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2022: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2021: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2020: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: 組合せ遷移 / 最適化遷移 / グラフアルゴリズム / アルゴリズム / グラフ理論

Outline of Research at the Start

遷移問題とは，ある問題の２つの解が与えられた際に，その一方からもう一方へと段階的に遷移する方法を求める問題である．遷移問題は他にも，監視カメラの配置等の常時稼働型システムの構成最適化や，インターネット通信等の継続的サービスの提供など，実社会での応用先が非常に多い問題である．
一方で，遷移問題を実社会に応用しようと考えた際に「目的の解が不明」「目的の解まで到達不能」といった問題が生じる．本研究では，それらの問題を解決するために，現在の解から辿り着ける中で最も良い解は何かを問う「最適化遷移」という新しいフレームワークを導入し，実社会への応用を目指す．

Outline of Annual Research Achievements

本年度は昨年度に引き続き本研究計画の2つの目標の内，1つ目の目標である「現実的な時間でより良い解を求めるアルゴリズムの開発」を中心に従事した．また，2つ目の「利便性の高いプログラムの実装と公開」にも従事した．
中でも大きな成果は，リスト頂点彩色問題の最適化遷移問題に関して，困難性容易性の両面から結果を得ることができた．具体的には，各リストに含まれる色数が2以下の場合や，入力グラフをバンド幅やパス幅が定数の二部グラフに制限したとした場合ですら計算困難であることを示した．一方で，パス幅が1の場合に，色数をパラメータとしたFPTアルゴリズムや，色数と入力グラフの頂点被覆数をパラメータとしたFPTアルゴリズムを与えた．これらの結果は既に「アルゴリズムと計算に関する査読付き国際会議（WALCOM 2023）」で口頭発表を行った．
また，昨年より継続している彩色遷移問題の最適化遷移問題に関しては，「情報数学と計算機科学に関する査読付き学術誌（International Journal of Computer Mathematics: Computer Systems Theory）」に採択され，既に発行済みである．
さらに，本研究課題採択前から取り組んでいた独立集合問題の最適化遷移問題に関する論文が「組合せ最適化に関する査読付き学術誌（Journal of Combinatorial Optimization）」で発行された．
他にも，kパス頂点被覆問題やソーティングボールパズル，遷移問題全般の困難性の証明の重要なツールである制約論理等，組合せ遷移に関する幅広い研究成果を得ることが出来た．

Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

1. 昨年扱った頂点彩色をさらに一般化した問題であるリスト頂点彩色の最適化遷移問題に対しても，大きな成果を得ることが出来た．
2. 得た成果に関して，国際会議での口頭発表や，学術雑誌への投稿等，順調にアウトプットできている．
3. 昨年に引き続き，国内外の研究者との交流を通して，様々な遷移問題に対して結果を得ることができた．
以上のことから，本研究計画はおおむね順調に進んでいると判断した．

Strategy for Future Research Activity

本年度までで独立集合，頂点彩色，リスト頂点彩色をはじめ，様々な問題に対する知見を得ることができた．最終年度では，得られた結果を順次論文にまとめ，国際会議での発表や学術雑誌への投稿を行っていく．
また，本研究の2つ目の目標である「利便性の高いプログラムの実装」についても，ここまで得られた成果を基に進めていく．

Research Products

• [Int'l Joint Research] リヨン１大学/ボルドー大学/グルノーブル・アルプ大学(フランス)
• [Int'l Joint Research] ブレーメン大学(ドイツ)
• [Int'l Joint Research] ハノイ国家大学(ベトナム)
• [Int'l Joint Research] ウォータールー大学/アルバータ大学(カナダ)
• [Int'l Joint Research] パリ大学/リヨン１大学/ボルドー大学(フランス)
• [Int'l Joint Research] ドルトムント工科大学/フリードリヒ・アレクサンダー 大学エアランゲン＝ニュルンベ ルク(ドイツ)
• [Int'l Joint Research] パリ大学/リヨン１大学/ボルドー大学(フランス)
• [Int'l Joint Research] ドルトムント工科大学/フリードリヒ・アレクサンダー大学エアランゲン＝ニュルンベルク(ドイツ)
• [Int'l Joint Research] ウォータールー大学(カナダ)
• [Journal Article] Path cover problems with length cost (2023)
  • Author(s): Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima and Tsuyoshi Yagita
  • Journal Title: Algorithmica Volume: - Issue: 11 Pages: 3348-3375
  • DOI: 10.1007/s00453-023-01106-2
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Decremental optimization of vertex-coloring under the reconfiguration framework (2023)
  • Author(s): Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura and Xiao Zhou
  • Journal Title: International Journal of Computer Mathematics: Computer Systems Theory Volume: 8 Issue: 1 Pages: 80-92
  • DOI: 10.1080/23799927.2023.2185543
  • Peer Reviewed
• [Journal Article] Parameterized complexity of optimizing list vertex-coloring through reconfiguration (2023)
  • Author(s): Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura and Xiao Zhou
  • Journal Title: Proceedings of the 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science (LNCS) Volume: 13973 Pages: 279-290
  • DOI: 10.1007/978-3-031-27051-2_24
  • ISBN: 9783031270505, 9783031270512
  • Peer Reviewed
• [Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2023)
  • Author(s): Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama and Takahisa Toda
  • Journal Title: Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS) Volume: 13884 Pages: 1-17
  • DOI: 10.1007/978-3-031-33271-5_12
  • ISBN: 9783031332708, 9783031332715
  • Peer Reviewed / Open Access
• [Journal Article] Reconfiguration of spanning trees with degree constraints or diameter constraints (2023)
  • Author(s): Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
  • Journal Title: Algorithmica Volume: - Issue: 9 Pages: 2779-2816
  • DOI: 10.1007/s00453-023-01117-z
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Fixed-parameter algorithms for graph constraint logic (2023)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muehlenthaler and Akira Suzuki
  • Journal Title: Theoretical Computer Science Volume: 959 Pages: 113863-113863
  • DOI: 10.1016/j.tcs.2023.113863
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Reconfiguring <i>k</i>-Path Vertex Covers (2022)
  • Author(s): Duc A. Hoang, Akira Suzuki and Tsuyoshi Yagita
  • Journal Title: IEICE Transactions on Information and Systems Volume: E105.D Issue: 7 Pages: 1258-1272
  • DOI: 10.1587/transinf.2021EDP7177
  • ISSN: 0916-8532, 1745-1361
  • Year and Date: 2022-07-01
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Sorting balls and water: equivalence and computational complexity (2022)
  • Author(s): Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka and Ryo Yoshinaka
  • Journal Title: Proceedings of the 11th International Conference on Fun with Algorithms (FUN 2022), Leibniz International Proceedings in Informatics (LIPIcs) Volume: 226
  • Peer Reviewed / Open Access
• [Journal Article] Happy set problem on subclasses of co-comparability graphs (2022)
  • Author(s): Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki and Yuma Tamura
  • Journal Title: Algorithmica Volume: - Issue: 11 Pages: 3327-3347
  • DOI: 10.1007/s00453-022-01081-0
  • Peer Reviewed
• [Journal Article] Algorithms for coloring reconfiguration under recolorability digraphs (2022)
  • Author(s): Soichiro Fujii, Yuni Iwamasa, Kei Kimura and Akira Suzuki
  • Journal Title: Proceedings of the 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz International Proceedings in Informatics (LIPIcs) Volume: 248
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Path Cover Problems with Length Cost (2022)
  • Author(s): Kobayashi Kenya、Lin Guohui、Miyano Eiji、Saitoh Toshiki、Suzuki Akira、Utashima Tadatoshi、Yagita Tsuyoshi
  • Journal Title: Lecture Notes in Computer Science Volume: 13174 Pages: 396-408
  • DOI: 10.1007/978-3-030-96731-4_32
  • ISBN: 9783030967307, 9783030967314
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Happy set problem on subclasses of co-comparability graphs (2022)
  • Author(s): Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
  • Journal Title: Proc. of 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022), Lecture Notes in Computer Science Volume: 13174 Pages: 149-160
  • DOI: 10.1007/978-3-030-96731-4_13
  • ISBN: 9783030967307, 9783030967314
  • Peer Reviewed / Open Access
• [Journal Article] Reconfiguration of spanning trees with degree constraint or diameter constraint (2022)
  • Author(s): Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
  • Journal Title: Leibniz International Proceedings in Informatics Volume: 219
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Max-Min 3-Dispersion Problems (2021)
  • Author(s): Takashi Horiyama, Shin-ichi Nakano, Toshiki Saitoh, Koki Suetsugu, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, and Kunihiro Wasa
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E104.A Issue: 9 Pages: 1101-1107
  • DOI: 10.1587/transfun.2020DMP0003
  • NAID: 130008081864
  • ISSN: 0916-8508, 1745-1337
  • Year and Date: 2021-09-01
  • Peer Reviewed
• [Journal Article] Decremental optimization of vertex-coloring under the reconfiguration framework (2021)
  • Author(s): Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki and Xiao Zhou
  • Journal Title: Lecture Notes in Computer Science Volume: 13025 Pages: 355-366
  • DOI: 10.1007/978-3-030-89543-3_30
  • ISBN: 9783030895426, 9783030895433
  • Peer Reviewed / Open Access
• [Journal Article] Trichotomy for the reconfiguration problem of integer linear systems (2021)
  • Author(s): Kei Kimura and Akira Suzuki
  • Journal Title: Theoretical Computer Science Volume: -
  • Peer Reviewed
• [Journal Article] Incremental optimization of independent sets under the reconfiguration framework (2021)
  • Author(s): Takehiro Ito, Haruka Mizuta, Naomi Nishimura and Akira Suzuki
  • Journal Title: Journal of Combinatorial Optimization Volume: -
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Diameter of colorings under Kempe changes (2020)
  • Author(s): Bonamy Marthe、Heinrich Marc、Ito Takehiro、Kobayashi Yusuke、Mizuta Haruka、Muehlenthaler Moritz、Suzuki Akira、Wasa Kunihiro
  • Journal Title: Theoretical Computer Science Volume: 838 Pages: 45-57
  • DOI: 10.1016/j.tcs.2020.05.033
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Parameterized complexity of independent set reconfiguration problems (2020)
  • Author(s): Ito Takehiro、Kaminski Marcin、Ono Hirotaka、Suzuki Akira、Uehara Ryuhei、Yamanaka Katsuhisa
  • Journal Title: Discrete Applied Mathematics Volume: - Pages: 336-345
  • DOI: 10.1016/j.dam.2020.01.022
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Decremental optimization of dominating sets under the reconfiguration framework (2020)
  • Author(s): Alexandre Blanche, Paul Ouvrard, Haruka Mizuta and Akira Suzuki
  • Journal Title: Proceedings of the 31st International Workshop on Combinatorial Algorithms (IWOCA 2020), Lecture Notes in Computer Science (LNCS) Volume: 12126 Pages: 69-82
  • DOI: 10.1007/978-3-030-48966-3_6
  • ISBN: 9783030489656, 9783030489663
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Reconfiguration of spanning trees with many or few leaves (2020)
  • Author(s): Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
  • Journal Title: Proceedings of the 28th Annual European Symposium on Algorithms (ESA 2020), Leibniz International Proceedings in Informatics (LIPIcs) Volume: 173
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Fixed-parameter algorithms for graph constraint logic (2020)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler and Akira Suzuki
  • Journal Title: Proceedings of the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), Leibniz International Proceedings in Informatics (LIPIcs) Volume: 180
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Presentation] Parameterized complexity of optimizing list vertex-coloring through reconfiguration (2023)
  • Author(s): Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura and Xiao Zhou
  • Organizer: The 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
  • Int'l Joint Research
• [Presentation] ZDDを用いた停電復旧の最短手順を算出するアルゴリズム (2023)
  • Author(s): 山岡 宙太, 川原 純, 伊藤 健洋, 鈴木 顕, 飯岡 大輔, 杉村 修平, 後藤 誠弥, 田邊 隆之
  • Organizer: 2022年度組合せ遷移の学生シンポジウム, 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合
• [Presentation] 停電復旧の最短手順を算出するアルゴリズム (2023)
  • Author(s): 川原 純, 山岡 宙太, 伊藤 健洋, 鈴木 顕, 飯岡 大輔, 杉村 修平, 後藤 誠弥, 田邊 隆之
  • Organizer: 令和5年電気学会全国大会(IEEJ2023)
• [Presentation] Sorting balls and water: equivalence and computational complexity (2022)
  • Author(s): Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka and Ryo Yoshinaka
  • Organizer: The 11th International Conference on Fun with Algorithms (FUN 2022)
  • Int'l Joint Research
• [Presentation] Algorithms for coloring reconfiguration under recolorability digraphs (2022)
  • Author(s): Soichiro Fujii, Yuni Iwamasa, Kei Kimura and Akira Suzuki
  • Organizer: The 33rd International Symposium on Algorithms and Computation (ISAAC 2022)
  • Int'l Joint Research
• [Presentation] 最適化遷移を用いた配電網の切替手順の算出 (2022)
  • Author(s): 鈴木 顕
  • Organizer: 第22回セミナー・勉強会, 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合
  • Invited
• [Presentation] Computational Complexity of Ball/Water Sort Puzzles (2022)
  • Author(s): Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka and Ryo Yoshinaka
  • Organizer: Japanese Conference on Combinatorics and its Applications 2022（離散数学とその応用研究集会2022）, ミニシンポジウム「組合せ遷移」
• [Presentation] ZDDを用いた組合せ遷移ソルバー (2022)
  • Author(s): 伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
  • Organizer: 2022年秋季研究発表会, 日本オペレーションズ・リサーチ学会
  • Invited
• [Presentation] 配電損失最小化問題に対する組合せ遷移的アプローチ (2022)
  • Author(s): 畠山 航, 鈴木 顕, 伊藤 健洋, 周 暁, 杉村 修平, 田邊 隆之
  • Organizer: 2022年秋季研究発表会, 日本オペレーションズ・リサーチ学会
  • Invited
• [Presentation] Path cover problems with length cost (2022)
  • Author(s): Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima and Tsuyoshi Yagita
  • Organizer: The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
  • Int'l Joint Research
• [Presentation] Happy set problem on subclasses of co-comparability graphs (2022)
  • Author(s): Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki and Yuma Tamura
  • Organizer: The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
  • Int'l Joint Research
• [Presentation] Reconfiguration of spanning trees with degree constraint or diameter constraint (2022)
  • Author(s): Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
  • Organizer: The 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)
  • Int'l Joint Research
• [Presentation] 長さコスト付きパスカバー最大化問題の近似アルゴリズム (2022)
  • Author(s): 小林 賢也，リン グオフイ，宮野 英次，斎藤 寿樹，鈴木 顕，歌島 侃勇，八木田 剛
  • Organizer: 2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
• [Presentation] ZDDを用いた組合せ遷移ソルバーについての考察 (2022)
  • Author(s): 伊藤 健洋，川原 純，宋 剛秀，鈴木 顕，照山 順一，戸田 貴久
  • Organizer: 2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
• [Presentation] On solving independent set reconfiguration problems with bounded model checking (2022)
  • Author(s): Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki and Junichi Teruyama
  • Organizer: 第186回アルゴリズム研究発表会
• [Presentation] Algorithms for happy set problem on interval graphs and permutation graphs (2022)
  • Author(s): Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
  • Organizer: 第186回アルゴリズム研究発表会
• [Presentation] Decremental optimization of vertex-coloring under the reconfiguration framework (2021)
  • Author(s): Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki and Xiao Zhou
  • Organizer: The 27th International Computing and Combinatorics Conference (COCOON 2021)
  • Int'l Joint Research
• [Presentation] Combinatorial reconfiguration applied to power distribution systems (2021)
  • Author(s): Akira Suzuki
  • Organizer: The Workshop on Combinatorial Reconfiguration, affiliated with the 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
  • Int'l Joint Research / Invited
• [Presentation] グラフ彩色の最適化遷移問題について (2021)
  • Author(s): 柳澤 佑介，鈴木 顕，田村 祐馬，周 暁
  • Organizer: 第185回アルゴリズム研究発表会
• [Presentation] Decremental optimization of dominating sets under the reconfiguration framework (2020)
  • Author(s): Alexandre Blanche, Paul Ouvrard, Haruka Mizuta and Akira Suzuki
  • Organizer: the 31st International Workshop on Combinatorial Algorithms (IWOCA 2020)
  • Int'l Joint Research
• [Presentation] Reconfiguration of spanning trees with many or few leaves (2020)
  • Author(s): Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
  • Organizer: the 28th Annual European Symposium on Algorithms (ESA 2020)
  • Int'l Joint Research
• [Presentation] Fixed-parameter algorithms for graph constraint logic (2020)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler and Akira Suzuki
  • Organizer: the 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)
  • Int'l Joint Research
• [Remarks] Akira Suzuki's Web Site
  • URL: http://www.ecei.tohoku.ac.jp/alg/suzuki/