| Project/Area Number |
24H00690
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
上原 隆平 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (00256471)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
湊 真一 京都大学, 情報学研究科, 教授 (10374612)
川原 純 京都大学, 情報学研究科, 准教授 (20572473)
伊藤 健洋 東北大学, 情報科学研究科, 教授 (40431548)
番原 睦則 名古屋大学, 情報学研究科, 教授 (80290774)
|
|---|
| Project Period (FY) |
2024-04-01 – 2029-03-31
|
| Project Status |
Granted (Fiscal Year 2024)
|
| Budget Amount *help |
¥47,320,000 (Direct Cost: ¥36,400,000、Indirect Cost: ¥10,920,000)
Fiscal Year 2024: ¥10,140,000 (Direct Cost: ¥7,800,000、Indirect Cost: ¥2,340,000)
|
|---|
| Keywords | 計算困難・計算不能な問題 / 二分決定図 / 組合せ遷移 / SATソルバ / 実用的アルゴリズム |
|---|
| Outline of Research at the Start |
計算量の理論では、問題の困難性を「最悪の場合」を基準に判断する。このため、理論的に困難であるとされる問題が、即座に現実的に解けないことを意味するわけではない。これまでも理論的に困難な問題を現実的な時間でどこまで解くことができるのか活発に研究されてきた。本研究では、こうした技法をさらに発展させ、計算不能を含む上位の計算量クラスの問題を、より幅広い範囲で現実的に解く方法を研究・開発する。
|
