• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2021 年度 実績報告書

理論的に困難な問題を現実的な時間で解くアルゴリズムとデータ構造の研究

研究課題

研究課題/領域番号 18H04091
研究機関北陸先端科学技術大学院大学

研究代表者

上原 隆平  北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (00256471)

研究分担者 齋藤 寿樹  九州工業大学, 大学院情報工学研究院, 准教授 (00590390)
鈴木 顕  東北大学, 情報科学研究科, 准教授 (10723562)
川原 純  京都大学, 情報学研究科, 准教授 (20572473)
伊藤 健洋  東北大学, 情報科学研究科, 教授 (40431548)
山中 克久  岩手大学, 理工学部, 教授 (60508836)
吉仲 亮  東北大学, 情報科学研究科, 准教授 (80466424)
大舘 陽太  名古屋大学, 情報学研究科, 准教授 (80610196)
研究期間 (年度) 2018-04-01 – 2023-03-31
キーワードアルゴリズム / 離散構造 / 離散数学 / 計算量 / データ構造 / 計算幾何 / グラフアルゴリズム
研究実績の概要

本年度は、査読付きジャーナル論文14編(うち国際共著論文3編)と審査のある国際会議発表20編(うち国際共同研究5編)という研究成果をあげることができた。研究成果としては、グラフ上の問題や計算幾何における問題に対して、効率の良い解法を与えるアルゴリズムの開発や、逆に理論的な困難性を示す理論的な結果が主である。新型コロナ禍において、全体で集まっての対面での研究活動はほとんどできず、もっぱら研究分担者たちが個別に連絡を取り合って研究を進展させた中では十分な研究成果であると言えよう。
特に2021年11月には、オンラインと対面を組み合わせたハイブリッドな研究合宿を開催し、ある種の並べ替え問題に関する多角的な視点からの研究成果を得た。この問題はコンピュータ・サイエンスの基礎であるソーティング(並べ替え)と密接な関係を持つ問題であり、最近の理論計算機科学の一分野である組合せ遷移に関する問題としても位置づけることができる。また、船舶のコンテナ積み上げ等、様々な応用も考えられる。この研究テーマに対して、最終的には理論的な困難性と、多項式時間で解ける場合と、その具体的な解法アルゴリズムを与えることに成功した。さらに、現実的な時間で解くソルバも開発し、理論的に困難な場合でも、ある程度の規模まで現実的な時間で解が得られることを具体的に示した。このような理論上も応用上も重要な関連を持つ問題に対して得られた一連の研究結果は、問題の困難性と容易性の理論的な解析、さらには理論的な解析から得られる知見を活用した現実的なソルバの開発も含んでおり、本研究プロジェクトにおける重要な研究成果となった。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

新型コロナ禍における状況において、論文の量・質ともに十分な研究成果をあげることができた。これは過去の研究活動を通じて構築してきた研究者ネットワークがうまく機能したことによる。ただし国際共著論文の数はやや少なめであった。また、国際会議等において、多様な研究者に対面で会う機会がなかったため、新たな国際共著論文につながる現場でのディスカッションや、それに伴う人的ネットワークの拡大という意味では、課題が残った。
また、特に後半はオンライン会議による共同研究にも慣れてきて、不自由な環境下であっても、ある程度の研究活動を進めるノウハウが溜まってきたことには、大きな意義があったと考えられる。具体的に、ハイブリッドな研究集会を開催し、重要な研究成果をあげられたことは、今後に向けての重要な成果であると考えられる。
今回の新型コロナ禍における研究活動を通じて、以前よりもオンライン会議システムなどの新しいツールを使う必要性が高まり、実際の使用を余儀なくされた。その結果、こうした状況下においても、ある程度の研究活動を進めることができるようになった。こうした新たなツールは、今後の研究においても可能な選択肢の一つとして活用できるようになったため、それによって、以前よりも効率よく研究が進められるようになると期待できる。

今後の研究の推進方策

