2014 年度実績報告書

劣加法構造探索による計算理論の新展開

研究課題

研究課題/領域番号	24700010
研究機関	京都大学
研究代表者	上野賢哉京都大学, 白眉センター, 助教 (70586081)
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	計算理論 / 整数計画法
研究実績の概要	昨年度より引き続き、等式制約型の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に採択・掲載された。総じて、劣加法構造の探索という研究目的を実現することができたたとともに、これまでの研究を総括することができた。