• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2011 年度 実施状況報告書

離散凸性を持つ組合せ最適化問題に対する高速なアルゴリズムの設計

研究課題

研究課題/領域番号 23700016
研究機関京都大学

研究代表者

高澤 兼二郎  京都大学, 数理解析研究所, 助教 (10583859)

研究期間 (年度) 2011-04-28 – 2014-03-31
キーワード組合せ最適化 / 国際情報交流 / フランス
研究概要

本年度は,重み付きマッチング森に関する成果 (下記 [1]) が査読付き国際会議 The 15th Conference on Integer Programming and Combinatorial Optimization に採択された.重み付きマッチング森問題についてはこれまでに多項式時間アルゴリズムが知られていたが,本研究では重み付きマッチング森が付値デルタマトロイドと呼ばれる離散凸構造を持つことを証明し,それに基いたアルゴリズムの単純化を行った.さらに,既存のアルゴリズムの高速化を行った.また,最短双有向森 (shortest bibranching) 問題に対する成果 (下記 [2]) を発表した.最短双有向森問題に対してはやはり多項式時間アルゴリズムが知られていた.本研究では,双有向森が付値マトロイドや M 凸関数といった離散凸性を持つことを見出し,本問題が付値マトロイド交わり問題の枠組に入ることを証明した.[1] K. Takazawa: Optimal Matching Forests and Valuated Delta-Matroids. Proceedings of the 15th Conference on Integer Programming and Combinatorial Optimization, Lecture Notes in Computer Science 6655, 2011, pp. 404-416. [2] K. Takazawa: Shortest Bibranchings and Valuated Matroid Intersection. Japan Journal of Industrial and Applied Mathematics, to appear.

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

本年度は,多項式時間可解性が知られている問題に対しその問題が持つ離散凸性を見出すということを,重み付きマッチング森問題と最短双有向森問題に対して行った.離散凸性に注目することにより,重み付きマッチング森問題に対しては既存のアルゴリズムの単純化に成功し,また,高速化を行うことが出来た.最短双有向森問題に対しては,付値マトロイド交わり問題という性質の良い問題のクラスに含まれることを証明し,付値マトロイド交わり問題に対する汎用的なアルゴリズムを用いた新たな組み合わせ的アルゴリズムを導出した.これらの成果は本研究が目的としていたものである.組合せ最適化問題が持つ離散凸性を見出し,離散凸解析の汎用的な理論を具体的な問題に適用することによって,以上の成果を得ることが出来た.

今後の研究の推進方策

今後は,多項式時間可解性が知られている組合せ最適化問題に対してその離散凸構造を見出すという方向性の他に,離散凸構造が明らかになっているにも関わらず計算複雑度が知られていない問題に対しても研究を進めていく.まず,マッチング森の一般化を扱う.現在までに見出したマッチング森が持つ離散凸性を継承するようなマッチング森問題の自然な一般化を与え,その問題に対するアルゴリズムの設計を行う.さらに,枝数が k 以下の閉路を含まない 2-因子を求める問題を扱う.本問題は,k = 4 で重みなしの場合,および k = 3 で重み付きの場合が未解決であり,さらに,両方の場合において離散凸性を持つことが明らかにされている.このことに基づき,以上の問題に対して多項式時間可解性を示すという方向で計算複雑度を明らかにすることを目指す.

次年度の研究費の使用計画

研究成果の発表および情報収集・人的交流を目的とした旅費,計算機の購入,離散最適化関連の図書の購入に主に用いる.また,次年度よりフランスに滞在するため,国際交流を目的とした出張が増えることを見込み,次年度使用額を残してある.

  • 研究成果

    (7件)

すべて 2012 2011 その他

すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (2件) 備考 (2件)

  • [雑誌論文] The Weighted Independent Even Factor Algorithm2012

    • 著者名/発表者名
      K. Takazawa
    • 雑誌名

      Mathematical Programming, Series A

      巻: 132 ページ: 261-276

    • DOI

      10.1007/s10107-010-0397-z

    • 査読あり
  • [雑誌論文] Shortest Bibranchings and Valuated Matroid Intersection2012

    • 著者名/発表者名
      K. Takazawa
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: -- ページ: to appear

    • 査読あり
  • [雑誌論文] A Proof of Cunningham's Conjecture on Restricted Subgraphs and Jump Systems2012

    • 著者名/発表者名
      Y. Kobayashi, J. Szabo, K. Takazawa
    • 雑誌名

      Journal of Combinatorial Theory, Series B

      巻: published online ページ: --

    • DOI

      10.1016/j.jctb.2012.03.003

    • 査読あり
  • [学会発表] Optimal Matching Forests and Valuated Delta-Matroids2011

    • 著者名/発表者名
      K. Takazawa
    • 学会等名
      The 15th Conference on Integer Programming and Combinatorial Optimization
    • 発表場所
      New York, USA
    • 年月日
      2011年6月15日
  • [学会発表] マッチング森とデルタマトロイド2011

    • 著者名/発表者名
      高澤兼二郎
    • 学会等名
      離散幾何解析セミナー(招待講演)
    • 発表場所
      京都大学
    • 年月日
      2011年5月27日
  • [備考]

    • URL

      http://www.kurims.kyoto-u.ac.jp/~takazawa/index_j.html

  • [備考]

    • URL

      http://www.kurims.kyoto-u.ac.jp/ja/list/takazawa.html

URL: 

公開日: 2013-07-10  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi