Engineering Approach for Expanding Combinatorial Reconfiguration: Toward a General-Purpose Solver Using Power Distribution Systems as a Steppingstone

2022 Fiscal Year Annual Research Report

• Project Area: Fusion of Computer Science, Engineering and Mathematics Approaches for Expanding Combinatorial Reconfiguration
• Project/Area Number: 20H05794
• Research Institution: Kyoto University
• Principal Investigator: 川原 純 京都大学, 情報学研究科, 准教授 (20572473)
• Co-Investigator(Kenkyū-buntansha): 飯岡 大輔 中部大学, 工学部, 教授 (30377808) ; 戸田 貴久 電気通信大学, 大学院情報理工学研究科, 准教授 (50451159) ; 宋 剛秀 神戸大学, 情報基盤センター, 准教授 (00625121) ; 鈴木 顕 東北大学, 情報科学研究科, 准教授 (10723562) ; 照山 順一 兵庫県立大学, 情報科学研究科, 准教授 (40709862) ; 中畑 裕 奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50942067)
• Project Period (FY): 2020-10-02 – 2023-03-31
• Keywords: 組合せ遷移 / グラフアルゴリズム / SAT / モデル検査 / ゼロサプレス型二分決定グラフ

Outline of Annual Research Achievements

本研究では組合せ遷移の実装技術の構築とその産業応用に向けて、研究開発の共通基盤となるソフトウェア開発を目標とする。最終年度にあたる本年度は、前年度まで開発した組合せ遷移問題に対する汎用的なアプローチのさらなる発展と統合を行った。二分決定グラフ（ZDD）と呼ばれるデータ構造を用いた手法と、モデル検査を用いた手法を融合させ、組合せ遷移問題の解空間グラフの直径を求めるなど、問題の構造を明らかにする手法を提案した。ZDDを用いた手法をさらに発展させ、複雑な遷移ルールをもつ組合せ遷移問題に対しても、ZDDの手法が適用可能であることを示した。ZDDの手法については理論的な計算量評価も行った。
組合せ遷移技術の配電網への適用について、既に通電している区間を停電させずに、最短の配電切替手順を求める手法を開発し、特許出願と取得を行った。組合せ遷移の実装技術の統一的評価やコミュニティ醸成を目的とした、組合せ遷移技術の競技会「CoRe Challenge 2023」を、前年度に引き続き主催した。競技会で得られた結果に対する考察を行った。ソルバーの比較のためのベンチマークデータについて、アルゴリズム的に検討を行った。
最終的なソフトウェアの成果物としては以下の通りである。組合せ遷移ソルバーに他の研究者や実務家がアクセスしやすいよう、Python 言語によるライブラリ Reconfillion の開発と、C++ 言語によるプログラム ddreconf の開発を行い、それぞれ公開した。モデル検査ベースの組合せ遷移ソルバー pygplib の開発を行い、公開した。SAT ベースの独立集合遷移問題ソルバーも公開した。GUIインターフェイス CoReViewer の開発を前年度に引き続き行い、様々な組合せ遷移問題への対応等の強化を行ったバージョンを公開した。

Research Progress Status

令和4年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和4年度が最終年度であるため、記入しない。

Research Products

• [Journal Article] On the complexity of list H-packing for sparse graph classes (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Journal Title: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science Volume: 14549 Pages: 421-435
  • DOI: 10.1007/978-981-97-0566-5_30
  • Peer Reviewed / Open Access
• [Journal Article] The shortest path reconfiguration problem based on relaxation of reconfiguration rules (2024)
  • Author(s): Naoki Domon, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Journal Title: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science Volume: 14549 Pages: 227-241
  • DOI: 10.1007/978-981-97-0566-5_17
  • Peer Reviewed
• [Journal Article] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations (2024)
  • Author(s): Shou Ooba, Jun Kawahara, Shin-ichi Minato
  • Journal Title: Proc. of 16th International Conference on Agents and Artificial Intelligence (ICAART 2024) Volume: 3 Pages: 641-648
  • DOI: 10.5220/0012379900003636
  • Peer Reviewed / Open Access
• [Journal Article] Scalable hard instances for independent set reconfiguration (2024)
  • Author(s): Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
  • Journal Title: Proc. of 22nd Symposium on Experimental Algorithms (SEA 2024), Leibniz International Proceedings in Informatics Volume: 301 Pages: 掲載予定
  • Peer Reviewed / Open Access
• [Journal Article] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract) (2024)
  • Author(s): Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
  • Journal Title: Proc. of 17th International Symposium on Combinatorial Search (SoCS 2024) Volume: - Pages: 掲載予定
  • Peer Reviewed
