[论文解读] Polymatroid Prophet Inequalities

Paul Duetting, Robert Kleinberg|arXiv (Cornell University)|Jul 19, 2013

Auction Theory and Applications参考文献 16被引用 4

一句话总结

本文将 prophet 不等式推广至 polymatroid 约束，证明在子模容量约束下，在线算法可实现加权和期望最优值的一半。该方法将 polymatroid 问题简化为块结构的拟阵设置，从而使得 Kleinberg-Weinberg 算法在块内权重相关的情况下仍能保持 1/2-近似保证。

ABSTRACT

Consider a gambler and a prophet who observe a sequence of independent, non-negative numbers. The gambler sees the numbers one-by-one whereas the prophet sees the entire sequence at once. The goal of both is to decide on fractions of each number they want to keep so as to maximize the weighted fractional sum of the numbers chosen. The classic result of Krengel and Sucheston (1977-78) asserts that if both the gambler and the prophet can pick one number, then the gambler can do at least half as well as the prophet. Recently, Kleinberg and Weinberg (2012) have generalized this result to settings where the numbers that can be chosen are subject to a matroid constraint. In this note we go one step further and show that the bound carries over to settings where the fractions that can be chosen are subject to a polymatroid constraint. This bound is tight as it is already tight for the simple setting where the gambler and the prophet can pick only one number. An interesting application of our result is in mechanism design, where it leads to improved results for various problems.

研究动机与目标

• 将 prophet 不等式从拟阵推广至 polymatroid 约束，其中可行解由子模函数定义。
• 建立在线决策者（赌徒）在 polymatroid 可行性约束下，可实现加权和期望最优值至少一半的结论。
• 通过实现简单且近似最优的机制，弥合机制设计中的空白，适用于具有 polymatroid 可行性结构的问题。
• 开发一种约化技术，将 polymatroid 问题转化为具有块内相关但块间独立权重的等价块结构拟阵问题。
• 证明 Kleinberg-Weinberg 算法在块结构分布下依然有效，且保持 1/2-近似保证。

提出的方法

• 通过根据其边际贡献复制每个元素，将具有独立权重的 polymatroid 问题约化为块结构拟阵问题。
• 构建一个块结构拟阵，其中每个块对应原 polymatroid 中的一个元素，且块内所有元素具有相同的权重。
• 利用不同块之间权重独立，而同一块内权重完全相关的特性，对变换后的问题进行建模。
• 将 Kleinberg-Weinberg 算法应用于块结构拟阵，该算法基于期望最大值导出的阈值选择元素。
• 通过耦合论证和随机优势关系，证明变换后问题中在线算法的期望性能达到 1/2-近似界。
• 利用子模多面体的结构及顺序定价的性质，推导出机制设计应用中的收益保证。

实验结果

研究问题

• RQ1 prophet 不等式的 1/2-近似保证能否从拟阵推广至 polymatroid 可行性约束？
• RQ2 Kleinberg-Weinberg 算法在块结构分布下是否仍保持其性能保证，其中块内权重完全相同？
• RQ3 从 polymatroid 到块结构拟阵的约化是否在权重独立假设下保持 prophet 不等式界？
• RQ4 该结果对具有 polymatroid 约束的问题（如位置拍卖和空间市场）的机制设计有何影响？
• RQ5 能否在具有 polymatroid 约束的单参数贝叶斯设定下，设计出简单且策略无关激励相容的机制，并具备可证明的收益保证？

主要发现

• 本文建立了 polymatroid 约束下的 prophet 不等式：在子模容量约束下，该在线算法可实现加权和期望最优值的一半。
• 1/2-近似界是紧的，因为其与单次选择 prophet 不等式设定下的已知紧性一致。
• 从 polymatroid 到块结构拟阵的约化保持了 prophet 不等式界，使得现有算法可在新场景中应用。
• Kleinberg-Weinberg 算法原本针对独立权重设计，现证明其在每块内权重相同的块结构分布下依然有效。
• 在机制设计中，顺序定价可实现 polymatroid 单参数贝叶斯问题至少一半的最优收益。
• 该结果改进了先前对位置拍卖（如带保留价的 GSP）的界，并首次为在 polymatroid 约束下的空间市场提供了近似保证。