| Project/Area Number |
14J04867
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Theory of informatics
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
長尾 篤樹 京都大学, 特別研究員(DC2)
|
|---|
| Project Period (FY) |
2014-04-25 – 2016-03-31
|
| Project Status |
Declined (Fiscal Year 2015)
|
| Budget Amount *help |
¥1,900,000 (Direct Cost: ¥1,900,000)
Fiscal Year 2015: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2014: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | Lower bounds / Branching programs / Computational complexity / Read-once restriction |
|---|
| Outline of Annual Research Achievements |
本研究の最終目標は『L vs. P』問題を解決する事であり，そのための足掛かりとして現在の分岐プログラムの裁量下界を改良することを目標としている．計算量クラスLに入っていないであろうと信じられる木構造関数値評価問題を解く分岐プログラムを解析し，これまでそのサイズ下界がnの1.5乗であることは確認されていた．この下界がより大きく，超多項式サイズ必要であることを証明すれば本目標は達成される事となる．
研究実施計画に基づき，まずはRead-Onceという制限を設けた分岐プログラムのサイズ下界を解析した．これにより，上界と一致する下界を示すことができ，その値はnのlogn乗と超多項式となる理想的なものであった．この結果はSTOCSという国際会議へと投稿され，採択率25%程の状況で採択されている．
次の研究課題として，Read-Onceという制限を外した，一般的な分岐プログラムの下界解析へと取り組んだ．こちらは上界と一致する下界が2分木かつ高さ3の木構造を持つ問題までしか証明されていない状況であった．ここから発展させ高さ4の木構造を持つ問題の分岐プログラム下界を示すよう研究を進めていったが，思うような進展は得られなかった．Read-Onceという制限の下では上界と一致する下界が示せたということから，そこから得られる知見を用い，Read-Onceとは別の方向からの制限である深さに関係する制限を加える事で，既知の下界よりも3倍ほど大きい下界を示すことができた．しかしこの手法では既知の下界よりも大きなオーダーを示す下界を示す事は難しいと結論付けた．
|
| Research Progress Status |
翌年度、交付申請を辞退するため、記入しない。
|
| Strategy for Future Research Activity |
翌年度、交付申請を辞退するため、記入しない。
|
Report
(1 results)
Research Products
(3 results)
