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

2022 Fiscal Year Annual Research Report

列挙や数え上げなどを統一的に扱うための基盤技術

Research Project

Project/Area Number 22H03549
Allocation TypeSingle-year Grants
Research InstitutionHokkaido University

Principal Investigator

堀山 貴史  北海道大学, 情報科学研究院, 教授 (60314530)

Co-Investigator(Kenkyū-buntansha) 伝住 周平  日本電信電話株式会社NTTコミュニケーション科学基礎研究所, 協創情報研究部, リサーチアソシエイト (90755729)
和佐 州洋  法政大学, 理工学部, 准教授 (00781337)
栗田 和宏  名古屋大学, 情報学研究科, 助教 (40885266)
脊戸 和寿  北海道大学, 情報科学研究院, 准教授 (20584056)
中畑 裕  奈良先端科学技術大学院大学, 先端科学技術研究科, 助教 (50942067)
Project Period (FY) 2022-04-01 – 2026-03-31
Keywords列挙アルゴリズム / 数え上げアルゴリズム / サンプリングアルゴリズム / 離散構造 / 計算モデル
Outline of Annual Research Achievements

列挙、数え上げ、サンプリングなどのアルゴリズムは、互いに深く関連しつつも、それぞれ独自の技法が必要とされることが多い。ここで、同じ制約条件のもとで、つまり同じ解空間において、解の列挙、数え上げなどタイプの異なるアルゴリズムそれぞれを個別に設計する状況を見つめ直し、アルゴリズム設計者が頭の中に持つ解空間に関する理解をもとにアルゴリズムを導出する過程を明らかにすることで、列挙、数え上げ、サンプリングなどのアルゴリズム設計を統一的に扱うための指針を与えることを本研究課題の目的としている。
本研究課題の研究者のみならず、課題外の連携研究者との議論も通して、列挙や数え上げなどのアルゴリズム設計の過程の再検討を行った。具体的には、たとえば、グラフの同型性の観点から代表元のみを列挙する同型性の除去について、ZDD (Zero-Suppressed Binary Decision Disgrams; 零抑制型二分決定グラフ) を用いるアプローチの検討を行った。制約条件を満たす解集合をうまく区分し、それらの区分された解集合相互の関係を表す方法を検討する際に、非同型なものを漏れなく重複なく求められる保証を与える必要があり、具体的なアルゴリズム設計を通して、アルゴリズム設計とアイデア記述に関する知見を得た。また、列挙と深い関連を持つ組合せ遷移問題も含めて、関連分野への応用に関する検討を行った。具体的には、たとえば、45度系格子パターン上での折り紙の展開図の列挙と数え上げの技法についてである。この問題では、縦横および斜め45度方向の格子上のみに折り線の位置を限定し、各頂点で平坦に折ることのできる局所平坦性を制約として、展開図の列挙または数え上げを行っている。また、格子の規則性から、回転および鏡映反転による同型性を考慮する必要があり、応用上の要請だけでなく、本研究課題の方向性にも沿った研究成果である。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

コロナ禍ではあったが、2022年9月中旬、11月中旬、2023年2月下旬に対面で集まって議論する機会を設けるとともに、個別での対面やオンラインでの研究打合せを行った。これらの本研究課題内外の研究者との議論を通して、列挙、数え上げなどに関するアルゴリズム設計や計算モデルと計算量理論の見地からの知見を蓄えており、またその知見を研究成果として発表しており、順調に進展していると考えられる。

Strategy for Future Research Activity

本研究課題は、以下の3つのアプローチからなる。(i) 列挙や数え上げなどに関するアルゴリズム設計者の問題解決のアイデアを記述する手法について考察を行う。(ii) アイデアの記述から列挙や数え上げなどの個々のアルゴリズムを導く統一的なフレームワークを基盤技術として提供する。(iii) 関連分野と連携して、このフレームワークに基づくアルゴリズム設計技法を各分野へと応用する。
アプローチ (i) では、本研究課題の構想の源流である2端子直並列グラフに関する列挙・数え上げ・サンプリングのアルゴリズム設計に関する知見に基づき、非同型な木の列挙問題に主として取り組む。具体的には、各頂点の次数を表す多重集合が入力として与えられた時に、この次数制約を満たす根無し無順序木を列挙するアルゴリズムの設計を行う。この列挙アルゴリズムの設計においては、制約条件を満たす解集合をうまく区分し、それらの区分された解集合相互の関係を表す方法を検討する際に、非同型なものを漏れなく重複なく求められる保証を与える必要がある。こうしたアイデアを記述する方法について知見を蓄えるために、アルゴリズム設計を通じて列挙や数え上げなどのアルゴリズム設計の背後にあるアイデアを整理する。BDD/ZDDアルゴリズムの見地からの検討、逆探索アルゴリズムの見地からの検討、計算モデルと計算量理論の見地からの検討を中心に研究を進める。アプローチ (ii) では、列挙、数え上げ、サンプリングのアルゴリズム設計の過程を再検討し、統一的な導出へと発展させるための検討を進める。アプローチ (iii) では、列挙と深い関連を持つ遷移問題も含めて、さまざまな分野と連携しつつ検討を行う。以上3つのアプローチを連携させ、基礎から応用へとつなげる。また、理論と実践を念頭に、アルゴリズム設計の理論のみならず、アルゴリズム実装にも取り組む。

  • Research Products

    (18 results)

