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

強指数時間仮説に基づく計算限界の理解と探究

Publicly Offered Research

Project AreaCreation and Organization of Innovative Algorithmic Foundations for Leading Social Innovations
Project/Area Number 21H05839
Research Category

Grant-in-Aid for Transformative Research Areas (A)

Allocation TypeSingle-year Grants
Review Section Transformative Research Areas, Section (IV)
Research InstitutionHokkaido University

Principal Investigator

脊戸 和寿  北海道大学, 情報科学研究院, 准教授 (20584056)

Project Period (FY) 2021-09-10 – 2023-03-31
Project Status Completed (Fiscal Year 2022)
Budget Amount *help
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2022: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2021: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywords強指数時間仮説 / 充足可能性問題 / NP困難 / LZ分解 / 計算限界
Outline of Research at the Start

充足可能性問題は現実にある様々な問題の定式化の1つとして用いられる。その中でも、和積標準形論理式の充足可能性問題には、変数に0/1の全割当を試す全探索アルゴリズムよりも指数的に高速なアルゴリズムは存在しないという強指数時間仮説がある。この仮説下では、さまざまな問題に対して、現在知られているアルゴリズムよりも高速なアルゴリズムを設計することは困難であることが示されている。本研究では、多角的な調査や実際にアルゴリズム設計を行うことで強指数時間仮説の理解を深め、この仮説を打ち破る研究の礎となることを目標とする。

Outline of Annual Research Achievements

本研究の目標は強指数時間仮説の知見を深め、将来的に仮説の否定につなげるための研究を遂行することである。
2022年度は強指数時間仮説の否定をするために、まずはそれより強い仮説である極指数時間仮説(Super Strong Exponential Time Hypothesis:SSETH)を否定するために、和積標準形論理式の充足可能性判定アルゴリズムの現状を整理し、より高速なアルゴリズムを構築することを目標とした。
各節が高々 k 個のリテラルから構成される和積標準形論理式上の充足可能性問題を k-SAT とよぶ。k-SAT には 2 つの代表的なアルゴリズムがあり、その 1 つである PPSZ アルゴリズムは現在でも幅広く研究され、高速化されている。PPSZ アルゴリズムの前身である、乱択版の PPZ アルゴリズムは k-SAT に二元体上の連立方程式の制約を加えた k-SUB-SAT と呼ばれる問題に対しても k-SAT と同様の計算時間で動くことが知られている。
本年度に極指数時間仮説を否定することはできなかったが、PPZ アルゴリズムの理解が深まったことで、決定性版の PPZ アルゴリズムでも k-SUB-SAT を k-SAT の決定性 PPSZ アルゴリズムと同様の計算時間で解くことを示すことができた。しかし、国際会議および論文誌への投稿は完了しておらず、現在投稿準備中である。
また、本研究で目標の1つとしていた、他班との連携や ACT-X の研究者との連携の実施の結果として、区間最長回文を求めるアルゴリズムの構築や、LZ分解に関する文字列の問題に対して、その最適解が NP 困難であることなどの結果を出すことができた。これらの結果は、国際会議に採択されている。

Research Progress Status

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

Strategy for Future Research Activity

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

Report

(2 results)
  • 2022 Annual Research Report
  • 2021 Annual Research Report
  • Research Products

    (5 results)

All 2023 2022

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

  • [Journal Article] Internal Longest Palindrome Queries in Optimal Time2023

    • Author(s)
      Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13973 Pages: 127-138

    • DOI

      10.1007/978-3-031-27051-2_12

    • ISBN
      9783031270505, 9783031270512
    • Related Report
      2022 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Optimal LZ-End Parsing is Hard2023

    • Author(s)
      Hideo Bannai, Mitsuru Funakoshi, Kazuhiro Kurita, Yuto Nakashima, Kazuhisa Seto, and Takeaki Uno
    • Journal Title

      Leibniz International Proceedings in Informatics

      Volume: 259

    • Related Report
      2022 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] A Satisfiability Algorithm for Deterministic Width-2 Branching Programs2022

    • Author(s)
      Tomu MAKITA, Atsuki NAGAO, Tatsuki OKADA, Kazuhisa SETO, Junichi TERUYAMA
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E105.A Issue: 9 Pages: 1298-1308

    • DOI

      10.1587/transfun.2021EAP1120

    • ISSN
      0916-8508, 1745-1337
    • Year and Date
      2022-09-01
    • Related Report
      2021 Annual Research Report
    • Peer Reviewed / Open Access
  • [Presentation] Internal Longest Palindrome Queries in Optimal Time2023

    • Author(s)
      Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama
    • Organizer
      The 17th International Conference and Workshops on Algorithms and Computation
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Optimal LZ-End Parsing is Hard2023

    • Author(s)
      Hideo Bannai, Mitsuru Funakoshi, Kazuhiro Kurita, Yuto Nakashima, Kazuhisa Seto, and Takeaki Uno
    • Organizer
      The 34th Annual Symposium on Combinatorial Pattern Matching
    • Related Report
      2022 Annual Research Report
    • Int'l Joint Research

URL: 

Published: 2021-10-22   Modified: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi