• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Planned Research

Project AreaFusion 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 TypeSingle-year Grants
Review Section Transformative Research Areas, Section (IV)
Research InstitutionKyoto University

Principal Investigator

KAWAHARA Jun  京都大学, 情報学研究科, 准教授 (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 2023)
Budget Amount *help
¥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 Final Research Achievements

In this study, we developed an implementation technology for combinatorial reconfiguration problems and studied it for industrial applications. Specifically, we proposed algorithms based on bounded model checking and binary decision diagrams. We also developed four kinds of software and libraries containing them, and made them publicly available for easy use by non-specialists. For industrial applications, we worked on the computation of a multi-stage switching procedure of power distribution networks, and developed a program using our solver. It is theoretically guaranteed that the obtained procedure is the shortest. During the 3.5 years of research including the carry-over period, we published 48 peer-reviewed academic papers.

Academic Significance and Societal Importance of the Research Achievements

公開した組合せ遷移ソフトウェアにより,非専門家が組合せ遷移の最先端の技術に容易にアクセスできるようになり,自領域内の問題を組合せ遷移問題として定式化して解くことが期待できる.また,組合せ遷移の国際プログラミング競技会の開催によって,組合せ遷移の実装技術の統一的評価を可能とし,ソルバー開発のコミュニティ形成への土台が構築できた.配電網の停電復旧アルゴリズムは,激甚災害に伴う大規模停電やライフスタイル変容に伴う需要密度の変化など,可用性を担保しながら,より広域な配電系統の制御へと展開されていくことが期待できる.

Report

(4 results)
  • 2023 Final Research Report ( PDF )
  • 2022 Annual Research Report
  • 2021 Annual Research Report
  • 2020 Annual Research Report
  • Research Products

    (113 results)

All 2024 2023 2022 2021 2020 Other

