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

2022 年度 実績報告書

• 研究領域: 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合
• 研究課題/領域番号: 20H05793
• 研究機関: 東北大学
• 研究代表者: 伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548)
• 研究分担者: 和佐 州洋 法政大学, 理工学部, 准教授 (00781337) ; 山内 由紀子 九州大学, システム情報科学研究院, 教授 (10546518) ; 小林 靖明 北海道大学, 情報科学研究院, 准教授 (60735083) ; 大舘 陽太 名古屋大学, 情報学研究科, 准教授 (80610196)
• 研究期間 (年度): 2020-10-02 – 2023-03-31
• キーワード: 組合せ遷移 / グラフアルゴリズム

研究実績の概要

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

現在までの達成度 (段落)

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

今後の研究の推進方策

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

研究成果

• [国際共同研究] NISER Bhubaneswar/Institute of Mathematical Sciences(インド)
  • 国名: インド
  • 外国機関名: NISER Bhubaneswar/Institute of Mathematical Sciences
• [国際共同研究] University of Bremen(ドイツ)
  • 国名: ドイツ
  • 外国機関名: University of Bremen
• [国際共同研究] Universite Grenoble Alpes/Universite de Lyon/Universite de Bordeaux(フランス)
  • 国名: フランス
  • 外国機関名: Universite Grenoble Alpes/Universite de Lyon/Universite de Bordeaux
  • 他の機関数: 1