• [Journal Article] Card-based zero-knowledge proof protocols for the 15-puzzle and the token swapping problem (2024)
  • Author(s): Yuma Tamura, Akira Suzuki, Takaaki Mizuki
  • Journal Title: Proc. of 11th ACM ASIA Public-Key Cryptography Workshop (APKC 2024) held in the 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024) Volume: - Pages: 掲載予定
  • Peer Reviewed
• [Journal Article] Finding induced subgraphs from graphs with small mim-width (2024)
  • Author(s): Yota Otachi, Akira Suzuki, Yuma Tamura
  • Journal Title: Proc. of 19th Scandinavian Symposium on Algorithm Theory (SWAT 2024), Leibniz International Proceedings in Informatics Volume: 294 Pages: 掲載予定
  • Peer Reviewed / Open Access
• [Journal Article] Parameterized complexity of weighted target set selection (2024)
  • Author(s): Takahiro Suzuki, Kei Kimura, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Journal Title: Proc. of 18th Annual Conference on Theory and Applications of Models of Computation (TAMC 2024), Lecture Notes in Computer Science Volume: - Pages: 掲載予定
  • Peer Reviewed
• [Journal Article] Reconfiguring (non-spanning) arborescences (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Kunihiro Wasa
  • Journal Title: Theoretical Computer Science Volume: 943 Pages: 131-141
  • DOI: 10.1016/j.tcs.2022.12.007
  • Peer Reviewed / Open Access
• [Journal Article] SAT-based method for finding attractors in asynchronous multi-valued networks (2023)
  • Author(s): Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
  • Journal Title: Proc. of 16th International Joint Conference on Biomedical Enginnering Systems and Technologies Volume: hal-03964870 Pages: --
  • DOI: 10.5281/zenodo.7460388
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs (2023)
  • Author(s): Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka
  • Journal Title: Proc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science Volume: 13973 Pages: 151-163
  • DOI: 10.1007/978-3-031-27051-2_14
  • Peer Reviewed / Open Access
• [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, Takahisa Toda
  • Journal Title: Proc. of 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science Volume: 13884 Pages: 167-183
  • DOI: 10.1007/978-3-031-33271-5_12
  • Peer Reviewed / Open Access
• [Journal Article] Happy set problem on subclasses of co-comparability graphs (2023)
  • Author(s): Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
  • Journal Title: Algorithmica Volume: 85 Pages: 1-21
  • DOI: 10.1007/s00453-022-01081-0
  • Peer Reviewed
• [Journal Article] Decremental optimization of vertex-coloring under the reconfiguration framework (2023)
  • Author(s): Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Journal Title: International Journal of Computer Mathematics: Computer Systems Theory Volume: 8 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, Xiao Zhou
  • Journal Title: Proc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science Volume: 13973 Pages: 279-290
  • DOI: 10.1007/978-3-031-27051-2_24
  • Peer Reviewed
• [Journal Article] Reconfiguration of time-respecting arborescences (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naoyuki Kamiyama, Yasuaki Kobayashi, Yusuke Kobayashi, Shun-ichi Maezawa, Akira Suzuki
  • Journal Title: Proc. of 18th Algorithms and Data Structures Symposium (WADS 2023), Lecture Notes in Computer Science Volume: 14079 Pages: 521-532
  • DOI: 10.1007/978-3-031-38906-1_34
  • Peer Reviewed / Open Access
• [Journal Article] Fixed-parameter algorithms for graph constraint logic (2023)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler, Akira Suzuki
  • Journal Title: Theoretical Computer Science Volume: 959 Pages: 113863
  • DOI: 10.1016/j.tcs.2023.113863
  • Peer Reviewed / Open Access / Int'l Joint Research
• [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, Kunihiro Wasa
  • Journal Title: Algorithmica Volume: 85 Pages: 2779-2816
  • DOI: 10.1007/s00453-023-01117-z
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Feedback vertex set reconfiguration in planar graphs (2023)
  • Author(s): Nicolas Bousquet, Felix Hommelsheim, Yusuke Kobayashi, Moritz M?hlenthaler, Akira Suzuki
  • Journal Title: Theoretical Computer Science Volume: 979 Pages: 114188
  • DOI: 10.1016/j.tcs.2023.114188
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] SAF: SAT-based attractor finder in asynchronous automata networks (2023)
  • Author(s): Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
  • Journal Title: Proc. of 21st International Conference on Computational Methods in Systems Biology (CMSB 2023), Lecture Notes in Bioinformatics Volume: 14173 Pages: 175-183
  • DOI: 10.1007/978-3-031-42697-1_12
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Hamiltonian cycle reconfiguration with answer set programming (2023)
  • Author(s): Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
  • Journal Title: Proc. of 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Lecture Notes in Artificial Intelligence Volume: 14238 Pages: 262-277
  • DOI: 10.1007/978-3-031-43619-2_19
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Sorting balls and water: Equivalence and computational complexity (2023)
  • Author(s): Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
  • Journal Title: Theoretical Computer Science Volume: 978 Pages: 114158
  • DOI: 10.1016/j.tcs.2023.114158
  • Peer Reviewed / Open Access
• [Journal Article] On computing a center persistence diagram (2023)
  • Author(s): Yuya Higashikawa, Naoki Katoh, Guohui Lin, Eiji Miyano, Suguru Tamaki, Junichi Teruyama, Binhai Zhu
  • Journal Title: Proc. of 24th International Symposium on Fundamentals of Computation Theory (FCT 2023), Lecture Notes in Computer Science Volume: 14292 Pages: 262-275
  • DOI: 10.1007/978-3-031-43587-4_19
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Sink location problems in dynamic flow grid networks (2023)
  • Author(s): Yuya Higashikawa, Ayano Nishii, Junichi Teruyama, Yuki Tokuni
  • Journal Title: Proc. of 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science Volume: 14422 Pages: 155-167
  • DOI: 10.1007/978-3-031-49190-0_11
  • Peer Reviewed / Open Access
• [Journal Article] Red-black dpanners for mixed-charging vehicular networks (2023)
  • Author(s): Sergey Bereg, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni, Binhai Zhu
  • Journal Title: Proc. of 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science Volume: 14422 Pages: 220-231
  • DOI: 10.1007/978-3-031-49190-0_16
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Faster algorithms for evacuation problems in networks with a single sink of small degree and bounded capacitated edges (2023)
  • Author(s): Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni
  • Journal Title: Proc. of 16th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2023), Lecture Notes in Computer Science Volume: 14461 Pages: 29-42
  • DOI: 10.1007/978-3-031-49611-0_3
  • Peer Reviewed / Open Access
• [Journal Article] Path cover problems with length cost (2023)
  • Author(s): Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima, Tsuyoshi Yagita
  • Journal Title: Algorithmica Volume: 85 Pages: 3348-3375
  • DOI: 10.1007/s00453-023-01106-2
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] On the routing problems in graphs with ordered forbidden transitions (2023)
  • Author(s): Kota Kumakura, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Journal Title: Proc. of 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science Volume: 14422 Pages: 359-370
  • DOI: 10.1007/978-3-031-49190-0_26
  • Peer Reviewed
• [Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability (2023)
  • Author(s): Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
  • Journal Title: Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023) Volume: - Pages: 294-302
  • DOI: 10.1109/ICTAI59109.2023.00050
  • Peer Reviewed / Open Access
• [Journal Article] Algorithmic study for power restoration in electrical distribution networks (2023)
  • Author(s): Jun Kawahara, Chuta Yamaoka, Takehiro Ito, Akira Suzuki, Daisuke Iioka, Shuhei Sugimura, Seiya Goto, Takayuki Tanabe
  • Journal Title: Proc. of 4th Asia Pacific Conference of the Prognostics and Health Management (PHMAP 2023) Volume: 4 Pages: 1-3
• [Journal Article] DAG-pathwidth: graph algorithmic analyses of DAG-type blockchain networks (2023)
  • Author(s): Shoji Kasahara, Jun Kawahara, Shin-ichi Minato, Jumpei Mori
  • Journal Title: IEICE Transactions on Information and Systems Volume: E106.D Pages: 272-283
  • DOI: 10.1587/transinf.2022FCP0007
  • Peer Reviewed / Open Access
• [Journal Article] Independent set reconfiguration on directed graphs (2022)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
  • Journal Title: Proc. of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics Volume: 241 Pages: 58:1-58:15
  • DOI: 10.4230/LIPIcs.MFCS.2022.58
  • Peer Reviewed
• [Journal Article] Reconfiguring k-path vertex covers (2022)
  • Author(s): Duc A. Hoang, Akira Suzuki, Tsuyoshi Yagita
  • Journal Title: IEICE Transactions on Information and Systems Volume: E105-D Pages: 1258-1272
  • DOI: 10.1587/transinf.2021EDP7177
  • Peer Reviewed / Open Access
• [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, Ryo Yoshinaka
  • Journal Title: Proc. of 11th International Conference on Fun with Algorithms (FUN 2022), Leibniz International Proceedings in Informatics Volume: 226 Pages: 16:1-16:17
  • DOI: 10.4230/LIPIcs.FUN.2022.16
  • Peer Reviewed / Open Access
• [Journal Article] Algorithms for coloring reconfiguration under recolorability digraphs (2022)
  • Author(s): Soichiro Fujii, Yuni Iwamasa, Kei Kimura, Akira Suzuki
  • Journal Title: Proc. of 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz International Proceedings in Informatics Volume: 248 Pages: 4:1-4:19
  • DOI: 10.4230/LIPIcs.ISAAC.2022.4
  • Peer Reviewed / Open Access
• [Journal Article] A satisfiability algorithm for deterministic width-2 branching programs (2022)
  • Author(s): Tomu Makita, Atsuki Nagao, Tatsuki Okada, Kazuhisa Seto, Junichi Teruyama
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E105-A Pages: 1298-1308
  • DOI: 10.1587/transfun.2021EAP1120
  • Peer Reviewed / Open Access
• [Journal Article] On robustness against evacuees' unexpected movement in automatic evacuation guiding (2022)
  • Author(s): Jun Kawahara, Takanori Hara, Masahiro Sasabe
  • Journal Title: Computers and Electrical Engineering Volume: 105 Pages: 108531
  • DOI: 10.1016/j.compeleceng.2022.108531
  • Peer Reviewed
• [Journal Article] Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions (2022)
  • Author(s): Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
  • Journal Title: arXiv Volume: 2201.08118 Pages: -
  • DOI: 10.48550/arXiv.2201.08118
  • Open Access
• [Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2022)
  • Author(s): Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • Journal Title: arXiv Volume: 2207.13959 Pages: -
  • DOI: 10.48550/arXiv.2207.13959
  • Open Access
• [Journal Article] Reallocation problems with minimum completion time (2022)
  • Author(s): Toshimasa Ishii, Jun Kawahara, Kazuhisa Makino, Hirotaka Ono
  • Journal Title: Proc. of 28th International Computing and Combinatorics Conference (COCOON 2022), Lecture Notes in Computer Science Volume: 13595 Pages: 292-304
  • DOI: 10.1007/978-3-031-22105-7_26
  • Peer Reviewed / Open Access
• [Presentation] List variants of packing problems on sparse graphs (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 第196回アルゴリズム研究発表会
• [Presentation] Shortest path reconfiguration with relaxed constraints (2024)
  • Author(s): Naoki Domon, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 第196回アルゴリズム研究発表会
• [Presentation] 点重み付きグラフにおける標的集合選択問題に関する研究 (2024)
  • Author(s): 鈴木 隆央, 鈴木 顕, 田村 祐馬, 周 暁
  • Organizer: 第196回アルゴリズム研究発表会
• [Presentation] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations (2024)
  • Author(s): Shou Ooba, Jun Kawahara, Shin-ichi Minato
  • Organizer: The 16th International Conference on Agents and Artificial Intelligence (ICAART 2024)
  • Int'l Joint Research
• [Presentation] 遷移ルールの緩和に基づく独立集合遷移問題 (2024)
  • Author(s): 菅 達皓, 鈴木 顕, 田村 祐馬, 周 暁
  • Organizer: 電子情報通信学会 2024年 総合大会 COMP-AFSA学生シンポジウム
• [Presentation] Algorithms for weighted target set selection (2024)
  • Author(s): Takahiro Suzuki, Kei Kimura, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 電子情報通信学会 2024年 総合大会 COMP-AFSA学生シンポジウム
• [Presentation] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用 (2024)
  • Author(s): 古渡 健太, 川原 純, 湊 真一
  • Organizer: 日本オペレーションズ・リサーチ学会 2024年春期研究発表会
• [Presentation] タイを含む無羨望マッチングの遷移 (2024)
  • Author(s): 岩政 勇仁, 川原 純, 上田 結大
  • Organizer: 電子情報通信学会 コンピュテーション研究会
• [Presentation] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価 (2024)
  • Author(s): 吉 浩, 川原 純, 湊 真一
  • Organizer: 情報処理学会 第86回全国大会
• [Presentation] On the complexity of list H-packing for sparse graph classes (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • Int'l Joint Research
• [Presentation] The shortest path reconfiguration problem based on relaxation of reconfiguration rules (2024)
  • Author(s): Naoki Domon, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • Int'l Joint Research
• [Presentation] ZDDを用いた独立集合遷移問題の解空間グラフの直径をなす独立集合対の計算 (2024)
  • Author(s): 小西 岳志, 川原 純, 湊 真一
  • Organizer: 第128回人工知能基本問題研究会
• [Presentation] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム (2024)
  • Author(s): 宮本 照之, 川原 純, 湊 真一
  • Organizer: 第128回人工知能基本問題研究会
• [Presentation] MDDを用いた変更の少ない選挙区割の列挙 (2023)
  • Author(s): 市野 達也, 川原 純, 湊 真一, 堀田 敬介
  • Organizer: 日本オペレーションズ・リサーチ学会 2023年春期研究発表会
• [Presentation] 停電復旧の最短手順を算出するアルゴリズム (2023)
  • Author(s): 川原 純, 山岡 宙太, 伊藤 健洋, 鈴木 顕, 飯岡 大輔, 杉村 修平, 後藤 誠弥, 田邊 隆之
  • Organizer: 令和5年電気学会全国大会(IEEJ2023)
• [Presentation] Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs (2023)
  • Author(s): Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka
  • Organizer: 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
  • Int'l Joint Research
• [Presentation] Parameterized complexity of optimizing list vertex-coloring through reconfiguration (2023)
  • Author(s): Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
  • Int'l Joint Research
• [Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2023)
  • Author(s): Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • Organizer: 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
  • Int'l Joint Research
• [Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究 (2023)
  • Author(s): 大森 嶺, 宋 剛秀, 田村 直之
  • Organizer: 2023年度人工知能学会全国大会（第37回）
• [Presentation] 時間制約付き有向木の遷移 (2023)
  • Author(s): 伊藤 健洋, 岩政 勇仁, 神山 直之, 小林 靖明, 小林 佑輔, 前澤 俊一, 鈴木 顕
  • Organizer: 2023年度夏のLAシンポジウム
• [Presentation] Reconfiguration of time-respecting arborescences (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naoyuki Kamiyama, Yasuaki Kobayashi, Yusuke Kobayashi, Shun-ichi Maezawa, Akira Suzuki
  • Organizer: 18th Algorithms and Data Structures Symposium (WADS 2023)
  • Int'l Joint Research
• [Presentation] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築 (2023)
  • Author(s): 赤川 雄紀, 川原 純, 湊 真一
  • Organizer: 第22回情報科学技術フォーラム（FIT2023）
• [Presentation] Algorithmic study for power restoration in electrical distribution networks (2023)
  • Author(s): Jun Kawahara, Chuta Yamaoka, Takehiro Ito, Akira Suzuki, Daisuke Iioka, Shuhei Sugimura, Seiya Goto, Takayuki Tanabe
  • Organizer: Asia-Pacific Conference of the Prognostics and Health Management (PHM) Society 2023
  • Int'l Joint Research
• [Presentation] SATソルバーと利用技術 (2023)
  • Author(s): 宋 剛秀
  • Organizer: 2023年度 電子情報通信学会 ソサイエティ大会
  • Invited
• [Presentation] 事故復旧を考慮した配電系統構成の最適化に関する検討 (2023)
  • Author(s): 杉村 修平, 金子 曜久, 林 泰弘, 野崎 哲平, 鈴木 顕, 伊藤 健洋, 田邊隆之
  • Organizer: 電力技術／電力系統技術合同研究会
• [Presentation] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability (2023)
  • Author(s): Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
  • Organizer: 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
  • Int'l Joint Research
• [Presentation] グラフ構造に基づく順序付き禁止トランジションを避ける経路に関する研究 (2023)
  • Author(s): 熊倉 航太, 鈴木 顕, 田村 祐馬, 周 暁
  • Organizer: 第195回アルゴリズム研究発表会
• [Presentation] On the routing problems in graphs with ordered forbidden transitions (2023)
  • Author(s): Kota Kumakura, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • Organizer: 29th International Computing and Combinatorics Conference (COCOON 2023)
  • Int'l Joint Research
• [Presentation] A ZDD-based solver for combinatorial reconfiguration problems (2022)
  • Author(s): Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • Organizer: 4th Combinatorial Reconfiguration Workshop
  • Int'l Joint Research / Invited
• [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, Ryo Yoshinaka
  • Organizer: 11th International Conference on Fun with Algorithms (FUN 2022)
  • Int'l Joint Research
• [Presentation] 最短路遷移問題のZDDを用いた解法と評価 (2022)
  • Author(s): 大場 翔, 川原 純, 湊 真一
  • Organizer: 2022年度 人工知能学会全国大会 (第36回)
• [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, Ryo Yoshinaka
  • Organizer: Japanese Conference on Combinatorics and its Applications 2022 離散数学とその応用研究集会2022
• [Presentation] ZDDを用いた組合せ遷移ソルバー (2022)
  • Author(s): 伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
  • Organizer: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [Presentation] 配電損失最小化問題に対する組合せ遷移的アプローチ (2022)
  • Author(s): 畠山 航, 鈴木 顕, 伊藤 健洋, 周 暁, 杉村 修平, 田邊 隆之
  • Organizer: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法 (2022)
  • Author(s): 有薗舜, 中畑裕, 笠原正治
  • Organizer: 2022年度日本オペレーションズ・リサーチ学会 関西支部若手研究発表会
• [Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems (2022)
  • Author(s): Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
  • Organizer: 5th Workshop on Enumeration Problems and Applications (WEPA 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
• [Remarks] 組合せ遷移＠学術変革領域研究(B)
  • URL: https://core.dais.is.tohoku.ac.jp/
• [Remarks] CoRe Challenge 2022
  • URL: https://core-challenge.github.io/2022/
• [Remarks] 組合せ遷移ソルバー用GUI「CoReViewer」
  • URL: https://github.com/junkawahara/CoReViewer
• [Remarks] Reconfillion - Python interface for comb. reconf.
  • URL: https://github.com/junkawahara/reconfillion
• [Remarks] Python First-Order Graph Property Library
  • URL: https://github.com/toda-lab/pygplib
• [Patent(Industrial Property Rights)] 電力融通システム、電力融通方法、電力融通プログラム (2022)
  • Inventor(s): 伊藤健洋，鈴木顕，飯岡大輔，川原純 他
  • Industrial Property Rights Holder: 伊藤健洋，鈴木顕，飯岡大輔，川原純 他
  • Industrial Property Rights Type: 特許
  • Industrial Property Number: 特願2022-130841