上記の進捗状況でも述べたとおり、当該年度は十分な研究成果をあげることができたものの、国際共著論文の数は相対に多くなく、また研究グループ全体としてのコラボレーションも十分ではなかった。こうしたやや局所的な偏りのある研究成果は、いわば過去の貯金を取り崩しているような状況であり、過去の蓄積を活かした一時的な状況であると考えられる。
例えば上記の並べ替え問題に関する研究成果は、2022年6月にイタリアで開催されたアルゴリズムに関する国際会議に採択された。そしてこの会議はオンライン開催ではなかったため、研究代表者は現地参加して発表してきた。この会議は新型コロナ禍が明けて間もないころに開催され、当該会議に現地参加していた日本人は二人しかおらず、出入国には72時間以内のPCR検査が必要な時期であった。さらに帰国後には、空港で搭乗者全員のPCR検査が義務付けられていた時期である。
こうした困難な状況下でも、現地参加には大きな異議と収穫があった。今後、より活発な研究を推進するため、研究グループ全体での研究会の開催や、国際会議への現地参加、さらには対面による国際共同研究へと舵を切り、研究活動をグローバルな方向に推進する必要がある。
また全体的なバランスとしては、理論的な困難性を示すことと、多項式時間解法を与える結果は十分に得られたと考えられるが、そうして特徴づけた問題に対する現実的な解法を与えるには十分至っていない結果も見受けられる。こうした現実的な解法という観点からの発展的な研究も推進していく必要があろう。

  • 研究成果

    (37件)

すべて 2022 2021 その他