• [雑誌論文] Structural parameterizations of vertex integrity (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi
  • 雑誌名: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science 巻: 14549 ページ: 406-420
  • DOI: 10.1007/978-981-97-0566-5_29
  • 査読あり
• [雑誌論文] Orientable burning number of graphs (2024)
  • 著者名/発表者名: Julien Courtiel, Paul Dorbec, Tatsuya Gima, Romain Lecoq, Yota Otachi
  • 雑誌名: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science 巻: 14549 ページ: 377-391
  • DOI: 10.1007/978-981-97-0566-5_27
  • 査読あり / 国際共著
• [雑誌論文] On the complexity of list H-packing for sparse graph classes (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • 雑誌名: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science 巻: 14549 ページ: 421-435
  • DOI: 10.1007/978-981-97-0566-5_30
  • 査読あり / オープンアクセス
• [雑誌論文] Dichotomies for tree minor containment with structural parameters (2024)
  • 著者名/発表者名: Tatsuya Gima, Soh Kumabe, Kazuhiro Kurita, Yuto Okada, Yota Otachi
  • 雑誌名: Proc. of 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024), Lecture Notes in Computer Science 巻: 14549 ページ: 392-405
  • DOI: 10.1007/978-981-97-0566-5_28
  • 査読あり
• [雑誌論文] Computational complexity of jumping block puzzles (2024)
  • 著者名/発表者名: Masaaki Kanzaki, Yota Otachi, Giovanni Viglietta, Ryuhei Uehara
  • 雑誌名: Theoretical Computer Science 巻: 983 ページ: 114292
  • DOI: 10.1016/j.tcs.2023.114292
  • 査読あり
• [雑誌論文] On a spectral lower bound of treewidth (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Kohei Noro, Hirotaka Ono, Yota Otachi
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E107-D ページ: 328-330
  • DOI: 10.1587/transinf.2023FCL0002
  • 査読あり
• [雑誌論文] Collecting balls on a line by robots with limited energy (2024)
  • 著者名/発表者名: Tesshu Hanaka, Nicolas Honorato Droguett, Kazuhiro Kurita, Hirotaka Ono, Yota Otachi
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E107-D ページ: 325-327
  • DOI: 10.1587/transinf.2023FCL0003
  • 査読あり
• [雑誌論文] Theoretical aspects of generating instances with unique solutions: Pre-assignment models for unique vertex cover (2024)
  • 著者名/発表者名: Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki
  • 雑誌名: Proc. of 38th AAAI Conference on Artificial Intelligence (AAAI 2024) 巻: 38 ページ: 20726-20734
  • DOI: 10.1609/aaai.v38i18.30060
  • 査読あり
• [雑誌論文] Finding a reconfiguration sequence between longest increasing subsequences (2024)
  • 著者名/発表者名: Yuuki Aoike, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E107-D ページ: 559-563
  • DOI: 10.1587/transinf.2023EDL8067
  • 査読あり
• [雑誌論文] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract) (2024)
  • 著者名/発表者名: Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
  • 雑誌名: Proc. of 17th International Symposium on Combinatorial Search (SoCS 2024) 巻: - ページ: -
  • 査読あり
• [雑誌論文] Finding induced subgraphs from graphs with small mim-width (2024)
  • 著者名/発表者名: Yota Otachi, Akira Suzuki, Yuma Tamura
  • 雑誌名: Proc. of 19th Scandinavian Symposium on Algorithm Theory (SWAT 2024), Leibniz International Proceedings in Informatics 巻: 294 ページ: -
  • 査読あり / オープンアクセス
• [雑誌論文] Scalable hard instances for independent set reconfiguration (2024)
  • 著者名/発表者名: Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
  • 雑誌名: Proc. of 22nd Symposium on Experimental Algorithms (SEA 2024), Leibniz International Proceedings in Informatics 巻: 301 ページ: -
  • 査読あり / オープンアクセス
• [雑誌論文] Extended MSO model checking via small vertex integrity (2024)
  • 著者名/発表者名: Tatsuya Gima, Yota Otachi
  • 雑誌名: Algorithmica 巻: 86 ページ: 147-170
  • DOI: 10.1007/s00453-023-01161-9
  • 査読あり
• [雑誌論文] Reconfiguring (non-spanning) arborescences (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Kunihiro Wasa
  • 雑誌名: Theoretical Computer Science 巻: 943 ページ: 131-141
  • DOI: 10.1016/j.tcs.2022.12.007
  • 査読あり
• [雑誌論文] Sequentially swapping tokens: Further on graph classes (2023)
  • 著者名/発表者名: Hironori Kiya, Yuto Okada, Hirotaka Ono, Yota Otachi
  • 雑誌名: Proc. of 48th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2023), Lecture Notes in Computer Science 巻: 13878 ページ: 222-235
  • DOI: 10.1007/978-3-031-23101-8_15
  • 査読あり
• [雑誌論文] A framework to design approximation algorithms for finding diverse solutions in combinatorial problems (2023)
  • 著者名/発表者名: Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • 雑誌名: Proc. of 37th AAAI Conference on Artificial Intelligence (AAAI 2023), AAAI-23 Technical Tracks 4 巻: 37 ページ: 3968-3976
  • DOI: 10.1609/aaai.v37i4.25511
  • 査読あり
• [雑誌論文] Monotone edge flips to an orientation of maximum edge-connectivity a la Nash-Williams (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: ACM Transactions on Algorithms 巻: 19 ページ: 6
  • DOI: 10.1145/3561302
  • 査読あり
• [雑誌論文] Reconfiguration of vertex-disjoint shortest paths on graphs (2023)
  • 著者名/発表者名: Rin Saito, Hiroshi Eto, Takehiro Ito, Ryuhei Uehara
  • 雑誌名: Proc. of 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023), Lecture Notes in Computer Science 巻: 13973 ページ: 191-201
  • DOI: 10.1007/978-3-031-27051-2_17
  • 査読あり
• [雑誌論文] Reconfiguration of spanning trees with degree constraints or diameter constraints (2023)
  • 著者名/発表者名: Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki, Kunihiro Wasa
  • 雑誌名: Algorithmica 巻: 85 ページ: 2779-2816
  • DOI: 10.1007/s00453-023-01117-z
  • 査読あり / 国際共著
• [雑誌論文] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2023)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • 雑誌名: Proc. of 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science 巻: 13884 ページ: 167-183
  • DOI: 10.1007/978-3-031-33271-5_12
  • 査読あり / オープンアクセス
• [雑誌論文] Fixed-parameter algorithms for graph constraint logic (2023)
  • 著者名/発表者名: Tatsuhiko Hatanaka, Felix Hommelsheim, Takehiro Ito, Yusuke Kobayashi, Moritz Muhlenthaler, Akira Suzuki
  • 雑誌名: Theoretical Computer Science 巻: 959 ページ: 113863
  • DOI: 10.1016/j.tcs.2023.113863
  • 査読あり / 国際共著