All 2023 2022

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (17 results) (of which Int'l Joint Research: 4 results,  Invited: 2 results)

  • [Journal Article] Constant amortized time enumeration of Eulerian trails2022

    • Author(s)
      K. Kurita, K. Wasa
    • Journal Title

      Theoretical Computer Science

      Volume: 923 Pages: 1-12

    • DOI

      10.1016/j.tcs.2022.04.048

    • Peer Reviewed
  • [Presentation] Internal Longest Palindrome Queries in Optimal Time2023

    • Author(s)
      K. Mitani, T. Mieno, K. Seto, T. Horiyama
    • Organizer
      The 14th International Conference and Workshops on Algorithms and Computation
    • Int'l Joint Research
  • [Presentation] Collecting Balls on a Line by Robots with Limited Energy2023

    • Author(s)
      N. H. Droguett, K. Kurita, T. Hanaka, Y. Otachi, H. Ono
    • Organizer
      2022年度冬のLAシンポジウム,
  • [Presentation] あみだくじと菱形タイリングの列挙2023

    • Author(s)
      堀山貴史
    • Organizer
      科学研究費補助金学術変革領域(B) 組合せ遷移の展開に向けた計算機科学・工学・数学によるアプローチの融合, 第34回セミナー
    • Invited
  • [Presentation] ZDD を用いた最適円筒あみだくじの列挙2023

    • Author(s)
      岩崎善泰, 堀山貴史, 松井泰子, 野崎雄太, 脊戸和寿, 山中克久
    • Organizer
      情報処理学会アルゴリズム研究会
  • [Presentation] Counting and ZDDbased Enumeration of Locally Flat-Foldable Box-Pleated Crease Patterns on the 45-Degree Grid System2022

    • Author(s)
      Y. Enomoto, Y. Kawakami, K. Seto, T. Horiyama, J. Mitani
    • Organizer
      The 5th International Workshop on Enumeration Problems & Applications
    • Int'l Joint Research
  • [Presentation] Polynomial-Delay and Polynomial-Space Enumeration of Large Maximal Matchings2022

    • Author(s)
      Y. Kobayashi, K. Kurita, K. Wasa
    • Organizer
      The 48th International Workshop on Graph-Theoretic Concepts in Computer Science
    • Int'l Joint Research
  • [Presentation] Linear-Delay Enumeration for Minimal Steiner Problems2022

    • Author(s)
      Y. Kobayashi, K. Kurita, K. Wasa
    • Organizer
      The 41st International Conference on Management of Data
    • Int'l Joint Research
  • [Presentation] 文字列中の異なる閉文字列の数え上げと最大個数について2022

    • Author(s)
      高橋駿, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      2022年度夏のLA シンポジウム
  • [Presentation] 区間最長回文クエリに対する時間最適アルゴリズム2022

    • Author(s)
      三谷和暉, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      2022年度夏のLA シンポジウム
  • [Presentation] 最小重み Laman グラフの総交点数と厚みの下界の改良2022

    • Author(s)
      河上悠輝, 高橋駿, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹
    • Organizer
      2022年度夏のLA シンポジウム
  • [Presentation] 複数の多面体の共通の展開図について2022

    • Author(s)
      堀山貴史
    • Organizer
      科学研究費補助金学術変革領域(A) 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化, AFSA コロキウム
    • Invited
  • [Presentation] 最小重み Laman グラフの総交点数と厚みの下界の改良2022

    • Author(s)
      河上悠輝, 高橋駿, 脊戸和寿, 堀山貴史, 小林祐貴, 東川雄哉, 加藤直樹
    • Organizer
      第35 回回路とシステムワークショップ
  • [Presentation] 文字列中の異なる閉文字列の数え上げと最大個数について2022

    • Author(s)
      高橋駿, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      STR セミナー
  • [Presentation] 区間最長回文クエリに対する時間最適アルゴリズム2022

    • Author(s)
      三谷和暉, 脊戸和寿, 堀山貴史, 三重野琢也
    • Organizer
      STR セミナー
  • [Presentation] 自己同型写像の断片を用いた代表元の反復抽出による同型性の除去2022

    • Author(s)
      高橋孔平, 脊戸和寿, 堀山貴史
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] Reconfiguration and Enumeration of Optimal Cyclic Ladder Lotteries2022

    • Author(s)
      Y. Nozaki, K. Wasa, K. Yamanaka
    • Organizer
      電子情報通信学会コンピュテーション研究会
  • [Presentation] 直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙に向けて2022

    • Author(s)
      大野木駿, 和佐州洋
    • Organizer
      電子情報通信学会コンピュテーション研究会

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi