Theory and applications of complexity theory for continuous systems
Project/Area Number |
26700001
|
Research Category |
Grant-in-Aid for Young Scientists (A)
|
Allocation Type | Partial Multi-year Fund |
Research Field |
Theory of informatics
|
Research Institution | Kyushu University (2017) The University of Tokyo (2014-2016) |
Principal Investigator |
|
Project Period (FY) |
2014-04-01 – 2018-03-31
|
Project Status |
Completed (Fiscal Year 2017)
|
Budget Amount *help |
¥8,320,000 (Direct Cost: ¥6,400,000、Indirect Cost: ¥1,920,000)
Fiscal Year 2017: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2016: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2015: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2014: ¥2,080,000 (Direct Cost: ¥1,600,000、Indirect Cost: ¥480,000)
|
Keywords | 計算量 / 計算可能性 / 実数計算 / 実効的解析学 / 精度保証 / 微分方程式 / 計算量理論 / アナログ計算 / 数値計算 / 函数解析 / ワイラオホ次数 / 力学系 / 計算可能解析 / アルゴリズム / 応用数理 / 実数表現 |
Outline of Final Research Achievements |
Polynomial-time computability and other fundamental notions of computational complexity play a central role in discrete algorithm design and analysis. In this project we explored (further) extensions of such notions to problems involving continuous data. Some of the concepts and techniques that had been known to work at the level of computability were successfully refined to give practically meaningful analysis of time- and space-bounded computation.
|
Report
(5 results)
Research Products
(32 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 解析学における計算量2017
Author(s)
河村彰星
Organizer
日本数学会年会特別講演
Place of Presentation
首都大学東京(東京都八王子市)
Year and Date
2017-03-25
Related Report
Invited
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Analytic functions in iRRAM2014
Author(s)
A. Kawamura, F. Steinberg and H. Thies
Organizer
Eleventh International Conference on Computability and Complexity in Analysis (CCA)
Place of Presentation
Darmstadt, Germany
Year and Date
2014-07-23
Related Report
-
-
-
-
-