All Journal Article (54 results) (of which Int'l Joint Research: 16 results,  Peer Reviewed: 48 results,  Open Access: 37 results) Presentation (51 results) (of which Int'l Joint Research: 21 results,  Invited: 3 results) Book (1 results) Remarks (6 results) Patent(Industrial Property Rights) (1 results)

  • [Journal Article] On the Complexity of List $$\mathcal H$$-Packing for Sparse Graph Classes2024

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] The Shortest Path Reconfiguration Problem Based on Relaxation of Reconfiguration Rules2024

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations2024

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Scalable hard instances for independent set reconfiguration2024

    • 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

    • Related Report
      2022 Annual Research Report
    • 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: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Card-based zero-knowledge proof protocols for the 15-puzzle and the token swapping problem2024

    • 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: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Finding induced subgraphs from graphs with small mim-width2024

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Parameterized complexity of weighted target set selection2024

    • 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: -

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Reconfiguring (non-spanning) arborescences2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] SAT-based method for finding attractors in asynchronous multi-valued networks2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Decremental optimization of vertex-coloring under the reconfiguration framework2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Parameterized complexity of optimizing list vertex-coloring through reconfiguration2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reconfiguration of Time-Respecting Arborescences2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Fixed-parameter algorithms for graph constraint logic2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Reconfiguration of spanning trees with degree constraints or diameter constraints2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Feedback vertex set reconfiguration in planar graphs2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] SAF: SAT-Based Attractor Finder in?Asynchronous Automata Networks2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Hamiltonian Cycle Reconfiguration with Answer Set Programming2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Sorting balls and water: Equivalence and computational complexity2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] On Computing a?Center Persistence Diagram2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Sink Location Problems in Dynamic Flow Grid Networks2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Red-black dpanners for mixed-charging vehicular networks2023

    • 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
    • Related Report
      2022 Annual Research Report
    • 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 Edges2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Path cover problems with length cost2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] On the Routing Problems in Graphs with Ordered Forbidden Transitions2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Algorithmic study for power restoration in electrical distribution networks2023

    • 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

    • Related Report
      2022 Annual Research Report
  • [Journal Article] A Satisfiability Algorithm for Deterministic Width-2 Branching Programs2022

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Reconfiguring <i>k</i>-Path Vertex Covers2022

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Independent set reconfiguration on directed graphs2022

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Sorting balls and water: Equivalence and computational complexity2022

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Algorithms for coloring reconfiguration under recolorability digraphs2022

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] On robustness against evacuees' unexpected movement in automatic evacuation guiding2022

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions2022

    • Author(s)
      Shin-ichi Minato, Mutsunori Banbara, Takashi Horiyama, Jun Kawahara, Ichigaku Takigawa, Yutaro Yamaguchi
    • Journal Title

      arXiv

      Volume: 2201.08118

    • Related Report
      2022 Annual Research Report
    • Open Access
  • [Journal Article] ZDD-based algorithmic framework for solving shortest reconfiguration problems2022

    • Author(s)
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
    • Journal Title

      arXiv

      Volume: 2207.13959

    • Related Report
      2022 Annual Research Report
    • Open Access
  • [Journal Article] Happy set problem on subclasses of co-comparability graphs2022

    • 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

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reallocation Problems with Minimum Completion Time2022

    • 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
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Reconfiguration of spanning trees with degree constraint or diameter constraint2022

    • Author(s)
      Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki, Kunihiro Wasa
    • Journal Title

      arXiv

      Volume: --

    • Related Report
      2021 Annual Research Report
    • Open Access / Int'l Joint Research
  • [Journal Article] Sorting balls and water: equivalence and computational complexity2022

    • 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: --

    • Related Report
      2021 Annual Research Report
    • Open Access
  • [Journal Article] Reconfiguration of spanning trees with degree constraint or diameter constraint2022

    • 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

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Happy set problem on subclasses of co-comparability graphs2022

    • 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
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Path Cover Problems with Length Cost2022

    • 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
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Max-Min 3-Dispersion Problems2021

    • 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
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Almost linear time algorithms for minsum k-sink problems on dynamic flow path networks2021

    • 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

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Towards CEGAR-based parallel SAT solving2021

    • Author(s)
      Takehide Soh, Hidetomo Nabeshima, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
    • Journal Title

      Proc. of 12th International Workshop of Pragmatics of SAT

      Volume: --

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Decrease and reset for power‐down2021

    • 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

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Locating evacuation centers optimally in path and cycle networks2021

    • 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

    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Decremental optimization of vertex-coloring under the reconfiguration framework2021

    • 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
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Trichotomy for the reconfiguration problem of integer linear systems2021

    • Author(s)
      Kei Kimura, Akira Suzuki
    • Journal Title

      Theoretical Computer Science

      Volume: 856 Pages: 88-109

    • DOI

      10.1016/j.tcs.2020.12.025

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Minmax Regret 1-Sink Location Problems on Dynamic Flow Path Networks with Parametric Weights2021

    • 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
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Fixed-parameter algorithms for graph constraint logic2020

    • Author(s)
      Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Mテシhlenthaler, Akira Suzuki
    • Journal Title

      arXiv

      Volume: --

    • Related Report
      2020 Annual Research Report
    • Open Access / Int'l Joint Research
  • [Presentation] List variants of packing problems on sparse graphs2024

    • Author(s)
      Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      第196回アルゴリズム研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Shortest path reconfiguration with relaxed constraints2024

    • Author(s)
      Naoki Domon, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      第196回アルゴリズム研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 点重み付きグラフにおける標的集合選択問題に関する研究2024

    • Author(s)
      鈴木 隆央, 鈴木 顕, 田村 祐馬, 周 暁
    • Organizer
      第196回アルゴリズム研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Designing algorithms for the shortest path reconfiguration problem using decision diagram operations2024

    • Author(s)
      Shou Ooba, Jun Kawahara, Shin-ichi Minato
    • Organizer
      The 16th International Conference on Agents and Artificial Intelligence (ICAART 2024)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 遷移ルールの緩和に基づく独立集合遷移問題2024

    • Author(s)
      菅 達皓, 鈴木 顕, 田村 祐馬, 周 暁
    • Organizer
      電子情報通信学会 2024年 総合大会 COMP-AFSA学生シンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] Algorithms for weighted target set selection2024

    • Author(s)
      Takahiro Suzuki, Kei Kimura, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      電子情報通信学会 2024年 総合大会 COMP-AFSA学生シンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] コンテナ積載計画問題へのゼロサプレス型二分決定グラフの応用2024

    • Author(s)
      古渡 健太, 川原 純, 湊 真一
    • Organizer
      日本オペレーションズ・リサーチ学会 2024年春期研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] タイを含む無羨望マッチングの遷移2024

    • Author(s)
      岩政 勇仁, 川原 純, 上田 結大
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 0-1整数線形計画問題の実行可能解を列挙するZDDの生成法とその評価2024

    • Author(s)
      吉 浩, 川原 純, 湊 真一
    • Organizer
      情報処理学会 第86回全国大会
    • Related Report
      2022 Annual Research Report
  • [Presentation] On the complexity of list H-packing for sparse graph classes2024

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] The shortest path reconfiguration problem based on relaxation of reconfiguration rules2024

    • Author(s)
      Naoki Domon, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ZDDを用いた独立集合遷移問題の解空間グラフの直径をなす独立集合対の計算2024

    • Author(s)
      小西 岳志, 川原 純, 湊 真一
    • Organizer
      第128回人工知能基本問題研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] ZDDの区間メモ化探索法を改良した頂点被覆問題のコスト制約解列挙アルゴリズム2024

    • Author(s)
      宮本 照之, 川原 純, 湊 真一
    • Organizer
      第128回人工知能基本問題研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] MDDを用いた変更の少ない選挙区割の列挙2023

    • Author(s)
      市野 達也, 川原 純, 湊 真一, 堀田 敬介
    • Organizer
      日本オペレーションズ・リサーチ学会 2023年春期研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 停電復旧の最短手順を算出するアルゴリズム2023

    • Author(s)
      川原 純, 山岡 宙太, 伊藤 健洋, 鈴木 顕, 飯岡 大輔, 杉村 修平, 後藤 誠弥, 田邊 隆之
    • Organizer
      令和5年電気学会全国大会(IEEJ2023)
    • Related Report
      2022 Annual Research Report
  • [Presentation] Efficient non-isomorphic graph enumeration algorithms for subclasses of perfect graphs2023

    • Author(s)
      Jun Kawahara, Toshiki Saitoh, Hirokazu Takeda, Ryo Yoshinaka, Yui Yoshioka
    • Organizer
      17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Parameterized complexity of optimizing list vertex-coloring through reconfiguration2023

    • Author(s)
      Yusuke Yanagisawa, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] ZDD-based algorithmic framework for solving shortest reconfiguration problems2023

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 最大独立集合問題のSAT技術を用いた解法に関する研究2023

    • Author(s)
      大森 嶺, 宋 剛秀, 田村 直之
    • Organizer
      2023年度人工知能学会全国大会(第37回)
    • Related Report
      2022 Annual Research Report
  • [Presentation] 時間制約付き有向木の遷移2023

    • Author(s)
      伊藤 健洋, 岩政 勇仁, 神山 直之, 小林 靖明, 小林 佑輔, 前澤 俊一, 鈴木 顕
    • Organizer
      2023年度夏のLAシンポジウム
    • Related Report
      2022 Annual Research Report
  • [Presentation] Reconfiguration of time-respecting arborescences2023

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A*探索に基づく組合せ最適化問題の上位解列挙とZDDの構築2023

    • Author(s)
      赤川 雄紀, 川原 純, 湊 真一
    • Organizer
      第22回情報科学技術フォーラム(FIT2023)
    • Related Report
      2022 Annual Research Report
  • [Presentation] Algorithmic study for power restoration in electrical distribution networks2023

    • 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
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] SATソルバーと利用技術2023

    • Author(s)
      宋 剛秀
    • Organizer
      2023年度 電子情報通信学会 ソサイエティ大会
    • Related Report
      2022 Annual Research Report
    • Invited
  • [Presentation] 事故復旧を考慮した配電系統構成の最適化に関する検討2023

    • Author(s)
      杉村 修平, 金子 曜久, 林 泰弘, 野崎 哲平, 鈴木 顕, 伊藤 健洋, 田邊隆之
    • Organizer
      電力技術/電力系統技術合同研究会
    • Related Report
      2022 Annual Research Report
  • [Presentation] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability2023

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] グラフ構造に基づく順序付き禁止トランジションを避ける経路に関する研究2023

    • Author(s)
      熊倉 航太, 鈴木 顕, 田村 祐馬, 周 暁
    • Organizer
      第195回アルゴリズム研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] On the routing problems in graphs with ordered forbidden transitions2023

    • Author(s)
      Kota Kumakura, Akira Suzuki, Yuma Tamura, Xiao Zhou
    • Organizer
      29th International Computing and Combinatorics Conference (COCOON 2023)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] A ZDD-based solver for combinatorial reconfiguration problems2022

    • Author(s)
      Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
    • Organizer
      4th Combinatorial Reconfiguration Workshop
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Sorting balls and water: equivalence and computational complexity2022

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 最短路遷移問題のZDDを用いた解法と評価2022

    • Author(s)
      大場 翔, 川原 純, 湊 真一
    • Organizer
      2022年度 人工知能学会全国大会 (第36回)
    • Related Report
      2022 Annual Research Report
  • [Presentation] Computational complexity of ball/water sort puzzles2022

    • 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
    • Related Report
      2022 Annual Research Report
  • [Presentation] ZDDを用いた組合せ遷移ソルバー2022

    • Author(s)
      伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
    • Organizer
      日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 配電損失最小化問題に対する組合せ遷移的アプローチ2022

    • Author(s)
      畠山 航, 鈴木 顕, 伊藤 健洋, 周 暁, 杉村 修平, 田邊 隆之
    • Organizer
      日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] 時間変化するネットワークに対する二分決定グラフを用いた信頼性評価法2022

    • Author(s)
      有薗舜, 中畑裕, 笠原正治
    • Organizer
      2022年度日本オペレーションズ・リサーチ学会 関西支部若手研究発表会
    • Related Report
      2022 Annual Research Report
  • [Presentation] A ZDD-Based Method for Exactly Enumerating All Lower-Cost Solutions of Combinatorial Problems2022

    • 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)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Algorithms for coloring reconfiguration under recolorability digraphs2022

    • Author(s)
      Soichiro Fujii, Yuni Iwamasa, Kei Kimura, and Akira Suzuki
    • Organizer
      The 33rd International Symposium on Algorithms and Computation (ISAAC 2022)
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Algorithms for happy set problem on interval graphs and permutation graphs2022

    • Author(s)
      Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
    • Organizer
      第186回アルゴリズム研究発表会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 有界モデル検査による独立集合遷移問題の解法に関する考察(On solving independent set reconfiguration problems with bounded model checking)2022

    • Author(s)
      戸田 貴久, 伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一
    • Organizer
      第186回アルゴリズム研究発表会
    • Related Report
      2021 Annual Research Report
  • [Presentation] ZDDを用いた組合せ遷移ソルバーについての考察2022

    • Author(s)
      伊藤 健洋, 川原 純, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
    • Organizer
      2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究(公開型), 情報社会を支える計算機科学の基礎理論
    • Related Report
      2021 Annual Research Report
  • [Presentation] 長さコスト付きパスカバー最大化問題の近似アルゴリズム2022

    • Author(s)
      小林 賢也, リン グオフイ, 宮野 英次, 斎藤 寿樹, 鈴木 顕, 歌島 侃勇, 八木田 剛
    • Organizer
      2021年度冬のLAシンポジウム, 京都大学数理解析研究所RIMS共同研究(公開型), 情報社会を支える計算機科学の基礎理論
    • Related Report
      2021 Annual Research Report
  • [Presentation] Computational complexity of ball/water sort puzzles2022

    • Author(s)
      伊藤 健洋, 川原 純, 湊 真一, 大舘 陽太, 斎藤 寿樹, 鈴木 顕, 上原 隆平, 宇野 毅明, 山中 克久, 吉仲 亮
    • Organizer
      第16回組合せゲーム・パズル研究集会
    • Related Report
      2021 Annual Research Report
  • [Presentation] Reconfiguration of spanning trees with degree constraint or diameter constraint2022

    • 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)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Happy set problem on subclasses of co-comparability graphs2022

    • Author(s)
      Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
    • Organizer
      16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Path cover problems with length cost2022

    • 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)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Towards CEGAR-based parallel SAT solving2021

    • 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)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Combinatorial reconfiguration applied to power distribution systems2021

    • Author(s)
      Akira Suzuki
    • Organizer
      Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2021
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] Decremental optimization of vertex-coloring under the reconfiguration framework2021

    • Author(s)
      Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki, Xiao Zhou
    • Organizer
      27th International Computing and Combinatorics Conference (COCOON 2021)
    • Related Report
      2021 Annual Research Report
    • Int'l Joint Research
  • [Presentation] グラフ彩色の最適化遷移問題について(Optimization variant of vertex-coloring reconfiguration problem)2021

    • Author(s)
      柳澤 佑介, 鈴木 顕, 田村 祐馬, 周 暁
    • Organizer
      第185回アルゴリズム研究発表会
    • Related Report
      2021 Annual Research Report
  • [Presentation] 区間グラフに対するハミルトン閉路遷移問題2021

    • Author(s)
      佐藤 颯介, 鈴木 顕, 伊藤 健洋, 周 暁
    • Organizer
      電子情報通信学会 2021年 総合大会 COMP 学生シンポジウム
    • Related Report
      2020 Annual Research Report
  • [Presentation] Fixed-parameter algorithms for graph constraint logic2020

    • 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)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Book] 機械学習アルゴリズム2021

    • Author(s)
      鈴木 顕
    • Total Pages
      208
    • Publisher
      共立出版
    • ISBN
      9784320125179
    • Related Report
      2020 Annual Research Report
  • [Remarks] 組合せ遷移@学術変革領域研究(B)

    • URL

      https://core.dais.is.tohoku.ac.jp/

    • Related Report
      2022 Annual Research Report
  • [Remarks] CoRe Challenge 2022

    • URL

      https://core-challenge.github.io/2022/

    • Related Report
      2022 Annual Research Report
  • [Remarks] 組合せ遷移ソルバー用GUI「CoReViewer」

    • URL

      https://github.com/junkawahara/CoReViewer

    • Related Report
      2022 Annual Research Report
  • [Remarks] Reconfillion - Python interface for comb. reconf.

    • URL

      https://github.com/junkawahara/reconfillion

    • Related Report
      2022 Annual Research Report
  • [Remarks] Python First-Order Graph Property Library

    • URL

      https://github.com/toda-lab/pygplib

    • Related Report
      2022 Annual Research Report
  • [Remarks] 工学アプローチによる 組合せ遷移の展開

    • URL

      https://core.dais.is.tohoku.ac.jp/project/project_b01/

    • Related Report
      2021 Annual Research Report 2020 Annual Research Report
  • [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
    • Related Report
      2022 Annual Research Report

URL: 

Published: 2020-10-30   Modified: 2025-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi