計算機科学アプローチによる組合せ遷移の展開：アルゴリズムの自動生成に向けて

2022 Fiscal Year Annual Research Report

• Project Area: Fusion of Computer Science, Engineering and Mathematics Approaches for Expanding Combinatorial Reconfiguration
• Project/Area Number: 20H05793
• Research Institution: Tohoku University
• Principal Investigator: 伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548)
• Co-Investigator(Kenkyū-buntansha): 和佐 州洋 法政大学, 理工学部, 准教授 (00781337) ; 山内 由紀子 九州大学, システム情報科学研究院, 教授 (10546518) ; 小林 靖明 北海道大学, 情報科学研究院, 准教授 (60735083) ; 大舘 陽太 名古屋大学, 情報学研究科, 准教授 (80610196)
• Project Period (FY): 2020-10-02 – 2023-03-31
• Keywords: 組合せ遷移 / グラフアルゴリズム

Outline of Annual Research Achievements

組合せ遷移の様々な問題についてアルゴリズム研究を進めることができ，さらには本計画研究班の主目的であったアルゴリズム的メタ定理の構築にも成功した．本研究では「近傍多様度」と呼ばれるグラフ構造指標に着目し，それに基づくメタ定理を構築した．このメタ定理は，遷移ステップ数をパラメータにしないという特色がある．その一方で，「木深度」と呼ばれるグラフ構造指標をパラメータとすると計算困難（PSPACE完全）であることを証明し，計算容易性と困難性の対比を示すこともできた．
さらに，他の計画研究班と連携することで，組合せ遷移のアルゴリズム理論の様々な展開にも取り組むことができた．一例として，円筒型置換列の列挙と遷移に関する研究が挙げられる．これは，本研究領域でのセミナーをきっかけとして開始され，計画研究C01班・外部研究者との共同研究に依って得られたことも特筆に値する．また組合せ遷移の視点を，近接分野である列挙に展開した研究事例とも見なせる．
計画研究B01班へは，独立集合の遷移問題において，遷移ステップ数が入力サイズの指数長となるような入力例を提供し，それを基にソルバーにとって計算が難しい入力例の解析へと繋げた．これらの入力例は，本研究領域が主催した組合せ遷移の国際プログラミング競技会でも活用された．
さらに，産学連携研究にも取り組み，計画研究B01班・企業と共に，配電網での停電発生時にその最短の復旧手順を算出するアルゴリズムを開発した．組合せ遷移のアルゴリズム手法を活用することで，健全な需要区間への電力供給は担保しつつも，停電復旧の最短性を理論保証した．

Research Progress Status

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

Strategy for Future Research Activity

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

Research Products

• [Int'l Joint Research] NISER Bhubaneswar/Institute of Mathematical Sciences(インド)
  • Country Name: INDIA
  • Counterpart Institution: NISER Bhubaneswar/Institute of Mathematical Sciences
• [Int'l Joint Research] University of Bremen(ドイツ)
  • Country Name: GERMANY
  • Counterpart Institution: University of Bremen
• [Int'l Joint Research] Universite Grenoble Alpes/Universite de Lyon/Universite de Bordeaux(フランス)
  • Country Name: FRANCE
  • Counterpart Institution: Universite Grenoble Alpes/Universite de Lyon/Universite de Bordeaux
  • # of Other Institutions: 1
• [Journal Article] Structural parameterizations of vertex integrity (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi
  • Journal Title: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science Volume: 14549 Pages: 406-420
  • DOI: 10.1007/978-981-97-0566-5_29
  • Peer Reviewed
• [Journal Article] Orientable burning number of graphs (2024)
  • Author(s): Julien Courtiel, Paul Dorbec, Tatsuya Gima, Romain Lecoq, Yota Otachi
  • Journal Title: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science Volume: 14549 Pages: 377-391
  • DOI: 10.1007/978-981-97-0566-5_27
  • Peer Reviewed / Int'l Joint Research
• [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] Dichotomies for tree minor containment with structural parameters (2024)
  • Author(s): Tatsuya Gima, Soh Kumabe, Kazuhiro Kurita, Yuto Okada, Yota Otachi
  • Journal Title: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science Volume: 14549 Pages: 392-405
  • DOI: 10.1007/978-981-97-0566-5_28
  • Peer Reviewed
• [Journal Article] Computational complexity of jumping block puzzles (2024)
  • Author(s): Masaaki Kanzaki, Yota Otachi, Giovanni Viglietta, Ryuhei Uehara
  • Journal Title: Theoretical Computer Science Volume: 983 Pages: 114292
  • DOI: 10.1016/j.tcs.2023.114292
  • Peer Reviewed
• [Journal Article] On a spectral lower bound of treewidth (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Kohei Noro, Hirotaka Ono, Yota Otachi
  • Journal Title: IEICE Transactions on Information and Systems Volume: E107-D Pages: 328-330
  • DOI: 10.1587/transinf.2023FCL0002
  • Peer Reviewed
• [Journal Article] Collecting balls on a line by robots with limited energy (2024)
  • Author(s): Tesshu Hanaka, Nicolas Honorato Droguett, Kazuhiro Kurita, Hirotaka Ono, Yota Otachi
  • Journal Title: IEICE Transactions on Information and Systems Volume: E107-D Pages: 325-327
  • DOI: 10.1587/transinf.2023FCL0003
  • Peer Reviewed
• [Journal Article] Theoretical aspects of generating instances with unique solutions: Pre-assignment models for unique vertex cover (2024)
  • Author(s): Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki
  • Journal Title: Proc. of 38th AAAI Conference on Artificial Intelligence (AAAI 2024) Volume: 38 Pages: 20726-20734
  • DOI: 10.1609/aaai.v38i18.30060
  • Peer Reviewed
• [Journal Article] Finding a reconfiguration sequence between longest increasing subsequences (2024)
  • Author(s): Yuuki Aoike, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi
  • Journal Title: IEICE Transactions on Information and Systems Volume: E107-D Pages: 559-563
  • DOI: 10.1587/transinf.2023EDL8067
  • Peer Reviewed
• [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] 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] 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] Extended MSO model checking via small vertex integrity (2024)
  • Author(s): Tatsuya Gima, Yota Otachi
  • Journal Title: Algorithmica Volume: 86 Pages: 147-170
  • DOI: 10.1007/s00453-023-01161-9
  • 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
• [Journal Article] Sequentially swapping tokens: Further on graph classes (2023)
  • Author(s): Hironori Kiya, Yuto Okada, Hirotaka Ono, Yota Otachi
  • Journal Title: Proc. of 48th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2023), Lecture Notes in Computer Science Volume: 13878 Pages: 222-235
  • DOI: 10.1007/978-3-031-23101-8_15
  • Peer Reviewed
• [Journal Article] A framework to design approximation algorithms for finding diverse solutions in combinatorial problems (2023)
  • Author(s): Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • Journal Title: Proc. of 37th AAAI Conference on Artificial Intelligence (AAAI 2023), AAAI-23 Technical Tracks 4 Volume: 37 Pages: 3968-3976
  • DOI: 10.1609/aaai.v37i4.25511
  • Peer Reviewed
• [Journal Article] Monotone edge flips to an orientation of maximum edge-connectivity a la Nash-Williams (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: ACM Transactions on Algorithms Volume: 19 Pages: 6
  • DOI: 10.1145/3561302
  • Peer Reviewed
• [Journal Article] Reconfiguration of vertex-disjoint shortest paths on graphs (2023)
  • Author(s): Rin Saito, Hiroshi Eto, Takehiro Ito, Ryuhei Uehara
  • Journal Title: Proc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science Volume: 13973 Pages: 191-201
  • DOI: 10.1007/978-3-031-27051-2_17
  • Peer Reviewed
• [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 / Int'l Joint Research
• [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] 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 / Int'l Joint Research
• [Journal Article] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2023)
  • Author(s): Yuta Nozaki, Katsuhisa Yamanaka, Kunihiro Wasa
  • Journal Title: Proc. of 34th International Workshop on Combinatorial Algorithms (IWOCA 2023), Lecture Notes in Computer Science Volume: 13889 Pages: 331-342
  • DOI: 10.1007/978-3-031-34347-6_28
  • Peer Reviewed
• [Journal Article] Reconfiguration of colorings in triangulations of the sphere (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: Proc. of 39th International Symposium on Computational Geometry (SoCG 2023), Leibniz International Proceedings in Informatics Volume: 258 Pages: 43:1-43:16
  • DOI: 10.4230/LIPIcs.SoCG.2023.43
  • Peer Reviewed / Open Access
• [Journal Article] Reconfiguration of cliques in a graph (2023)
  • Author(s): Takehiro Ito, Hirotaka Ono, Yota Otachi
  • Journal Title: Discrete Applied Mathematics Volume: 333 Pages: 43-58
  • DOI: 10.1016/j.dam.2023.01.026
  • 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
• [Journal Article] Rerouting planar curves and disjoint paths (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: Proc. of 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Leibniz International Proceedings in Informatics Volume: 261 Pages: 81:1-81:19
  • DOI: 10.4230/LIPIcs.ICALP.2023.81
  • Peer Reviewed / Open Access
• [Journal Article] Algorithmic theory of qubit routing (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • Journal Title: Proc. of 18th Algorithms and Data Structures Symposium (WADS 2023), Lecture Notes in Computer Science Volume: 14079 Pages: 533-546
  • DOI: 10.1007/978-3-031-38906-1_35
  • Peer Reviewed
• [Journal Article] Hardness of finding combinatorial shortest paths on graph associahedra (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto
  • Journal Title: Proc. of 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Leibniz International Proceedings in Informatics Volume: 261 Pages: 82:1-82:17
  • DOI: 10.4230/LIPIcs.ICALP.2023.82
  • Peer Reviewed / Open Access
• [Journal Article] Polynomial-delay enumeration of large maximal common independent sets in two matroids (2023)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Journal Title: Proc. of 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics Volume: 272 Pages: 58:1-58:14
  • DOI: 10.4230/LIPIcs.MFCS.2023.58
  • 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] 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] On reachable assignments under dichotomous preferences (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: Theoretical Computer Science Volume: 979 Pages: 114196
  • DOI: 10.1016/j.tcs.2023.114196
  • Peer Reviewed
• [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
• [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
• [Journal Article] An improved deterministic parameterized algorithm for cactus vertex deletion (2022)
  • Author(s): Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • Journal Title: Theory of Computing Systems Volume: 66 Pages: 502-515
  • DOI: 10.1007/s00224-022-10076-x
  • Peer Reviewed
• [Journal Article] A parameterized view to the robust recoverable base problem of matroids under structural uncertainty (2022)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • Journal Title: Operations Research Letters Volume: 50 Pages: 370-375
  • DOI: 10.1016/j.orl.2022.05.001
  • 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] Constant amortized time enumeration of Eulerian trails (2022)
  • Author(s): Kazuhiro Kurita, Kuniihiro,Wasa
  • Journal Title: Theoretical Computer Science Volume: 923 Pages: 1-12
  • DOI: 10.1016/j.tcs.2022.04.048
  • Peer Reviewed / Open Access
• [Journal Article] Linear-delay enumeration for minimal Steiner problems (2022)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Journal Title: Proc. of 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2022) Volume: - Pages: 301-313
  • DOI: 10.1145/3517804.3524148
  • Peer Reviewed
• [Journal Article] Reforming an envy-free matching (2022)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: arXiv Volume: -- Pages: 2207.02641
  • DOI: 10.48550/arXiv.2207.02641
  • 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: - Pages: 2207.13959
  • DOI: 10.48550/arXiv.2207.13959
  • Open Access
• [Journal Article] Parameterized complexity of non-separating and non-disconnecting paths and sets (2022)
  • Author(s): Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh
  • Journal Title: Proc. of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics Volume: 241 Pages: 6:1-6:15
  • DOI: 10.4230/LIPIcs.MFCS.2022.6
  • Peer Reviewed / Open Access / Int'l Joint Research
• [Journal Article] Algorithmic meta-theorems for combinatorial reconfiguration revisited (2022)
  • Author(s): Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi
  • Journal Title: Proc. of 30th Annual European Symposium on Algorithms (ESA 2022), Leibniz International Proceedings in Informatics Volume: 244 Pages: 61:1-61:15
  • DOI: 10.4230/LIPIcs.ESA.2022.61
  • Peer Reviewed / Open Access
• [Journal Article] Approximability of the distance independent set problem on regular graphs and planar graphs (2022)
  • Author(s): Hiroshi Eto, Takehiro Ito, Zhilong Liu, Eiji Miyano
  • Journal Title: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume: E105-A Pages: 1211-1222
  • DOI: 10.1587/transfun.2021DMP0017
  • Peer Reviewed
• [Journal Article] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Journal Title: Proc. of 48th edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG2022), Lecture Notes in Computer Science Volume: 13453 Pages: 342-355
  • DOI: 10.1007/978-3-031-15914-5_25
  • Peer Reviewed
• [Journal Article] On reachable assignments under dichotomous preferences (2022)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: Proc. of 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022), Lecture Notes in Computer Science Volume: 13753 Pages: 650-658
  • DOI: 10.1007/978-3-031-21203-1_43
  • Peer Reviewed
• [Journal Article] Extended MSO model checking via small vertex integrity (2022)
  • Author(s): Tatsuya Gima, Yota Otachi
  • Journal Title: Proc. of 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz International Proceedings in Informatics Volume: 248 Pages: 20:1-20:15
  • DOI: 10.4230/LIPIcs.ISAAC.2022.20
  • 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 / Open Access
• [Journal Article] Rerouting planar curves and disjoint paths (2022)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: arXiv Volume: - Pages: 2210.11778
  • DOI: 10.48550/arXiv.2210.11778
  • Open Access
• [Journal Article] Reconfiguration of colorings in triangulations of the sphere (2022)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Journal Title: arXiv Volume: - Pages: 2210.17105
  • DOI: 10.48550/arXiv.2210.17105
  • Open Access
• [Presentation] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract) (2024)
  • Author(s): Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
  • Organizer: 17th International Symposium on Combinatorial Search (SoCS 2024)
  • Int'l Joint Research
• [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] Structural parameterizations of vertex integrity (2024)
  • Author(s): Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi
  • Organizer: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • Int'l Joint Research
• [Presentation] Orientable burning number of graphs (2024)
  • Author(s): Julien Courtiel, Paul Dorbec, Tatsuya Gima, Romain Lecoq, Yota Otachi
  • Organizer: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • Int'l Joint Research
• [Presentation] Dichotomies for tree minor containment with structural parameters (2024)
  • Author(s): Tatsuya Gima, Soh Kumabe, Kazuhiro Kurita, Yuto Okada, Yota Otachi
  • Organizer: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • Int'l Joint Research
• [Presentation] Finding induced subgraphs from graphs with small mim-width (2024)
  • Author(s): Yota Otachi, Akira Suzuki, Yuma Tamura
  • Organizer: 19th Scandinavian Symposium on Algorithm Theory (SWAT 2024)
  • Int'l Joint Research
• [Presentation] Scalable hard instances for independent set reconfiguration (2024)
  • Author(s): Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
  • Organizer: 22nd Symposium on Experimental Algorithms (SEA 2024)
  • Int'l Joint Research
• [Presentation] Theoretical aspects of generating instances with unique solutions: Pre-assignment models for unique vertex cover (2024)
  • Author(s): Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki
  • Organizer: 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
  • 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] Reconfiguration of vertex-disjoint shortest paths on graphs (2023)
  • Author(s): Rin Saito, Hiroshi Eto, Takehiro Ito, Ryuhei Uehara
  • Organizer: 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
  • Int'l Joint Research
• [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] Algorithmic theory of qubit routing (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • Organizer: 18th Algorithms and Data Structures Symposium (WADS 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] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2023)
  • Author(s): Yuta Nozaki, Katsuhisa Yamanaka, Kunihiro Wasa
  • Organizer: 34th International Workshop on Combinatorial Algorithms (IWOCA 2023)
  • Int'l Joint Research
• [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] A framework to design approximation algorithms for finding diverse solutions in combinatorial problems (2023)
  • Author(s): Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • Organizer: 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
  • Int'l Joint Research
• [Presentation] Reconfiguration of colorings in triangulations of the sphere (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Organizer: 39th International Symposium on Computational Geometry (SoCG 2023)
  • Int'l Joint Research
• [Presentation] Three open problems on combinatorial reconfiguration (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Organizer: 3rd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2023
  • Int'l Joint Research
• [Presentation] Algorithmic theory of qubit routing (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • Organizer: 3rd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2023
  • Int'l Joint Research
• [Presentation] Sequentially swapping tokens: Further on graph classes (2023)
  • Author(s): Hironori Kiya, Yuto Okada, Hirotaka Ono, Yota Otachi
  • Organizer: 48th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2023)
  • Int'l Joint Research
• [Presentation] Polynomial-delay enumeration of large maximal common independent sets in two matroids (2023)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Organizer: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
  • Int'l Joint Research
• [Presentation] Hardness of finding combinatorial shortest paths on graph associahedra (2023)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto
  • Organizer: 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)
  • Int'l Joint Research
• [Presentation] Rerouting planar curves and disjoint paths (2023)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • Organizer: 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)
  • Int'l Joint Research
• [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] Invitation to combinatorial reconfiguration (2023)
  • Author(s): Takehiro Ito
  • Organizer: Minisymposium on Combinatorial Reconfiguration in ICIAM 2023
  • Int'l Joint Research
• [Presentation] 時間制約付き有向木の遷移 (2023)
  • Author(s): 伊藤 健洋, 岩政 勇仁, 神山 直之, 小林 靖明, 小林 佑輔, 前澤 俊一, 鈴木 顕
  • Organizer: 2023年度夏のLAシンポジウム
• [Presentation] 直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙 (2023)
  • Author(s): 大野木 駿, 和佐 州洋
  • Organizer: 電子情報通信学会コンピュテーション研究会
• [Presentation] 弦グラフの部分クラスにおける極大誘導部分グラフ列挙への多項式遅延アルゴリズム (2023)
  • Author(s): 佐藤 嶺, 小林 靖明, 栗田 和宏, 和佐 州洋
  • Organizer: 電子情報通信学会コンピュテーション研究会
• [Presentation] 事故復旧を考慮した配電系統構成の最適化に関する検討 (2023)
  • Author(s): 杉村 修平, 金子 曜久, 林 泰弘, 野崎 哲平, 鈴木 顕, 伊藤 健洋, 田邊隆之
  • Organizer: 電力技術／電力系統技術合同研究会
• [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] On reachable assignments under dichotomous preferences (2022)
  • Author(s): Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, and Kenta Ozeki
  • Organizer: 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
  • Int'l Joint Research
• [Presentation] Algorithmic meta-theorems for combinatorial reconfiguration revisited (2022)
  • Author(s): Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi
  • Organizer: 30th Annual European Symposium on Algorithms (ESA 2022)
  • Int'l Joint Research
• [Presentation] Invitation to combinatorial reconfiguration (2022)
  • Author(s): Takehiro Ito
  • Organizer: 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022)
  • Int'l Joint Research / Invited
• [Presentation] Extended MSO model checking via small vertex integrity (2022)
  • Author(s): Tatsuya Gima, Yota Otachi
  • Organizer: 33rd International Symposium on Algorithms and Computation (ISAAC 2022)
  • Int'l Joint Research
• [Presentation] Linear-delay enumeration for minimal Steiner problems (2022)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Organizer: 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2022)
  • Int'l Joint Research
