| 研究課題/領域番号 |
17K00029
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
平井 広志 東京大学, 大学院情報理工学系研究科, 准教授 (20378962)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2020-03-31
|
| キーワード | 離散凸解析 / 劣モジュラ最適化 / 多項式時間アルゴリズム / 代数的アルゴリズム / CAT(0)空間 |
|---|
| 研究実績の概要 |
本研究課題において重要な位置を占めるベクトル部分空間のなす無限モジュラ束上の劣モジュラ最適化問題である最大消滅部分空間問題(MVSP)の最適値は，線形変数行列の非可換ランクと呼ばれるものと一致することがわかった．非可換ランクに関しては，近年重要な結果が得られており，これらをサーベイし，理解に努めた．
パフィアンから符号を除いて定義されるハフニアンを固定されたkに対しmodulo 2^kで計算する多項式時間アルゴリズムを開発し，これを用いてあるクラスの最短長点素パス問題に対し多項式時間アルゴリズムを与えた．この結果をまとめた論文"Shortest (A+B)-path packing via hafnian"(難波博之との共著)がAlgorithmica誌にアクセプトされた．メディアングラフを一般化した弱モジュラグラフと呼ばれる広大なグラフクラスと非正曲率空間の関連を論じた論文"Weakly modular graphs and nonpositive curvature"(V. Chepoi, J. Chalopin, D. Osajdaとの共著)がMemoirs of AMS誌にアクセプトされた．ランクが１のブロックからなる分割行列のDM分解を計算する多項式時間アルゴリズムを与えた論文"Computing DM-decomposition of a partitioned matrix with rank-1 blocks"がLinear Algebra and Its Applications誌に採択された．解説文「CAT(0)空間上のアルゴリズムと最適化について」が電子情報通信学会誌に採録された．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
論文も順調に執筆し，出版されているので，順調であるといえる．
|
| 今後の研究の推進方策 |
前年度明らかになったMVSPと非可換ランクとの関連を理解・習得につとめる．非可換ランク計算のアルゴリズムを行列式の次数計算へと一般化する．これに関連する離散凸関数について考察し，必要なら新しく導入する．
|
| 次年度使用額が生じた理由 |
587円余ったのは，使い切る予定であったが軽微な手違いをしてしまったためで，今年度の文具の補充にあてる．
|
