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

• Project Area: Fusion of Computer Science, Engineering and Mathematics Approaches for Expanding Combinatorial Reconfiguration
• Project/Area Number: 20H05794
• Research Category: Grant-in-Aid for Transformative Research Areas (B)
• Allocation Type: Single-year Grants
• Review Section: Transformative Research Areas, Section (IV)
• 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
• Project Status: Completed (Fiscal Year 2022)
• Budget Amount: ¥43,550,000 (Direct Cost: ¥33,500,000、Indirect Cost: ¥10,050,000); Fiscal Year 2022: ¥15,730,000 (Direct Cost: ¥12,100,000、Indirect Cost: ¥3,630,000); Fiscal Year 2021: ¥15,730,000 (Direct Cost: ¥12,100,000、Indirect Cost: ¥3,630,000); Fiscal Year 2020: ¥12,090,000 (Direct Cost: ¥9,300,000、Indirect Cost: ¥2,790,000)
• Keywords: 組合せ遷移 / グラフアルゴリズム / SAT / モデル検査 / ゼロサプレス型二分決定グラフ / 二分決定グラフ / 配電網の開閉器切替 / 配電切替 / SATソルバー

Outline of Research at the Start

本研究の大目標は「組合せ遷移に対する実装技術の構築と産業応用」であり，組合せ遷移の理論研究と産業応用の橋渡しとすべく，共通のコミュニケーション基盤となるソフトウェア開発を目指す．そのために本計画研究では，(i) 3つの技法を用いて組合せ遷移の汎用ソルバーを開発し，それを用いて (ii) 配電制御システムを題材とした産業応用を実践することで具体的な応用事例を提示する．本計画研究 (B01班) では，組合せ遷移のアルゴリズム設計技法 (A01班) や数学理論を用いた前処理技術 (C01班) を活用しながら，組合せ遷移アルゴリズムを利活用するための土台を作り上げる．

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 $$\mathcal H$$-Packing for Sparse Graph Classes (2024)
  • Author(s): Gima Tatsuya、Hanaka Tesshu、Kobayashi Yasuaki、Otachi Yota、Shirai Tomohito、Suzuki Akira、Tamura Yuma、Zhou Xiao
  • Journal Title: Proceedings of the 18th International Conference and Workshop on Algorithms and Computation (WALCOM 2024) Volume: 14549 Pages: 421-435
  • DOI: 10.1007/978-981-97-0566-5_30
  • ISBN: 9789819705658, 9789819705665
  • Peer Reviewed / Open Access
• [Journal Article] The Shortest Path Reconfiguration Problem Based on Relaxation of Reconfiguration Rules (2024)
  • Author(s): Domon Naoki、Suzuki Akira、Tamura Yuma、Zhou Xiao
  • Journal Title: Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science (LNCS) Volume: 14549 Pages: 227-241
  • DOI: 10.1007/978-981-97-0566-5_17
  • ISBN: 9789819705658, 9789819705665
  • 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
  • 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: -
  • 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: -
  • 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
  • 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: -
  • Peer Reviewed
• [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 Issue: 3 Pages: 272-283
  • DOI: 10.1587/transinf.2022FCP0007
  • ISSN: 0916-8532, 1745-1361
  • Year and Date: 2023-03-01
  • Peer Reviewed / Open Access
• [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
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs (2023)
  • Author(s): Kawahara Jun、Saitoh Toshiki、Takeda Hirokazu、Yoshinaka Ryo、Yoshioka Yui
  • Journal Title: Lecture Notes in Computer Science Volume: 13973 Pages: 151-163
  • DOI: 10.1007/978-3-031-27051-2_14
  • ISBN: 9783031270505, 9783031270512
  • 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 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] 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] Reconfiguration of Time-Respecting Arborescences (2023)
  • Author(s): Ito Takehiro、Iwamasa Yuni、Kamiyama Naoyuki、Kobayashi Yasuaki、Kobayashi Yusuke、Maezawa Shun-ichi、Suzuki Akira
  • Journal Title: Algorithms and Data Structures (WADS 2023) Volume: 14079 Pages: 521-532
  • DOI: 10.1007/978-3-031-38906-1_34
  • ISBN: 9783031389054, 9783031389061
  • 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-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 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] Feedback vertex set reconfiguration in planar graphs (2023)
  • Author(s): Bousquet Nicolas、Hommelsheim Felix、Kobayashi Yusuke、M?hlenthaler Moritz、Suzuki Akira
  • Journal Title: Theoretical Computer Science Volume: 979 Pages: 114188-114188
  • DOI: 10.1016/j.tcs.2023.114188
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] SAF: SAT-Based Attractor Finder in?Asynchronous Automata Networks (2023)
  • Author(s): Soh Takehide、Magnin Morgan、Le Berre Daniel、Banbara Mutsunori、Tamura Naoyuki
  • Journal Title: Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023) Volume: LNCS 14137 Pages: 175-183
  • DOI: 10.1007/978-3-031-42697-1_12
  • ISBN: 9783031426964, 9783031426971
  • Peer Reviewed / Int'l Joint Research
