2014 年度研究成果報告書

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

研究課題

研究課題/領域番号	24700010
研究種目	若手研究(B)
配分区分	基金
研究分野	情報学基礎
研究機関	京都大学
研究代表者	上野賢哉京都大学, 白眉センター, 助教 (70586081)
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	計算量理論 / 線形計画法 / 整数計画法 / 論理関数
研究成果の概要	本研究計画では、アルゴリズム理論と計算量理論の双方に現れる劣加法構造に着目し構造的性質を探索していくことで、アルゴリズムと計算量という融合的な枠組みの中から計算理論に対する新たな潮流を創成することを目指して来た。結果として、論理式サイズ下界の証明方法、整数計画問題に対する指数時間厳密解法、そして、整数計画法の多面体構造の解析などの研究トピックに対して、統一的な観点から進展を与えることができた。
自由記述の分野	計算の基礎理論