求解下模福利问题的一种随机算法及其性能保证.pdfVIP

第 30卷 第 1期 兰 州 交 通 大 学 学 报 Vo1．3ONo．1 2011年 2月 JournalofLanzhouJiaotongUniversity Feb．2011 文章编号：1001—4373 2011 01—0139—03 求解下模福利问题的一种随机算法及其性能保证 李小平， 雷习军， 赵杏利， 何尚录 兰州交通大学 数理与软件工程学院，甘肃 兰州 730070 摘 要：给出了求解下模福利问题最大值的一种随机算法，并证明了所给算法的性能保证为 1一e一． 关键词：下模福利 问题：下模集函数；近似算法；性能保证 中图分类号：0224 文献标志码：A 0 引言 1 看作基约束条件下下模集函数最大值的一种推 广，结合部分穷举法与贪婪算法给出了性能保证为 设X一 1，2，…，m ，若函数 f：2 一R满足： l—e 的近似算法．本文给出了在 ValueOracle 对 VS，TcX，， S +-厂 丁 ≥ f SUI、 + ／ Sn Model下的求解问题 1 一种随机算法，并证明了其 了、 ，则称 厂是下模集函数，若对 VS T X，有 性能保证为 1一 ～，该算法较文献E2]中给出的一 ， S ≤厂 了、 ，则称 厂是单调非减的．关于下模集函 般拟 阵约束下的算法简单，并且避免了Pi 数的详细资料可参阅文献E1]．下模福利问题的一般 Rounding[7]，是求解该问题的一种有效算法．所谓 描述为：设有m个项 目，其编号分别为 1，2，…， 欲 性能保证是指，若由近似算法所求近似解至少是精 将这m个项 目分配给 个投标者，已知项 目的不同 确解的a倍，则称此近似算法的性能保证为 a． 组合 S X分配给第 i个投标者获取的利润为 ． 厂 S ，问应将这m个项 目怎样分配给这 个投标 1 算法及其分析 者才能使得总的获利最大． 1．1 算法设计的基本思想 为了解决该问题，设 X一 l，2，…，m ，fi：2 通过贪婪算法输出一个小数解 p ，它表示第 i 一 为非负单调非减的下模集函数，则可建立该 问 个投标者接受 个项 目的程度，显然，对每一个项 目 ‘ 题的数学模型为 有 户 一 1．设R表示以概率P—P#包含项 目 1 m ax ∑f／ s 一 1 J的随机投标者集合，则问题 1 的 目标可以化为求 ，1、 fS】U S2U … U S 一X 以下期望值的最大值： lS nS ，≠J F p E[ R ] 该问题可以看作是拟阵约束下下模集函数最大 1 值问题的一种特例_2]，所 以该问题属于NP一难 问 这里的小数解 P 可以通过在单位时间内连续 的运行贪婪算法从而找到最优的值来获得，设在时 题，没有十分有效的求解方法，特别是多项式时间算 法，于是人们退其次而求之，主要研究求解此类问题 刻t∈[O，1]，得到的小数解为 f ．以P O 一0 开始，在时刻 t，如果第 ， f 个投标者对项 目 的边 的比较有效的近似算法．Lehmann等在文献E3]中 际收益期望E[ R U ～ R ￡ ] 这里 首次研究了该类问题，给出了性能保证为去的简单 R ￡ 是以概率户一 f ￡ 包含项 目 的随机投标者 贪婪算法；后来Dobzinski等在文献E4]中给出了一 集合 最大，则给户j ￡ 的第 j ￡ 个分量增加一个 种性能保证为 1一e-一的近似算法，随后 Feige等在 单位．这时，第 i 个投标者称为在时刻 t时项 目 文献[5]中对其进行了改进，然而这些算法都是在 的首选中标者．为了在多项式时间内完成该过程，将 DemandOracleModel下设计的．文献 [6]将问题 时间段分为长度为 的有限段，不妨取 一 1／m ． 收稿 日期：2010—09—15 作者简介：李小平 1986一 ，男，甘肃临洮人，硕士生 140 兰 州 交 通 大 学 学 报 第 3O卷 最后以概率P—P 将项 目 分配给第 个投标 令F p 一∑E仁 R ]，其中：R是以概率P—Po 者． 1．2 具体算法 包含项 目 的随机投标者集合，则有 Stepl 取 一1／m。．以t 0开始，对所有的i， F 户 ≥ 1一 1一 。 1 OPT ，置 Pd 0 一 0； 证明 对每一个项 目 ，算法在每一步都增加 Step2 对所有的 ，，通过重复 rnn 次独立 样本来估计第 i个投标者对项 目 的边际收益期望 了投标者i的概率值pd，因此，每一步∑户的值增 厂 ￡ 一E[ R f U J 一 R f ] Ste03 对每一个项 目J，设它的首选中标者为 加 ，最后∑Po一1． 第 i 个投标者，即 由于 是单调非减的