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

1997 年度 実績報告書

離散凸解析の研究

研究課題

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

研究代表者

室田 一雄  京都大学, 数理解析研究所, 教授 (50134466)

研究分担者 降旗 大介  京都大学, 数理解析研究所, 助手 (80242014)
岩田 覚  大阪大学, 基礎工学部, 講師 (00263161)
キーワード離散最適化 / 凸解析 / マトロイド / アルゴリズム / 双対定理
研究概要

マトロイドの公理を拡張することにより,整数格子点上で定義された整数値をとる関数に対して離散凸関数とでも呼ぶべき概念が得られることが,本研究の開始時に明らかになっていた.連続世界の凸解析におけるルジャンドル変換の離散版を導入することによって,整数格子点上で定義された整数値関数に対して共役関数の概念が定義され,これによって,離散凸関数はM凸性,L凸性といういわば表と裏(数理計画の用語ではprimalとdual)の姿をもつ,M凸性は交換公理の拡張により,また,L凸性は劣モジュラ性の拡張により特徴付けられる.本研究では,以下の結果を得た.
1.L凸集合の多面体的な特徴付けを与えた.とくに,L凸集合が三角不等式を満たす距離関数と同等であることを示した.これは,M凸集合が劣モジュラ不等式を満たす集合関数と同等であるという(既知の)事実に対応する結果である.
M凸関数の実効定義域は基多面体であるが,これを,一般化ポリマトロイドの場合に定式化し直したものはM^〓凸関数と呼ばれる(M凸関数の射影がM^〓凸関数である).これに共役な操作(制限)をL凸関数に施したものをL^〓凸関数と名付け,その性質を調べた.これによって,従来の関連研究との関係が明らかとなった.とくに,L^〓凸関数がFavati-Tardellaによる整凸関数に一致すること,離散中点凸性により特徴付けられることを示した.
3.M凸関数,L凸関数に関する離散双対定理の原証明は,M凸関数に対して構成的に最適双対変数を与え,L凸関数に対してはその共役をとるという形であった.本研究では,M凸関数とL凸関数に関して,独立に多面体的な別証明を見いだした.その結果,整多面体と離散凸関数の関係が明確になった.

  • 研究成果

    (6件)

すべて その他

すべて 文献書誌 (6件)

  • [文献書誌] Kazuo Murota: "On the degree of mixed polynomial matrices" SIAM Journal on Matrix Analysis and Applications. (予定). (1998)

  • [文献書誌] Satoru Iwata: "A fast parametric submodular intersection algorithm for strong map sequences" Mathematics of Operations Research. 22・4. 803-813 (1997)

  • [文献書誌] Kiyohiro Ikeda: "Mode switching and recursive bifurcation in granular materials" Journal of Mechanical Physical Solids. 45・11/12. 1929-1953 (1997)

  • [文献書誌] Kazuo Murota: "Characterizing a valuated delta-matroid as a family of delta-matroids" Journal of the Operations Research Society of Japan. 40・4. 565-578 (1997)

  • [文献書誌] Kazuo Murota: "Fenchel-type duality for matroid valuations" Mathematical Programming. (予定). (1998)

  • [文献書誌] Kazuo Murota: "Discrete convex analysis" Mathematical Programming. (予定). (1998)

URL: 

公開日: 1999-03-15   更新日: 2016-04-21  

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

Powered by NII kakenhi