すべて 国際共同研究 (3件) 雑誌論文 (14件) (うち国際共著 3件、 査読あり 14件、 オープンアクセス 6件) 学会発表 (20件) (うち国際学会 20件)

  • [国際共同研究] MIT(米国)

    • 国名
      米国
    • 外国機関名
      MIT
  • [国際共同研究] Universite Paris-Dauphine(フランス)

    • 国名
      フランス
    • 外国機関名
      Universite Paris-Dauphine
  • [国際共同研究] University of Maribor(スロベニア)

    • 国名
      スロベニア
    • 外国機関名
      University of Maribor
  • [雑誌論文] Bicolored Path Embedding Problems Inspired by Protein Folding Models2022

    • 著者名/発表者名
      FENG Tianfeng、UEHARA Ryuhei、VIGLIETTA Giovanni
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E105.D ページ: 623~633

    • DOI

      10.1587/transinf.2021EDP7206

    • 査読あり / オープンアクセス
  • [雑誌論文] Cyclic Shift Problems on Graphs2022

    • 著者名/発表者名
      SAI Kwon Kham、VIGLIETTA Giovanni、UEHARA Ryuhei
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E105.D ページ: 532~540

    • DOI

      10.1587/transinf.2021FCP0010

    • 査読あり / オープンアクセス
  • [雑誌論文] Research on Dissections of a Net of a Cube into Nets of Cubes2022

    • 著者名/発表者名
      OKADA Tamami、UEHARA Ryuhei
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E105.D ページ: 459~465

    • DOI

      10.1587/transinf.2021FCP0004

    • 査読あり / オープンアクセス
  • [雑誌論文] Linear-Time Recognition of Double-Threshold Graphs2022

    • 著者名/発表者名
      Kobayashi Yusuke、Okamoto Yoshio、Otachi Yota、Uno Yushi
    • 雑誌名

      Algorithmica

      巻: 84 ページ: 1163~1181

    • DOI

      10.1007/s00453-021-00921-9

    • 査読あり / オープンアクセス
  • [雑誌論文] Algorithmic enumeration of surrounding polygons2021

    • 著者名/発表者名
      Yamanaka Katsuhisa、Avis David、Horiyama Takashi、Okamoto Yoshio、Uehara Ryuhei、Yamauchi Tanami
    • 雑誌名

      Discrete Applied Mathematics

      巻: 303 ページ: 305~313

    • DOI

      10.1016/j.dam.2020.03.034

    • 査読あり / 国際共著
  • [雑誌論文] Research on Map Folding with Boundary Order on Simple Fold2021

    • 著者名/発表者名
      JIA Yiyang、MITANI Jun、UEHARA Ryuhei
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E104.A ページ: 1116~1126

    • DOI

      10.1587/transfun.2020DMP0017

    • 査読あり
  • [雑誌論文] Max-Min 3-Dispersion Problems2021

    • 著者名/発表者名
      HORIYAMA Takashi、NAKANO Shin-ichi、SAITOH Toshiki、SUETSUGU Koki、SUZUKI Akira、UEHARA Ryuhei、UNO Takeaki、WASA Kunihiro
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E104.A ページ: 1101~1107

    • DOI

      10.1587/transfun.2020DMP0003

    • 査読あり
  • [雑誌論文] Shortest reconfiguration of sliding tokens on subclasses of interval graphs2021

    • 著者名/発表者名
      Yamada Takeshi、Uehara Ryuhei
    • 雑誌名

      Theoretical Computer Science

      巻: 863 ページ: 53~68

    • DOI

      10.1016/j.tcs.2021.02.019

    • 査読あり
  • [雑誌論文] Algorithms for gerrymandering over graphs2021

    • 著者名/発表者名
      Ito Takehiro、Kamiyama Naoyuki、Kobayashi Yusuke、Okamoto Yoshio
    • 雑誌名

      Theoretical Computer Science

      巻: 868 ページ: 30~45

    • DOI

      10.1016/j.tcs.2021.03.037

    • 査読あり
  • [雑誌論文] Approximability of the independent feedback vertex set problem for bipartite graphs2021

    • 著者名/発表者名
      Tamura Yuma、Ito Takehiro、Zhou Xiao
    • 雑誌名

      Theoretical Computer Science

      巻: 849 ページ: 227~236

    • DOI

      10.1016/j.tcs.2020.10.026

    • 査読あり
  • [雑誌論文] Parameterized Complexity of (A,l)-Path Packing2021

    • 著者名/発表者名
      Belmonte Remy、Hanaka Tesshu、Kanzaki Masaaki、Kiyomi Masashi、Kobayashi Yasuaki、Kobayashi Yusuke、Lampis Michael、Ono Hirotaka、Otachi Yota
    • 雑誌名

      Algorithmica

      巻: 84 ページ: 871~895

    • DOI

      10.1007/s00453-021-00875-y

    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] On the security number of the Cartesian product of graphs2021

    • 著者名/発表者名
      Jakovac Marko、Otachi Yota
    • 雑誌名

      Discrete Applied Mathematics

      巻: 304 ページ: 119~128

    • DOI

      10.1016/j.dam.2021.07.030

    • 査読あり / 国際共著
  • [雑誌論文] Low-congestion shortcut and graph parameters2021

    • 著者名/発表者名
      Kitamura Naoki、Kitagawa Hirotaka、Otachi Yota、Izumi Taisuke
    • 雑誌名

      Distributed Computing

      巻: 34 ページ: 349~365

    • DOI

      10.1007/s00446-021-00401-x

    • 査読あり / オープンアクセス
  • [雑誌論文] Longest common subsequence in sublinear space2021

    • 著者名/発表者名
      Kiyomi Masashi、Horiyama Takashi、Otachi Yota
    • 雑誌名

      Information Processing Letters

      巻: 168 ページ: 106084~106084

    • DOI

      10.1016/j.ipl.2020.106084

    • 査読あり
  • [学会発表] Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares2022

    • 著者名/発表者名
      Hugo Akitaya, Erik Demaine, Matias Korman, Irina Kostitsyna, Irene Parada, Willem Sonke, Bettina Speckmann, Ryuhei Uehara and Jules Wulms
    • 学会等名
      38th European Workshop on Computational Geometry (EuroCG 2022)
    • 国際学会
  • [学会発表] Happy Set Problem on Subclasses of Co-comparability Graphs2022

    • 著者名/発表者名
      Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki and Yuma Tamura
    • 学会等名
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • 国際学会
  • [学会発表] Reconfiguration of Regular Induced Subgraphs2022

    • 著者名/発表者名
      Hiroshi Eto, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi and Kunihiro Wasa
    • 学会等名
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • 国際学会
  • [学会発表] Reconfiguration of Spanning Trees with Degree Constraint or Diameter Constraint2022

    • 著者名/発表者名
      Nicolas Bousquet, Takehiro Ito, Yusuke Kobayashi, Haruka Mizuta, Paul Ouvrard, Akira Suzuki and Kunihiro Wasa
    • 学会等名
      The 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)
    • 国際学会
  • [学会発表] Monotone Edge Flips to an Orientation of Maximum Edge-Connectivity a la Nash-Williams2022

    • 著者名/発表者名
      Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto and Kenta Ozeki
    • 学会等名
      The ACM-SIAM Symposium on Discrete Algorithms (SODA 2022)
    • 国際学会
  • [学会発表] Path cover problems with length cost2022

    • 著者名/発表者名
      Kenya Kobayashi, Guohui Lin, Eiji Miyano, Toshiki Saitoh, Akira Suzuki, Tadatoshi Utashima and Tsuyoshi Yagita
    • 学会等名
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • 国際学会
  • [学会発表] Token Shifting on Graphs2021

    • 著者名/発表者名
      Win Hlaing Hlaing Myint, Ryuhei Uehara, and Giovanni Viglietta
    • 学会等名
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • 国際学会
  • [学会発表] Computational Complexity of Jumping Block Puzzles2021

    • 著者名/発表者名
      Masaaki Kanzaki, Yota Otachi, and Ryuhei Uehara
    • 学会等名
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • 国際学会
  • [学会発表] Multilayer tiles2021

    • 著者名/発表者名
      Kota Chida, Erik Demaine, Martin Demaine, David Eppstein, Adam Hesterberg, Takashi Horiyama, John Iacono, Hiro Ito, Stefan Langerman, and Ryuhei Uehara
    • 学会等名
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1)
    • 国際学会
  • [学会発表] Logical Matrix Representations in Map Folding2021

    • 著者名/発表者名
      Yiyang Jia, Jun Mitani and Ryuhei Uehara
    • 学会等名
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1)
    • 国際学会
  • [学会発表] Any Regular Polyhedron Can Transform to Another by O(1) Refoldings2021

    • 著者名/発表者名
      Erik D. Demaine, Martin L. Demaine, Yevhenii Diomidov, Tonan Kamata, Ryuhei Uehara, and Hanyu Alice Zhang
    • 学会等名
      The 33rd Canadian Conference on Computational Geometry (CCCG 2021)
    • 国際学会
  • [学会発表] Bicolored Path Embedding Problems in Protein Folding Models2021

    • 著者名/発表者名
      Tianfeng Feng, Ryuhei Uehara and Giovanni Viglietta
    • 学会等名
      The 37th European Workshop on Computational Geometry (EuroCG 2021)
    • 国際学会
  • [学会発表] Reconfiguring Directed Trees in a Digraph2021

    • 著者名/発表者名
      Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi and Kunihiro Wasa
    • 学会等名
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • 国際学会
  • [学会発表] Decremental optimization of vertex-coloring under the reconfiguration framework2021

    • 著者名/発表者名
      Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki and Xiao Zhou
    • 学会等名
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • 国際学会
  • [学会発表] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021

    • 著者名/発表者名
      Makoto Kanazawa, Ryo Yoshinaka
    • 学会等名
      International Conference on Grammatical Inference (ICGI 2021)
    • 国際学会
  • [学会発表] Inside-Outside Algorithm for Macro Grammars2021

    • 著者名/発表者名
      Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
    • 学会等名
      International Conference on Grammatical Inference (ICGI 2021)
    • 国際学会
  • [学会発表] Query Learning Algorithm for Symbolic Weighted Finite Automata2021

    • 著者名/発表者名
      Kaito Suzuki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
    • 学会等名
      International Conference on Grammatical Inference (ICGI 2021)
    • 国際学会
  • [学会発表] Finding Diverse Trees, Paths, and More2021

    • 著者名/発表者名
      Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, Yota Otachi
    • 学会等名
      The 35th AAAI Conference on Artificial Intelligence (AAAI-21)
    • 国際学会
  • [学会発表] Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity2021

    • 著者名/発表者名
      Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi
    • 学会等名
      The 12th International Conference on Algorithms and Complexity (CIAC 2021)
    • 国際学会
  • [学会発表] Distributed Reconfiguration of Spanning Trees2021

    • 著者名/発表者名
      Yukiko Yamauchi, Naoyuki Kamiyama, Yota Otachi
    • 学会等名
      International Symposium on Stabilizing, Safety, and Security of Distributed Systems(SSS 2021)
    • 国際学会

URL: 

公開日: 2023-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi