| 研究概要 |
研究計画の通り、我々の2012年度の目標は以下の通りであった。(1)頂点列挙プログラムlrsの64-コア実験
(2)Cunninghamのピボットルールの指数的下界(3)Extension complexityの指数的下界
(1)2013年2月18日に、逆探索木を切り取る新しいコードなどいくつかの改良点を含むplrs 5.0をリリースした。計算機実験のための64コアLinux計算機を購入した。通常ならば解くのに1年かそれ以上に要する問題に対して、10倍から30倍の速度向上を達成した。
(2)Oliver Friedmannを4月8日から4日29日まで招聘し、Cunninghamのピボットルールに関して共同研究を行った。
その結果、パリティゲーム、マルコフ決定過程、単体法、そしてAUSOsに対する指数下界を得ることができた。これに関する論文は現在執筆中である。
(3)Hans Tiwaryを10月1日から11月30日まで招聘し、Extension complexityに関して共同研究を行った。その結果、平面キュービックグラフのサスペンションへの最大カット、部分和問題、そして3次元マッチングを含む多くの問題に対するExtension Complexityの指数下界を証明することができた。これに関する論文を執筆し、ICALP2013に採択された。
以上に加えて、2012年度における共同研究のための訪問研究者招聘と出張を以下の通り行った。(招聘研究者)氏名:William Cook(Georgia Tech),期間:2012年6月16日～26日
(海外出張)氏名:David Avis(研究代表者)用務先:GERAD,モントリオール(カナダ),
期間:2011年7月24日～9月30日,用務:"Kyoto-Montreal Exchange"に参加
|
