2023 Fiscal Year Final Research Report
Efficient use of memory space by data processing algorithms on compact-size devices
| Project/Area Number |
19K11820
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | University of Fukui |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2019-04-01 – 2024-03-31
|
| Keywords | 線形領域仮説 / 対数メモリ領域 / 量子アディアバティック計算 / 非一様オートマトン族 / アドバイス |
|---|
| Outline of Final Research Achievements |
To develop various applications that perform large-scale data processing on small mobile devices with physically limited memory space requires fundamentally different algorithm design techniques. We discuss how memory space limitations affect algorithm design on various computing models. In particular, we propose the linear space hypothesis, which indicates that no sub-linear-space algorithms solve all problems in the nondeterministic complexity class NL, and we see the validity of this hypothesis by showing its natural but seemingly correct consequences. Furthermore, the equivalence between polynomial state complexity and logarithmic memory space helps us study the computational power of limited memory space using a non-uniform family of automata. We also study another computational model known as adiabatic quantum computers.
|
| Free Research Field |
理論計算機科学
|
| Academic Significance and Societal Importance of the Research Achievements |
メモリ領域の制限は、現実の小型携帯端末でのデータ処理ではしごく自然な要請であり、今後の小型携帯端末の発展を鑑みると、本研究で提唱された「線形領域仮説」は、理論計算機科学の研究に重要な役割を果たすことが期待される。この仮説は様々な計算モデルで特徴付けることが可能であることから、様々な分野への応用が期待される。線形領域仮説の真偽は未だ不明であるが、これは今後の研究の重要なテーマの一つとなる。また、迅速な大容量データ処理能力が必要とされ自律系AIや自動運転などの開発に示唆を与える事が期待される。
|