• [雑誌論文] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2023)
  • 著者名/発表者名: Yuta Nozaki, Katsuhisa Yamanaka, Kunihiro Wasa
  • 雑誌名: Proc. of 34th International Workshop on Combinatorial Algorithms (IWOCA 2023), Lecture Notes in Computer Science 巻: 13889 ページ: 331-342
  • DOI: 10.1007/978-3-031-34347-6_28
  • 査読あり
• [雑誌論文] Reconfiguration of colorings in triangulations of the sphere (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: Proc. of 39th International Symposium on Computational Geometry (SoCG 2023), Leibniz International Proceedings in Informatics 巻: 258 ページ: 43:1-43:16
  • DOI: 10.4230/LIPIcs.SoCG.2023.43
  • 査読あり / オープンアクセス
• [雑誌論文] Reconfiguration of cliques in a graph (2023)
  • 著者名/発表者名: Takehiro Ito, Hirotaka Ono, Yota Otachi
  • 雑誌名: Discrete Applied Mathematics 巻: 333 ページ: 43-58
  • DOI: 10.1016/j.dam.2023.01.026
  • 査読あり
• [雑誌論文] Reconfiguration of time-respecting arborescences (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naoyuki Kamiyama, Yasuaki Kobayashi, Yusuke Kobayashi, Shun-ichi Maezawa, Akira Suzuki
  • 雑誌名: Proc. of 18th Algorithms and Data Structures Symposium (WADS 2023), Lecture Notes in Computer Science 巻: 14079 ページ: 521-532
  • DOI: 10.1007/978-3-031-38906-1_34
  • 査読あり
• [雑誌論文] Rerouting planar curves and disjoint paths (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: Proc. of 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Leibniz International Proceedings in Informatics 巻: 261 ページ: 81:1-81:19
  • DOI: 10.4230/LIPIcs.ICALP.2023.81
  • 査読あり / オープンアクセス
• [雑誌論文] Algorithmic theory of qubit routing (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • 雑誌名: Proc. of 18th Algorithms and Data Structures Symposium (WADS 2023), Lecture Notes in Computer Science 巻: 14079 ページ: 533-546
  • DOI: 10.1007/978-3-031-38906-1_35
  • 査読あり
• [雑誌論文] Hardness of finding combinatorial shortest paths on graph associahedra (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto
  • 雑誌名: Proc. of 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023), Leibniz International Proceedings in Informatics 巻: 261 ページ: 82:1-82:17
  • DOI: 10.4230/LIPIcs.ICALP.2023.82
  • 査読あり / オープンアクセス
• [雑誌論文] Polynomial-delay enumeration of large maximal common independent sets in two matroids (2023)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 雑誌名: Proc. of 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), Leibniz International Proceedings in Informatics 巻: 272 ページ: 58:1-58:14
  • DOI: 10.4230/LIPIcs.MFCS.2023.58
  • 査読あり / オープンアクセス
• [雑誌論文] Algorithmic study for power restoration in electrical distribution networks (2023)
  • 著者名/発表者名: Jun Kawahara, Chuta Yamaoka, Takehiro Ito, Akira Suzuki, Daisuke Iioka, Shuhei Sugimura, Seiya Goto, Takayuki Tanabe
  • 雑誌名: Proc. of 4th Asia Pacific Conference of the Prognostics and Health Management (PHMAP 2023) 巻: 4 ページ: 1-3
• [雑誌論文] Happy set problem on subclasses of co-comparability graphs (2023)
  • 著者名/発表者名: Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki, Yuma Tamura
  • 雑誌名: Algorithmica 巻: 85 ページ: 1-21
  • DOI: 10.1007/s00453-022-01081-0
  • 査読あり
• [雑誌論文] On reachable assignments under dichotomous preferences (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: Theoretical Computer Science 巻: 979 ページ: 114196
  • DOI: 10.1016/j.tcs.2023.114196
  • 査読あり
• [雑誌論文] Sorting balls and water: Equivalence and computational complexity (2023)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
  • 雑誌名: Theoretical Computer Science 巻: 978 ページ: 114158
  • DOI: 10.1016/j.tcs.2023.114158
  • 査読あり
• [雑誌論文] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability (2023)
  • 著者名/発表者名: Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
  • 雑誌名: Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023) 巻: - ページ: 294-302
  • DOI: 10.1109/ICTAI59109.2023.00050
  • 査読あり
• [雑誌論文] An improved deterministic parameterized algorithm for cactus vertex deletion (2022)
  • 著者名/発表者名: Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • 雑誌名: Theory of Computing Systems 巻: 66 ページ: 502-515
  • DOI: 10.1007/s00224-022-10076-x
  • 査読あり
• [雑誌論文] A parameterized view to the robust recoverable base problem of matroids under structural uncertainty (2022)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • 雑誌名: Operations Research Letters 巻: 50 ページ: 370-375
  • DOI: 10.1016/j.orl.2022.05.001
  • 査読あり / オープンアクセス
• [雑誌論文] Sorting balls and water: Equivalence and computational complexity (2022)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
  • 雑誌名: Proc. of 11th International Conference on Fun with Algorithms (FUN 2022), Leibniz International Proceedings in Informatics 巻: 226 ページ: 16:1-16:17
  • DOI: 10.4230/LIPIcs.FUN.2022.16
  • 査読あり / オープンアクセス
• [雑誌論文] Constant amortized time enumeration of Eulerian trails (2022)
  • 著者名/発表者名: Kazuhiro Kurita, Kuniihiro,Wasa
  • 雑誌名: Theoretical Computer Science 巻: 923 ページ: 1-12
  • DOI: 10.1016/j.tcs.2022.04.048
  • 査読あり / オープンアクセス
• [雑誌論文] Linear-delay enumeration for minimal Steiner problems (2022)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 雑誌名: Proc. of 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2022) 巻: - ページ: 301-313
  • DOI: 10.1145/3517804.3524148
  • 査読あり
• [雑誌論文] Reforming an envy-free matching (2022)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: arXiv 巻: -- ページ: 2207.02641
  • DOI: 10.48550/arXiv.2207.02641
  • オープンアクセス
• [雑誌論文] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2022)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • 雑誌名: arXiv 巻: - ページ: 2207.13959
  • DOI: 10.48550/arXiv.2207.13959
  • オープンアクセス
• [雑誌論文] Parameterized complexity of non-separating and non-disconnecting paths and sets (2022)
  • 著者名/発表者名: Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh
  • 雑誌名: Proc. of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics 巻: 241 ページ: 6:1-6:15
  • DOI: 10.4230/LIPIcs.MFCS.2022.6
  • 査読あり / オープンアクセス / 国際共著
• [雑誌論文] Algorithmic meta-theorems for combinatorial reconfiguration revisited (2022)
  • 著者名/発表者名: Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi
  • 雑誌名: Proc. of 30th Annual European Symposium on Algorithms (ESA 2022), Leibniz International Proceedings in Informatics 巻: 244 ページ: 61:1-61:15
  • DOI: 10.4230/LIPIcs.ESA.2022.61
  • 査読あり / オープンアクセス
• [雑誌論文] Approximability of the distance independent set problem on regular graphs and planar graphs (2022)
  • 著者名/発表者名: Hiroshi Eto, Takehiro Ito, Zhilong Liu, Eiji Miyano
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E105-A ページ: 1211-1222
  • DOI: 10.1587/transfun.2021DMP0017
  • 査読あり
• [雑誌論文] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 雑誌名: Proc. of 48th edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG2022), Lecture Notes in Computer Science 巻: 13453 ページ: 342-355
  • DOI: 10.1007/978-3-031-15914-5_25
  • 査読あり