• [Presentation] Independent set reconfiguration on directed graphs (2022)
  • Author(s): Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
  • Organizer: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
  • Int'l Joint Research
• [Presentation] Parameterized complexity of non-separating and non-disconnecting paths and sets (2022)
  • Author(s): Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh
  • Organizer: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
  • Int'l Joint Research
• [Presentation] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Organizer: 48th edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG2022)
  • Int'l Joint Research
• [Presentation] Invitation to combinatorial reconfiguration (2022)
  • Author(s): Takehiro Ito
  • Organizer: 4th International Workshop on Combinatorial Reconfiguration (CoRe 2022)
  • Int'l Joint Research
• [Presentation] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • Author(s): Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • Organizer: 5th Workshop on Enumeration Problems and Applications (WEPA 2022)
  • Int'l Joint Research
• [Presentation] Hardness of braided quantum circuit optimization in the surface code (2022)
  • Author(s): Kunihiro Wasa, Shin Nishio, Koki Suetsugu, Michael Hanks, Ashley Stephens, Yu Yokoi, Kae Nemoto
  • Organizer: Quantum Resource Estimation (QRE2022)
  • Int'l Joint Research
• [Presentation] 球面の三角形分割の彩色遷移 (2022)
  • Author(s): 伊藤 健洋，岩政 勇仁，小林 佑輔，前澤 俊一，野崎 雄太，岡本 吉央，小関 健太
  • Organizer: 2022年度応用数学合同研究集会
• [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] 直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙に向けて (2022)
  • Author(s): 大野木 駿，和佐 州洋
  • Organizer: 電子情報通信学会コンピュテーション研究会
• [Presentation] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2022)
  • Author(s): Yuta Nozaki, Kunihiro Wasa, Katsuhisa Yamanaka
  • Organizer: 電子情報通信学会コンピュテーション研究会
• [Presentation] 球面の三角形分割の彩色遷移 (2022)
  • Author(s): 伊藤 健洋，岩政 勇仁，小林 佑輔，前澤 俊一，野崎 雄太，岡本 吉央，小関 健太
  • Organizer: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [Presentation] ZDDを用いた組合せ遷移ソルバー (2022)
  • Author(s): 伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
  • Organizer: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [Presentation] 配電損失最小化問題に対する組合せ遷移的アプローチ (2022)
  • Author(s): 畠山 航, 鈴木 顕, 伊藤 健洋, 周 暁, 杉村 修平, 田邊 隆之
  • Organizer: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [Remarks] 学術変革領域研究(B)「組合せ遷移」Webサイト
  • URL: https://core.dais.is.tohoku.ac.jp/
• [Patent(Industrial Property Rights)] 電力融通システム、電力融通方法、電力融通プログラム (2022)
  • Inventor(s): 伊藤健洋，鈴木顕，飯岡大輔，川原純，他4名
  • Industrial Property Rights Holder: 東北大学，中部大学，京都大学，明電舎
  • Industrial Property Rights Type: 特許
  • Industrial Property Number: 特願2022-130841