New Development of Computation Theory by Exploring the Subadditive Structure
| Project/Area Number |
24700010
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
UENO Kenya 京都大学, 白眉センター, 助教 (70586081)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2012: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| Keywords | 計算量理論 / 線形計画法 / 整数計画法 / 論理関数 / 計算理論 |
|---|
| Outline of Final Research Achievements |
In this research project, we have aimed at creating a new current in the theory of computatoin from harmonized view of algorithms and computational complexity theory by focusing on subadditive structures which appear in both of them. Consequently, we have made progress on some research topics such as proof methos for formula-size lower bounds, exact exponential algorithms for integer programs and analysis of polyhedral structure of integer programs from the harmonized view.
|
Report
(4 results)
Research Products
(15 results)