• [雑誌論文] On reachable assignments under dichotomous preferences (2022)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: Proc. of 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022), Lecture Notes in Computer Science 巻: 13753 ページ: 650-658
  • DOI: 10.1007/978-3-031-21203-1_43
  • 査読あり
• [雑誌論文] Extended MSO model checking via small vertex integrity (2022)
  • 著者名/発表者名: Tatsuya Gima, Yota Otachi
  • 雑誌名: Proc. of 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Leibniz International Proceedings in Informatics 巻: 248 ページ: 20:1-20:15
  • DOI: 10.4230/LIPIcs.ISAAC.2022.20
  • 査読あり / オープンアクセス
• [雑誌論文] Independent set reconfiguration on directed graphs (2022)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
  • 雑誌名: Proc. of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Leibniz International Proceedings in Informatics 巻: 241 ページ: 58:1-58:15
  • DOI: 10.4230/LIPIcs.MFCS.2022.58
  • 査読あり / オープンアクセス
• [雑誌論文] Rerouting planar curves and disjoint paths (2022)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: arXiv 巻: - ページ: 2210.11778
  • DOI: 10.48550/arXiv.2210.11778
  • オープンアクセス
• [雑誌論文] Reconfiguration of colorings in triangulations of the sphere (2022)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 雑誌名: arXiv 巻: - ページ: 2210.17105
  • DOI: 10.48550/arXiv.2210.17105
  • オープンアクセス
• [学会発表] CoRe Challenge 2022/2023: Empirical evaluations for independent set reconfiguration problems (Extended Abstract) (2024)
  • 著者名/発表者名: Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
  • 学会等名: 17th International Symposium on Combinatorial Search (SoCS 2024)
  • 国際学会
• [学会発表] On the complexity of list H-packing for sparse graph classes (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • 学会等名: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • 国際学会
• [学会発表] Structural parameterizations of vertex integrity (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Ryota Murai, Hirotaka Ono, Yota Otachi
  • 学会等名: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • 国際学会
• [学会発表] Orientable burning number of graphs (2024)
  • 著者名/発表者名: Julien Courtiel, Paul Dorbec, Tatsuya Gima, Romain Lecoq, Yota Otachi
  • 学会等名: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • 国際学会
• [学会発表] Dichotomies for tree minor containment with structural parameters (2024)
  • 著者名/発表者名: Tatsuya Gima, Soh Kumabe, Kazuhiro Kurita, Yuto Okada, Yota Otachi
  • 学会等名: 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)
  • 国際学会
• [学会発表] Finding induced subgraphs from graphs with small mim-width (2024)
  • 著者名/発表者名: Yota Otachi, Akira Suzuki, Yuma Tamura
  • 学会等名: 19th Scandinavian Symposium on Algorithm Theory (SWAT 2024)
  • 国際学会
• [学会発表] Scalable hard instances for independent set reconfiguration (2024)
  • 著者名/発表者名: Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
  • 学会等名: 22nd Symposium on Experimental Algorithms (SEA 2024)
  • 国際学会
• [学会発表] Theoretical aspects of generating instances with unique solutions: Pre-assignment models for unique vertex cover (2024)
  • 著者名/発表者名: Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki
  • 学会等名: 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
  • 国際学会
• [学会発表] List variants of packing problems on sparse graphs (2024)
  • 著者名/発表者名: Tatsuya Gima, Tesshu Hanaka, Yasuaki Kobayashi, Yota Otachi, Tomohito Shirai, Akira Suzuki, Yuma Tamura, Xiao Zhou
  • 学会等名: 第196回アルゴリズム研究発表会
• [学会発表] Reconfiguration of vertex-disjoint shortest paths on graphs (2023)
  • 著者名/発表者名: Rin Saito, Hiroshi Eto, Takehiro Ito, Ryuhei Uehara
  • 学会等名: 17th International Conference and Workshops on Algorithms and Computation (WALCOM 2023)
  • 国際学会
• [学会発表] Reconfiguration of time-respecting arborescences (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naoyuki Kamiyama, Yasuaki Kobayashi, Yusuke Kobayashi, Shun-ichi Maezawa, Akira Suzuki
  • 学会等名: 18th Algorithms and Data Structures Symposium (WADS 2023)
  • 国際学会
• [学会発表] Algorithmic theory of qubit routing (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • 学会等名: 18th Algorithms and Data Structures Symposium (WADS 2023)
  • 国際学会
• [学会発表] ZDD-based algorithmic framework for solving shortest reconfiguration problems (2023)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
  • 学会等名: 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023)
  • 国際学会
• [学会発表] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2023)
  • 著者名/発表者名: Yuta Nozaki, Katsuhisa Yamanaka, Kunihiro Wasa
  • 学会等名: 34th International Workshop on Combinatorial Algorithms (IWOCA 2023)
  • 国際学会
• [学会発表] Solving reconfiguration problems of first-order expressible properties of graph vertices with Boolean satisfiability (2023)
  • 著者名/発表者名: Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
  • 学会等名: 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)
  • 国際学会
• [学会発表] A framework to design approximation algorithms for finding diverse solutions in combinatorial problems (2023)
  • 著者名/発表者名: Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi
  • 学会等名: 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
  • 国際学会
