| 研究概要 |
研究計画の通り、我々の2013年度の目標は以下の通りであった。(1)三角分割プログラム の64-コア実験(2)Cunningham のピボットルールの指数的下界(3)Extension complexityの指数的下界
(1) 2014年1月31日に、三角分割を列挙するために逆探索木を切り取る新しいコードを完成した。コードは石川雄二と一緒に発達した。計算機実験のために去年に買った64コアLinux計算機を使った。通常ならば解くのに１年かそれ以上に要する問題に対して、10倍から30倍の速度向上を達成した。
(2) Oliver FriedmannといっしょにCunninghamのピボットルールに関して共同研究を行った。その結果、パリティゲーム、マルコフ決定過程、単体法、そしてAUSOsに対する指数下界を得ることができた。これに関する論文を完成してMathematical Programmingを提出した。
(3) Hans Tiwaryと一緒にExtension complexityに関して共同研究を行った。その結果、平面キュービックグラフのサスペンションへの最大カット、部分和問題、そして３次元マッチングを含む多くの問題に対するExtension Complexityの指数下界を証明することができた。これに関する論文を執筆し、Mathematical Programmingに採択された。以上に加えて、2013年度における共同研究のための訪問研究者招聘と出張を以下の通り行った。（招聘研究者）氏名：William Cook, (Georgia Tech), 期間：2013年6月12日～20日（海外出張）氏名：David Avis（研究代表者） 用務先：GERAD, モントリオール(カナダ),
期間：2013年7月26日～9月30日, 用務：“Kyoto-Montreal Exchange” に参加
|
