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

2021 Fiscal Year Annual Research Report

Research on algorithms and data structures for solving theoretically hard problems in practical time

Research Project

Project/Area Number 18H04091
Research InstitutionJapan Advanced Institute of Science and Technology

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 齋藤 寿樹  九州工業大学, 大学院情報工学研究院, 准教授 (00590390)
鈴木 顕  東北大学, 情報科学研究科, 准教授 (10723562)
川原 純  京都大学, 情報学研究科, 准教授 (20572473)
伊藤 健洋  東北大学, 情報科学研究科, 教授 (40431548)
山中 克久  岩手大学, 理工学部, 教授 (60508836)
吉仲 亮  東北大学, 情報科学研究科, 准教授 (80466424)
大舘 陽太  名古屋大学, 情報学研究科, 准教授 (80610196)
Project Period (FY) 2018-04-01 – 2023-03-31
Keywordsアルゴリズム / 離散構造 / 離散数学 / 計算量 / データ構造 / 計算幾何 / グラフアルゴリズム
Outline of Annual Research Achievements

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

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

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

Strategy for Future Research Activity

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

  • Research Products

    (37 results)

All 2022 2021 Other

All Int'l Joint Research (3 results) Journal Article (14 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 14 results,  Open Access: 6 results) Presentation (20 results) (of which Int'l Joint Research: 20 results)

  • [Int'l Joint Research] MIT(米国)

    • Country Name
      U.S.A.
    • Counterpart Institution
      MIT
  • [Int'l Joint Research] Universite Paris-Dauphine(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      Universite Paris-Dauphine
  • [Int'l Joint Research] University of Maribor(スロベニア)

    • Country Name
      SLOVENIA
    • Counterpart Institution
      University of Maribor
  • [Journal Article] Bicolored Path Embedding Problems Inspired by Protein Folding Models2022

    • Author(s)
      FENG Tianfeng、UEHARA Ryuhei、VIGLIETTA Giovanni
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Pages: 623~633

    • DOI

      10.1587/transinf.2021EDP7206

    • Peer Reviewed / Open Access
  • [Journal Article] Cyclic Shift Problems on Graphs2022

    • Author(s)
      SAI Kwon Kham、VIGLIETTA Giovanni、UEHARA Ryuhei
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Pages: 532~540

    • DOI

      10.1587/transinf.2021FCP0010

    • Peer Reviewed / Open Access
  • [Journal Article] Research on Dissections of a Net of a Cube into Nets of Cubes2022

    • Author(s)
      OKADA Tamami、UEHARA Ryuhei
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E105.D Pages: 459~465

    • DOI

      10.1587/transinf.2021FCP0004

    • Peer Reviewed / Open Access
  • [Journal Article] Linear-Time Recognition of Double-Threshold Graphs2022

    • Author(s)
      Kobayashi Yusuke、Okamoto Yoshio、Otachi Yota、Uno Yushi
    • Journal Title

      Algorithmica

      Volume: 84 Pages: 1163~1181

    • DOI

      10.1007/s00453-021-00921-9

    • Peer Reviewed / Open Access
  • [Journal Article] Algorithmic enumeration of surrounding polygons2021

    • Author(s)
      Yamanaka Katsuhisa、Avis David、Horiyama Takashi、Okamoto Yoshio、Uehara Ryuhei、Yamauchi Tanami
    • Journal Title

      Discrete Applied Mathematics

      Volume: 303 Pages: 305~313

    • DOI

      10.1016/j.dam.2020.03.034

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Research on Map Folding with Boundary Order on Simple Fold2021

    • Author(s)
      JIA Yiyang、MITANI Jun、UEHARA Ryuhei
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E104.A Pages: 1116~1126

    • DOI

      10.1587/transfun.2020DMP0017

    • Peer Reviewed
  • [Journal Article] Max-Min 3-Dispersion Problems2021

    • Author(s)
      HORIYAMA Takashi、NAKANO Shin-ichi、SAITOH Toshiki、SUETSUGU Koki、SUZUKI Akira、UEHARA Ryuhei、UNO Takeaki、WASA Kunihiro
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E104.A Pages: 1101~1107

    • DOI

      10.1587/transfun.2020DMP0003

    • Peer Reviewed
  • [Journal Article] Shortest reconfiguration of sliding tokens on subclasses of interval graphs2021

    • Author(s)
      Yamada Takeshi、Uehara Ryuhei
    • Journal Title

      Theoretical Computer Science

      Volume: 863 Pages: 53~68

    • DOI

      10.1016/j.tcs.2021.02.019

    • Peer Reviewed
  • [Journal Article] Algorithms for gerrymandering over graphs2021

    • Author(s)
      Ito Takehiro、Kamiyama Naoyuki、Kobayashi Yusuke、Okamoto Yoshio
    • Journal Title

      Theoretical Computer Science

      Volume: 868 Pages: 30~45

    • DOI

      10.1016/j.tcs.2021.03.037

    • Peer Reviewed
  • [Journal Article] Approximability of the independent feedback vertex set problem for bipartite graphs2021

    • Author(s)
      Tamura Yuma、Ito Takehiro、Zhou Xiao
    • Journal Title

      Theoretical Computer Science

      Volume: 849 Pages: 227~236

    • DOI

      10.1016/j.tcs.2020.10.026

    • Peer Reviewed
  • [Journal Article] Parameterized Complexity of (A,l)-Path Packing2021

    • Author(s)
      Belmonte Remy、Hanaka Tesshu、Kanzaki Masaaki、Kiyomi Masashi、Kobayashi Yasuaki、Kobayashi Yusuke、Lampis Michael、Ono Hirotaka、Otachi Yota
    • Journal Title

      Algorithmica

      Volume: 84 Pages: 871~895

    • DOI

      10.1007/s00453-021-00875-y

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] On the security number of the Cartesian product of graphs2021

    • Author(s)
      Jakovac Marko、Otachi Yota
    • Journal Title

      Discrete Applied Mathematics

      Volume: 304 Pages: 119~128

    • DOI

      10.1016/j.dam.2021.07.030

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Low-congestion shortcut and graph parameters2021

    • Author(s)
      Kitamura Naoki、Kitagawa Hirotaka、Otachi Yota、Izumi Taisuke
    • Journal Title

      Distributed Computing

      Volume: 34 Pages: 349~365

    • DOI

      10.1007/s00446-021-00401-x

    • Peer Reviewed / Open Access
  • [Journal Article] Longest common subsequence in sublinear space2021

    • Author(s)
      Kiyomi Masashi、Horiyama Takashi、Otachi Yota
    • Journal Title

      Information Processing Letters

      Volume: 168 Pages: 106084~106084

    • DOI

      10.1016/j.ipl.2020.106084

    • Peer Reviewed
  • [Presentation] Compacting Squares: Input-Sensitive In-Place Reconfiguration of Sliding Squares2022

    • Author(s)
      Hugo Akitaya, Erik Demaine, Matias Korman, Irina Kostitsyna, Irene Parada, Willem Sonke, Bettina Speckmann, Ryuhei Uehara and Jules Wulms
    • Organizer
      38th European Workshop on Computational Geometry (EuroCG 2022)
    • Int'l Joint Research
  • [Presentation] Happy Set Problem on Subclasses of Co-comparability Graphs2022

    • Author(s)
      Hiroshi Eto, Takehiro Ito, Eiji Miyano, Akira Suzuki and Yuma Tamura
    • Organizer
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • Int'l Joint Research
  • [Presentation] Reconfiguration of Regular Induced Subgraphs2022

    • Author(s)
      Hiroshi Eto, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi and Kunihiro Wasa
    • Organizer
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • Int'l Joint Research
  • [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 and Kunihiro Wasa
    • Organizer
      The 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)
    • Int'l Joint Research
  • [Presentation] Monotone Edge Flips to an Orientation of Maximum Edge-Connectivity a la Nash-Williams2022

    • Author(s)
      Takehiro Ito, Yuni Iwamasa, Naonori Kakimura, Naoyuki Kamiyama, Yusuke Kobayashi, Shun-ichi Maezawa, Yuta Nozaki, Yoshio Okamoto and Kenta Ozeki
    • Organizer
      The ACM-SIAM Symposium on Discrete Algorithms (SODA 2022)
    • 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 and Tsuyoshi Yagita
    • Organizer
      The 16th International Conference and Workshops on Algorithms and Computation (WALCOM 2022)
    • Int'l Joint Research
  • [Presentation] Token Shifting on Graphs2021

    • Author(s)
      Win Hlaing Hlaing Myint, Ryuhei Uehara, and Giovanni Viglietta
    • Organizer
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • Int'l Joint Research
  • [Presentation] Computational Complexity of Jumping Block Puzzles2021

    • Author(s)
      Masaaki Kanzaki, Yota Otachi, and Ryuhei Uehara
    • Organizer
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • Int'l Joint Research
  • [Presentation] Multilayer tiles2021

    • Author(s)
      Kota Chida, Erik Demaine, Martin Demaine, David Eppstein, Adam Hesterberg, Takashi Horiyama, John Iacono, Hiro Ito, Stefan Langerman, and Ryuhei Uehara
    • Organizer
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1)
    • Int'l Joint Research
  • [Presentation] Logical Matrix Representations in Map Folding2021

    • Author(s)
      Yiyang Jia, Jun Mitani and Ryuhei Uehara
    • Organizer
      The 23rd Thailand-Japan Conference on Discrete and Computational Geometry, Graphs, and Games (TJCDCG3 2020+1)
    • Int'l Joint Research
  • [Presentation] Any Regular Polyhedron Can Transform to Another by O(1) Refoldings2021

    • Author(s)
      Erik D. Demaine, Martin L. Demaine, Yevhenii Diomidov, Tonan Kamata, Ryuhei Uehara, and Hanyu Alice Zhang
    • Organizer
      The 33rd Canadian Conference on Computational Geometry (CCCG 2021)
    • Int'l Joint Research
  • [Presentation] Bicolored Path Embedding Problems in Protein Folding Models2021

    • Author(s)
      Tianfeng Feng, Ryuhei Uehara and Giovanni Viglietta
    • Organizer
      The 37th European Workshop on Computational Geometry (EuroCG 2021)
    • Int'l Joint Research
  • [Presentation] Reconfiguring Directed Trees in a Digraph2021

    • Author(s)
      Takehiro Ito, Yuni Iwamasa, Yasuaki Kobayashi, Yu Nakahata, Yota Otachi and Kunihiro Wasa
    • Organizer
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • Int'l Joint Research
  • [Presentation] Decremental optimization of vertex-coloring under the reconfiguration framework2021

    • Author(s)
      Yusuke Yanagisawa, Yuma Tamura, Akira Suzuki and Xiao Zhou
    • Organizer
      The 27th International Computing and Combinatorics Conference (COCOON 2021)
    • Int'l Joint Research
  • [Presentation] A Hierarchy of Context-Free Languages Learnable from Positive Data and Membership Queries2021

    • Author(s)
      Makoto Kanazawa, Ryo Yoshinaka
    • Organizer
      International Conference on Grammatical Inference (ICGI 2021)
    • Int'l Joint Research
  • [Presentation] Inside-Outside Algorithm for Macro Grammars2021

    • Author(s)
      Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka
    • Organizer
      International Conference on Grammatical Inference (ICGI 2021)
    • Int'l Joint Research
  • [Presentation] Query Learning Algorithm for Symbolic Weighted Finite Automata2021

    • Author(s)
      Kaito Suzuki, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara
    • Organizer
      International Conference on Grammatical Inference (ICGI 2021)
    • Int'l Joint Research
  • [Presentation] Finding Diverse Trees, Paths, and More2021

    • Author(s)
      Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, Yota Otachi
    • Organizer
      The 35th AAAI Conference on Artificial Intelligence (AAAI-21)
    • Int'l Joint Research
  • [Presentation] Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity2021

    • Author(s)
      Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi
    • Organizer
      The 12th International Conference on Algorithms and Complexity (CIAC 2021)
    • Int'l Joint Research
  • [Presentation] Distributed Reconfiguration of Spanning Trees2021

    • Author(s)
      Yukiko Yamauchi, Naoyuki Kamiyama, Yota Otachi
    • Organizer
      International Symposium on Stabilizing, Safety, and Security of Distributed Systems(SSS 2021)
    • Int'l Joint Research

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi