離散凸解析の研究

离散凸分析研究

• 批准号: 09874046
• 负责人: 室田 一雄
• 金额: $ 0.64万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09874046/
• 关键词: 離散最適化; 凸解析; マトロイド; アルゴリズム; 双対定理

マトロイドの公理を拡張することにより,整数格子点上で定義された整数値をとる関数に対して離散凸関数とでも呼ぶべき概念が得られることが,本研究の開始時に明らかになっていた.連続世界の凸解析におけるルジャンドル変換の離散版を導入することによって,整数格子点上で定義された整数値関数に対して共役関数の概念が定義され,これによって,離散凸関数は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凸関数に関して,独立に多面体的な別証明を見いだした.その結果,整多面体と離散凸関数の関係が明確になった.

マ ト ロ イ ド の axiom を company, zhang す る こ と に よ り, integer grid point で definition さ れ た integer numerical を と る masato number に し seaborne て discrete number of convex masato と で も shout ぶ べ き concept が have ら れ る こ と が, at the beginning of this study の に Ming ら か に な っ て い た. Even 続 の world convex analytical に お け る ル ジ ャ ン ド ル variations in の discrete version を import す る こ と に よ っ て, integer grid point で definition さ れ た integer numerical masato に し seaborne て total number of existing masato の が definition さ れ, こ れ に よ っ て, number of discrete protruding masato は M convexity, L convexity と い う い わ と ば table (mathematical program の language で は primal と dual The <s:1> pose を を また, the M convexity <s:1> commutative axiom 拡 拡 zhang によ,また, the L convexity <s:1> inferior モジュラ property 拡 拡 zhang によ によ, and the feature けられる. The result of this study で は, the following の を た. 1. L convex set の polyhedron of な 徴 pay け を and え た. と く に, L convex set が triangle inequality を against た masato several と equally で す distance あ る こ と を shown し た. こ れ は, M convex set が substandard モ ジ ュ ラ inequality を against た す set number of masato と equal で あ る と い う (know の) things be に 応 seaborne す で る results あ る. M number of convex masato の be sharper domain は base polyhedron で あ る が, こ れ を, generalized ポ リ マ ト ロ イ ド の occasions に demean し straight し た も の は M ^ 〓 convex masato number と shout ば れ る number (M convex masato の projective が M ^ 〓 convex masato number で あ る). こ れ に な total service operation (limit) を number L convex masato に shi し た も の を L ^ 〓 convex masato number と pay け, そ の Qualitative を adjustable べ た. こ れ に よ っ て, 従 to の masato even study と の masato が and Ming ら か と な っ た. と く に, L ^ 〓 convex masato number が Favati - Tardella に よ る whole convex masato consistent in に す る こ と, discrete midpoint convex に よ り 徴 especially pay け ら れ る こ と を shown し た. 3 M convex masato number, number L convex masato に masato す る discrete double polices の original theorem Prove は, M number of convex masato に し seaborne て in the composition of the optimal number of double - seaborne を に and え, L number of convex masato に し seaborne て は そ の altogether "を と る と い う form で あ っ た. This study で は, M convex masato number と L convex masato に masato し て, independent に polyhedron な don't prove を see い だ し た. そ の as a result, the whole polyhedron と discrete number of convex masato の masato is が clear に な っ た.