• [学会発表] Reconfiguration of colorings in triangulations of the sphere (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 学会等名: 39th International Symposium on Computational Geometry (SoCG 2023)
  • 国際学会
• [学会発表] Three open problems on combinatorial reconfiguration (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 学会等名: 3rd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2023
  • 国際学会
• [学会発表] Algorithmic theory of qubit routing (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yoshio Okamoto
  • 学会等名: 3rd Workshop on Combinatorial Reconfiguration, affiliated with ICALP 2023
  • 国際学会
• [学会発表] Sequentially swapping tokens: Further on graph classes (2023)
  • 著者名/発表者名: Hironori Kiya, Yuto Okada, Hirotaka Ono, Yota Otachi
  • 学会等名: 48th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2023)
  • 国際学会
• [学会発表] Polynomial-delay enumeration of large maximal common independent sets in two matroids (2023)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 学会等名: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
  • 国際学会
• [学会発表] Hardness of finding combinatorial shortest paths on graph associahedra (2023)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto
  • 学会等名: 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)
  • 国際学会
• [学会発表] Rerouting planar curves and disjoint paths (2023)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto, Kenta Ozeki
  • 学会等名: 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023)
  • 国際学会
• [学会発表] Algorithmic study for power restoration in electrical distribution networks (2023)
  • 著者名/発表者名: Jun Kawahara, Chuta Yamaoka, Takehiro Ito, Akira Suzuki, Daisuke Iioka, Shuhei Sugimura, Seiya Goto, Takayuki Tanabe
  • 学会等名: Asia-Pacific Conference of the Prognostics and Health Management (PHM) Society 2023
  • 国際学会
• [学会発表] Invitation to combinatorial reconfiguration (2023)
  • 著者名/発表者名: Takehiro Ito
  • 学会等名: Minisymposium on Combinatorial Reconfiguration in ICIAM 2023
  • 国際学会
• [学会発表] 時間制約付き有向木の遷移 (2023)
  • 著者名/発表者名: 伊藤 健洋, 岩政 勇仁, 神山 直之, 小林 靖明, 小林 佑輔, 前澤 俊一, 鈴木 顕
  • 学会等名: 2023年度夏のLAシンポジウム
• [学会発表] 直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙 (2023)
  • 著者名/発表者名: 大野木 駿, 和佐 州洋
  • 学会等名: 電子情報通信学会コンピュテーション研究会
• [学会発表] 弦グラフの部分クラスにおける極大誘導部分グラフ列挙への多項式遅延アルゴリズム (2023)
  • 著者名/発表者名: 佐藤 嶺, 小林 靖明, 栗田 和宏, 和佐 州洋
  • 学会等名: 電子情報通信学会コンピュテーション研究会
• [学会発表] 事故復旧を考慮した配電系統構成の最適化に関する検討 (2023)
  • 著者名/発表者名: 杉村 修平, 金子 曜久, 林 泰弘, 野崎 哲平, 鈴木 顕, 伊藤 健洋, 田邊隆之
  • 学会等名: 電力技術／電力系統技術合同研究会
• [学会発表] Sorting balls and water: Equivalence and computational complexity (2022)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
  • 学会等名: 11th International Conference on Fun with Algorithms (FUN 2022)
  • 国際学会
• [学会発表] On reachable assignments under dichotomous preferences (2022)
  • 著者名/発表者名: Takehiro Ito, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Yuta Nozaki, Yoshio Okamoto, and Kenta Ozeki
  • 学会等名: 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2022)
  • 国際学会
• [学会発表] Algorithmic meta-theorems for combinatorial reconfiguration revisited (2022)
  • 著者名/発表者名: Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi
  • 学会等名: 30th Annual European Symposium on Algorithms (ESA 2022)
  • 国際学会
• [学会発表] Invitation to combinatorial reconfiguration (2022)
  • 著者名/発表者名: Takehiro Ito
  • 学会等名: 33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022)
  • 国際学会 / 招待講演
• [学会発表] Extended MSO model checking via small vertex integrity (2022)
  • 著者名/発表者名: Tatsuya Gima, Yota Otachi
  • 学会等名: 33rd International Symposium on Algorithms and Computation (ISAAC 2022)
  • 国際学会
• [学会発表] Linear-delay enumeration for minimal Steiner problems (2022)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 学会等名: 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2022)
  • 国際学会
