Theoretical clarification of efficiency and fundamental properties of computation under low memory space
Project/Area Number |
17K00025
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Theory of informatics
|
Research Institution | Tokuyama College of Technology |
Principal Investigator |
|
Project Period (FY) |
2017-04-01 – 2022-03-31
|
Project Status |
Completed (Fiscal Year 2021)
|
Budget Amount *help |
¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Fiscal Year 2020: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2019: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2018: ¥390,000 (Direct Cost: ¥300,000、Indirect Cost: ¥90,000)
Fiscal Year 2017: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
|
Keywords | 領域限定計算 / 交代性計算 / インクドットチューリングマシン / 閉包性 / ぺブルチューリングマシン / ラスベガス計算 / 非決定性計算 / 決定性計算 / インクドット・チューリングマシン / ぺブル・チューリングマシン / 領域計算量 / チューリングマシン / 1方向計算 / 2方向計算 / カウンタオートマトン / 同期型交代性計算 / 有限オートマトン / マルチカウンタマシン / 計算理論 / オートマトン理論 |
Outline of Final Research Achievements |
The purpose of this research is to theoretically clarify the efficiency of processing and various properties of such efficiency using mathematical models of computers with extremely small disk memory compared to the size of input data, assuming that large amounts of data are processed on a computer with a small memory, such as a smart phone. We have shown theoretically that, although ordinary computers are used for serial computation, parallel computation with tagged input data can improve processing efficiency, but it cannot handle complex processing, and that randomized computation, in which one process is randomly chosen from among multiple next processes, can also improve efficiency depending on the machine model.
|
Academic Significance and Societal Importance of the Research Achievements |
本研究は領域計算に関する基礎理論であり,入力データnに対し,使用できるメモリー空間量を関数s(n)に制限した場合の計算の可能性と限界等について考察・解明することが主題である. これまでに,s(n)が対数log n(logarithm)より大きな関数の場合については多くの著名な先行結果があるが,本研究で対象とするs(n)がlog n未満(sublogarithm)の場合に関する成果は多くない.よって,本研究成果の学術的意義としては,log n未満の領域計算量の研究分野の進展への貢献が考えられる.
|
Report
(6 results)
Research Products
(6 results)