• [Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming (2023)
  • Author(s): Hirate Takahiro、Banbara Mutsunori、Inoue Katsumi、Lu Xiao-Nan、Nabeshima Hidetomo、Schaub Torsten、Soh Takehide、Tamura Naoyuki
  • Journal Title: Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) Volume: LNAI 14281 Pages: 262-277
  • DOI: 10.1007/978-3-031-43619-2_19
  • ISBN: 9783031436185, 9783031436192
  • Peer Reviewed / Open Access / 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: 927 Pages: 114158-114158
  • DOI: 10.1016/j.tcs.2023.114158
  • Peer Reviewed / Open Access
• [Journal Article] On Computing a?Center Persistence Diagram (2023)
  • Author(s): Higashikawa Yuya、Katoh Naoki、Lin Guohui、Miyano Eiji、Tamaki Suguru、Teruyama Junichi、Zhu Binhai
  • Journal Title: Proc of 24th International Symposium on Fundamentals of Computation Theory Volume: LNCS 14292 Pages: 262-275
  • DOI: 10.1007/978-3-031-43587-4_19
  • ISBN: 9783031435867, 9783031435874
  • 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 the 29th International Computing and Combinatorics Conference (COCOON 2023) Volume: LNCS14422 Pages: 155-167
  • DOI: 10.1007/978-3-031-49190-0_11
  • ISBN: 9783031491894, 9783031491900
  • 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
  • ISBN: 9783031491894, 9783031491900
  • 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): Yuki Tokuni, Katoh Naoki, Junichi Teruyama, Yuya Higashikawa
  • Journal Title: Proc. of the 16th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2023) Volume: LNCS14461 Pages: 29-42
  • DOI: 10.1007/978-3-031-49611-0_3
  • ISBN: 9783031496103, 9783031496110
  • 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 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] On the Routing Problems in Graphs with Ordered Forbidden Transitions (2023)
  • Author(s): Kumakura Kota、Suzuki Akira、Tamura Yuma、Zhou Xiao
  • Journal Title: Proceedings of the 29th International Computing and Combinatorics Conference (COCOON 2023), Lecture Notes in Computer Science (LNCS) Volume: 14422 Pages: 359-370
  • DOI: 10.1007/978-3-031-49190-0_26
  • ISBN: 9783031491894, 9783031491900
  • 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] 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 Issue: 9 Pages: 1298-1308
  • DOI: 10.1587/transfun.2021EAP1120
  • ISSN: 0916-8508, 1745-1337
  • Year and Date: 2022-09-01
  • Peer Reviewed / Open Access
• [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] 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
  • Peer Reviewed
• [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
  • 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
  • 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-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
  • 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
  • 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: 1-21
  • DOI: 10.1007/s00453-022-01081-0
  • Peer Reviewed
• [Journal Article] Reallocation Problems with Minimum Completion Time (2022)
  • Author(s): Toshimasa Ishii, Jun Kawahara, Kazuhisa Makino, Hirotaka Ono
  • Journal Title: Proceedings of the 28th International Conference on Computing and Combinatorics, COCOON 2022 Volume: - Pages: 292-304
  • DOI: 10.1007/978-3-031-22105-7_26
  • ISBN: 9783031221040, 9783031221057
  • 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, Kunihiro Wasa
  • Journal Title: arXiv Volume: --
  • 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, Ryo Yoshinaka
  • Journal Title: arXiv Volume: --
  • 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, Kunihiro Wasa
  • Journal Title: Proc. of 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022), Leibniz International Proceedings in Informatics Volume: 219
  • 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] 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] 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] Almost linear time algorithms for minsum k-sink problems on dynamic flow path networks (2021)
  • Author(s): Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Koji Watase
  • Journal Title: Theoretical Computer Science Volume: 873 Pages: 87-113
  • DOI: 10.1016/j.tcs.2021.05.003
  • Peer Reviewed / Open Access
• [Journal Article] Towards CEGAR-based parallel SAT solving (2021)
  • Author(s): Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
  • Journal Title: Proc. of 12th International Workshop of Pragmatics of SAT Volume: --
  • Peer Reviewed
• [Journal Article] Decrease and reset for power‐down (2021)
  • Author(s): James Andro-Vasko, Wolfgang Bein, Hiro Ito, Shoji Kasahara, and Jun Kawahara
  • Journal Title: Energy Systems, Springer Volume: September Issue: 2 Pages: 445-471
  • DOI: 10.1007/s12667-021-00475-3
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Locating evacuation centers optimally in path and cycle networks (2021)
  • Author(s): Robert Benkoczi, Binay Bhattacharya, Yuya Higashikawa, Tsunehiko Kameda, Naoki Katoh, Junichi Teruyama
  • Journal Title: Proc. of 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021), Open Access Series in Informatics Volume: 96
  • Peer Reviewed / Open Access / Int'l Joint Research
