| Project/Area Number |
18K18003
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | University of Hyogo |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2018-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2020: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | 充足可能性問題 / 分岐プログラム / 厳密アルゴリズム / 回路計算量 / k-CNF / k-Sub-SAT / 論理回路 / 計算複雑性 / 計算量理論 |
|---|
| Outline of Final Research Achievements |
To solve the P vs. NP problem, which is the most important problem in theoretical computer science, we studied the separation of computational classes by providing a satisfiability algorithm for branching programs. Mainly, we investigated designing algorithms for branching programs with constant width using the lower bound proof technique.
In this research, we succeeded in designing an algorithm for the satisfiability problem of branching programs of linear size and width two. It runs faster than the brute forth search and uses the lower bound proof technique as a subroutine.
|
| Academic Significance and Societal Importance of the Research Achievements |
本研究での成果は計算量理論およびアルゴリズム理論の両分野に関連する成果といえる．計算量理論の分野においては，計算量クラスの分離という基礎的な問題に向けた第一歩と与えた．アルゴリズム理論分野においては，分岐プログラムサイズの下界証明技法を取り入れた新しい重曹可能性判定アルゴリズムの設計技法を与えた．
|