• [学会発表] Independent set reconfiguration on directed graphs (2022)
  • 著者名/発表者名: Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi, Masahiro Takahashi, Kunihiro Wasa
  • 学会等名: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
  • 国際学会
• [学会発表] Parameterized complexity of non-separating and non-disconnecting paths and sets (2022)
  • 著者名/発表者名: Ankit Abhinav, Susobhan Bandopadhyay, Aritra Banik, Yasuaki Kobayashi, Shunsuke Nagano, Yota Otachi, Saket Saurabh
  • 学会等名: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)
  • 国際学会
• [学会発表] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 学会等名: 48th edition of the International Workshop on Graph-Theoretic Concepts in Computer Science (WG2022)
  • 国際学会
• [学会発表] Invitation to combinatorial reconfiguration (2022)
  • 著者名/発表者名: Takehiro Ito
  • 学会等名: 4th International Workshop on Combinatorial Reconfiguration (CoRe 2022)
  • 国際学会
• [学会発表] Polynomial-delay and polynomial-space enumeration of large maximal matchings (2022)
  • 著者名/発表者名: Yasuaki Kobayashi, Kazuhiro Kurita, Kunihiro Wasa
  • 学会等名: 5th Workshop on Enumeration Problems and Applications (WEPA 2022)
  • 国際学会
• [学会発表] Hardness of braided quantum circuit optimization in the surface code (2022)
  • 著者名/発表者名: Kunihiro Wasa, Shin Nishio, Koki Suetsugu, Michael Hanks, Ashley Stephens, Yu Yokoi, Kae Nemoto
  • 学会等名: Quantum Resource Estimation (QRE2022)
  • 国際学会
• [学会発表] 球面の三角形分割の彩色遷移 (2022)
  • 著者名/発表者名: 伊藤 健洋，岩政 勇仁，小林 佑輔，前澤 俊一，野崎 雄太，岡本 吉央，小関 健太
  • 学会等名: 2022年度応用数学合同研究集会
• [学会発表] Computational complexity of ball/water sort puzzles (2022)
  • 著者名/発表者名: Takehiro Ito, Jun Kawahara, Shin-ichi Minato, Yota Otachi, Toshiki Saitoh, Akira Suzuki, Ryuhei Uehara, Takeaki Uno, Katsuhisa Yamanaka, Ryo Yoshinaka
  • 学会等名: Japanese Conference on Combinatorics and its Applications 2022 離散数学とその応用研究集会2022
• [学会発表] 直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙に向けて (2022)
  • 著者名/発表者名: 大野木 駿，和佐 州洋
  • 学会等名: 電子情報通信学会コンピュテーション研究会
• [学会発表] Reconfiguration and enumeration of optimal cyclic ladder lotteries (2022)
  • 著者名/発表者名: Yuta Nozaki, Kunihiro Wasa, Katsuhisa Yamanaka
  • 学会等名: 電子情報通信学会コンピュテーション研究会
• [学会発表] 球面の三角形分割の彩色遷移 (2022)
  • 著者名/発表者名: 伊藤 健洋，岩政 勇仁，小林 佑輔，前澤 俊一，野崎 雄太，岡本 吉央，小関 健太
  • 学会等名: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [学会発表] ZDDを用いた組合せ遷移ソルバー (2022)
  • 著者名/発表者名: 伊藤 健洋, 川原 純, 中畑 裕, 宋 剛秀, 鈴木 顕, 照山 順一, 戸田 貴久
  • 学会等名: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [学会発表] 配電損失最小化問題に対する組合せ遷移的アプローチ (2022)
  • 著者名/発表者名: 畠山 航, 鈴木 顕, 伊藤 健洋, 周 暁, 杉村 修平, 田邊 隆之
  • 学会等名: 日本オペレーションズ・リサーチ学会 2022年秋季研究発表会
• [備考] 学術変革領域研究(B)「組合せ遷移」Webサイト
  • URL: https://core.dais.is.tohoku.ac.jp/
• [産業財産権] 電力融通システム、電力融通方法、電力融通プログラム (2022)
  • 発明者名: 伊藤健洋，鈴木顕，飯岡大輔，川原純，他4名
  • 権利者名: 東北大学，中部大学，京都大学，明電舎
  • 産業財産権種類: 特許
  • 産業財産権番号: 特願2022-130841