关于一类集函数系统的全对偶整性的一个充要条件.pdfVIP

一 九九一年 华东师范大学学报(自然科学版) No．4 第四期 JournalofEastChinaNornalUniversity (NaturalSelen~e) 1卿 1 关于一类集函数系统的全对偶整性 的一个充要条件 昊 伟 良 (敦学系) 提 要 设 是有限集，，是定义在 的子集上的实值函数。文章提出了离散 凸函数的概念 并期 出线性系统 ( ≤，(T)，T￡ 是全对偶整性 《【4])的充要条件是，的~Dilworth”开拓 是 离散 凸函敦。 关键调：凸性 全对偶整性 次模 函数 中圈分类号：0174 众所周知，很多组合最优化模型 中的集函数是次模函数 ([1]，[2])。但是，还有相当 多的集函数没有砍模性。 因此 Lov~z在 [1]中间道：“……是否有更适当的～类集函数 能 比砍模函数容纳那些熟知的定理?”。作为一种回答，在本文中，提出了离散凸函数的概 念，并对于定义在有限集 的全部子集上的，或子集组成的分配格 ([1]，[2])上的集函数 ，的如下系统： ∞() ， ) 对全部 其中 ∈丑，(2：；蓦 ( 我们指出了此系统具有全对偶整性( ，[4】)的充要条 件是 ，的 “Dilworth开拓 是离散凸函数。 1．离散 凸 函 数 设 D是 丑 中有限个非负整 向量组成的集合。称正D 丑为D上的离散函数，由凸 分析 (口0]，定理 22．1)知，系统： ． 《，() 对全部 ∈D 必有解，其中 ∈丑 ，(，)表示向量 与 的内积。 定义l 设工D÷盘，多面体PJ={ ∈丑 『(，习 ≤，()，T6D)定义oof．．D 丑 为：VT∈D，∞f( 一m {(，∞)『∈珊 ，称eof为，的离散凸包。若， cof,则称，是 (D上的)离散凸函数。(注意，~ofA又P，≠ ，故e D 丑可定义)。 命题 1 oof是 D上的离散凸函数，并且 只。f—PJ 证明 令g=eof,PJ一如∈丑 『， 《()T∈D)。由定义~ofL所以 PJ。 本文于 1989年 6月收剐． 华东师范大学学报 (自然科学版) 1991年 第 4期 反之任取 ∈ 对每个 ∈D，应有t ，)cof(T)一 (T)，所 以 ∈P口 因此有PⅢ一 — 日。故得V ∈D，cog(T)一roax((T，∞)lEP 一max{(T，)l∈Pt}一 (T)。】 当 D上 的离散函数 ，满足： VT∈D，TiED，d≥0 (—1，2，…，)， 若 T=∑ Tb则 {’ 1 ，(T)≤∑ f(T)。 ‘ 1 就称，在 D上是广义次可加的。可给出离散凸的等价定义。 命题 2 ，在D 上是离散凸的充分必要条件是 ，在D上是广义砍可加的。 证明 “必要性”设 T∈D， ∈D， ≥‘0，( 1，2…孟)，T=∑ T．J因，是离 散凸的，可设有 ∈Pf，(T，矿)一，(T)。即得 ，(T)一∑vk(T,， )≤ ∑a~f(T)。 … ～ 再证 “充分性”由线性规划对偶定理，对于每个 ∈D有 cof(T)一max{(T )l( ，)≤，()，T ∈D) ~I]2ilI{∑Z(T ，( )l∑ (T)T一T， (T)≥0)≥，(T)