• [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, Akira Suzuki
  • Journal Title: Theoretical Computer Science Volume: 856 Pages: 88-109
  • DOI: 10.1016/j.tcs.2020.12.025
  • Peer Reviewed / Open Access
• [Journal Article] Minmax Regret 1-Sink Location Problems on Dynamic Flow Path Networks with Parametric Weights (2021)
  • Author(s): Tetsuya Fujie, Yuya Higashikawa, Naoki Katoh, Junichi Teruyama, Yuki Tokuni
  • Journal Title: Proceedings of the 15th International Conference and Workshops (WALCOM 2021) Volume: LNCS12635 Pages: 52-64
  • DOI: 10.1007/978-3-030-68211-8_5
  • ISBN: 9783030682101, 9783030682118
  • Peer Reviewed / Open Access
• [Journal Article] Fixed-parameter algorithms for graph constraint logic (2020)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Mテシhlenthaler, Akira Suzuki
  • Journal Title: arXiv Volume: --
  • Open Access / Int'l Joint Research
• [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
• [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] 有界モデル検査による独立集合遷移問題の解法に関する考察（On solving independent set reconfiguration problems with bounded model checking） (2022)
  • Author(s): 戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
  • Organizer: 第186回アルゴリズム研究発表会
• [Presentation] ZDDを用いた組合せ遷移ソルバーについての考察 (2022)
  • Author(s): 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
  • Organizer: 2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
• [Presentation] 長さコスト付きパスカバー最大化問題の近似アルゴリズム (2022)
  • Author(s): 小林 賢也, リン グオフイ, 宮野 英次, 斎藤 寿樹, 鈴木 顕, 歌島 侃勇, 八木田 剛
  • Organizer: 2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究（公開型）, 情報社会を支える計算機科学の基礎理論
• [Presentation] Computational complexity of ball/water sort puzzles (2022)
  • Author(s): 伊藤 健洋, 川原 純, 湊 真一, 大舘 陽太, 斎藤 寿樹, 鈴木 顕, 上原 隆平, 宇野 毅明, 山中 克久, 吉仲 亮
  • Organizer: 第16回組合せゲーム・パズル研究集会
• [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, Kunihiro Wasa
  • Organizer: 39th International Symposium on Theoretical Aspects of Computer Science (STACS 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, Yuma Tamura
  • Organizer: 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
  • Int'l Joint Research
• [Presentation] Path cover problems with length cost (2022)
  • Author(s): Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima, Tsuyoshi Yagita
  • Organizer: 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
  • Int'l Joint Research
• [Presentation] Towards CEGAR-based parallel SAT solving (2021)
  • Author(s): Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
  • Organizer: 12th International Workshop of Pragmatics of SAT (a workshop of SAT 2021)
  • Int'l Joint Research
• [Presentation] Combinatorial reconfiguration applied to power distribution systems (2021)
  • Author(s): Akira Suzuki
  • Organizer: Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2021
  • Int'l Joint Research / Invited
• [Presentation] Decremental optimization of vertex-coloring under the reconfiguration framework (2021)
  • Author(s): Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki, Xiao Zhou
  • Organizer: 27th International Computing and Combinatorics Conference (COCOON 2021)
  • Int'l Joint Research
• [Presentation] グラフ彩色の最適化遷移問題について（Optimization variant of vertex-coloring reconfiguration problem） (2021)
  • Author(s): 柳澤 佑介, 鈴木 顕, 田村 祐馬, 周 暁
  • Organizer: 第185回アルゴリズム研究発表会
• [Presentation] 区間グラフに対するハミルトン閉路遷移問題 (2021)
  • Author(s): 佐藤 颯介, 鈴木 顕, 伊藤 健洋, 周 暁
  • Organizer: 電子情報通信学会 2021年 総合大会 COMP 学生シンポジウム
• [Presentation] Fixed-parameter algorithms for graph constraint logic (2020)
  • Author(s): Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler, Akira Suzuki
  • Organizer: 15th International Symposium on Parameterized and Exact Computation (IPEC 2020)
  • Int'l Joint Research
• [Book] 機械学習アルゴリズム (2021)
  • Author(s): 鈴木 顕
  • Total Pages: 208
  • Publisher: 共立出版
  • ISBN: 9784320125179
• [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
• [Remarks] 工学アプローチによる 組合せ遷移の展開
  • URL: https://core.dais.is.tohoku.ac.jp/project/project_b01/
• [Patent(Industrial Property Rights)] 電力融通システム、電力融通方法、電力融通プログラム (2022)
  • Inventor(s): 伊藤健洋，鈴木顕，飯岡大輔，川原純 他
  • Industrial Property Rights Holder: 伊藤健洋，鈴木顕，飯岡大輔，川原純 他
  • Industrial Property Rights Type: 特許
  • Industrial Property Number: 2022-130841
  • Filing Date: 2022
  • Acquisition Date: 2023