2014 Fiscal Year Annual Research Report
| Project/Area Number |
24700010
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
上野 賢哉 京都大学, 白眉センター, 助教 (70586081)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 計算理論 / 整数計画法 |
|---|
| Outline of Annual Research Achievements |
昨年度より引き続き、等式制約型の0-1整数計画問題に対する全探索よりも高速な指数時間アルゴリズムに関して研究を行った。その結果、領域計算量に関して改善を行うことに成功した。そして、プログラムを実装し計算機実験による評価を行った。この成果に関しては、情報処理学会アルゴリズム研究会で発表したのをはじめ、11月に東京で開催したELC Mini-Workshop on Boolean Functionsにて発表し、該当領域の先駆的研究者であるUC San DiegoのRamamohan PaturiとStefan Schneiderらと研究討議を行うことができた。
これまでの成果を総括するサーベイ論文が、東北大学が刊行するInterdisciplinary Information Sciencesに採択された。また、論理式サイズ下界を証明するための具体的な候補となりうる論理関数に関する解析成果に関する論文がIEICE Transactions on Information and Systemsに採択・掲載された。
総じて、劣加法構造の探索という研究目的を実現することができたたとともに、これまでの研究を総括することができた。
|
