[论文解读] Advances on Matroid Secretary Problems: Free Order Model and Laminar Case

Patrick Jaillet, José A. Soto+1 more|arXiv (Cornell University)|Jul 5, 2012

Optimization and Search Problems参考文献 18被引用 4

一句话总结

本文提出了一种针对自由顺序模型下拟阵秘书问题的4-竞争算法，其中元素的到达顺序可由算法选择，标志着首个针对对抗性权重分配变体的常数竞争算法。此外，通过将问题约化为划分拟阵，该文还提出了一种显著更简单且更强的3√3e ≈ 14.12-竞争算法，适用于层状拟阵，该方法具有顺序无关性，并由此推导出一个常数竞争的单样本预言者不等式。

ABSTRACT

The most well-known conjecture in the context of matroid secretary problems claims the existence of a constant-factor approximation applicable to any matroid. Whereas this conjecture remains open, modified forms of it were shown to be true, when assuming that the assignment of weights to the secretaries is not adversarial but uniformly random (Soto [SODA 2011], Oveis Gharan and Vondrák [ESA 2011]). However, so far, there was no variant of the matroid secretary problem with adversarial weight assignment for which a constant-factor approximation was found. We address this point by presenting a 9-approximation for the \emph{free order model}, a model suggested shortly after the introduction of the matroid secretary problem, and for which no constant-factor approximation was known so far. The free order model is a relaxed version of the original matroid secretary problem, with the only difference that one can choose the order in which secretaries are interviewed. Furthermore, we consider the classical matroid secretary problem for the special case of laminar matroids. Only recently, a constant-factor approximation has been found for this case, using a clever but rather involved method and analysis (Im and Wang, [SODA 2011]) that leads to a 16000/3-approximation. This is arguably the most involved special case of the matroid secretary problem for which a constant-factor approximation is known. We present a considerably simpler and stronger $3\sqrt{3}e\approx 14.12$-approximation, based on reducing the problem to a matroid secretary problem on a partition matroid.

研究动机与目标

• 为拟阵秘书问题的自由顺序模型设计一个常数竞争算法，其中元素的到达顺序由算法控制，即使在对抗性权重分配下亦成立。
• 针对经典拟阵秘书问题中受限于层状拟阵的情形，通过更简洁优雅的方法显著改进竞争比，超越此前复杂的16000/3-竞争算法。
• 为层状拟阵设计一个顺序无关的算法，从而可直接转化为常数竞争的单样本预言者不等式算法。
• 通过一种新颖的约化方法将层状拟阵问题转化为划分拟阵，从而简化现有方法的复杂度。

提出的方法

• 自由顺序模型算法采用一种随机策略，通过选择最优的到达顺序以最大化期望竞争比，利用元素在序列中相对于最优解位置的概率分析。
• 对于层状拟阵，该方法通过基于其分层结构对元素进行分组，将问题约化为划分拟阵，从而实现更简单的选择规则。
• 关键组件是引入一个随机变量 q = 1/√3，用于在分析中平衡概率，以最大化竞争比估计量的期望值。
• 分析采用对不相交事件（E_{s,t}）的条件期望界，用于追踪序列中元素与最优解的距离。
• 算法使用一个势函数 Z(f_{i_r})，定义为特定子集中最优元素数量的倒数，用于界定期望性能。
• 证明依赖于对 Z(f_{i_r}) 在不同事件类型下的条件期望进行有界处理，从而导出整体期望竞争比的下界。

实验结果

研究问题

• RQ1 能否为对抗性权重分配下的拟阵秘书问题自由顺序模型设计一个常数竞争算法？
• RQ2 能否通过比先前16000/3-竞争方法更简洁优雅的手段，显著改进层状拟阵秘书问题的竞争比？
• RQ3 能否为层状拟阵设计一个顺序无关的算法，同时也能导出一个常数竞争的单样本预言者不等式？
• RQ4 在分析中，使期望竞争比下界最大的参数 q 的最优值是什么？

主要发现

• 本文提出了一种针对自由顺序模型的4-竞争算法，这是首个针对任何对抗性权重分配变体的拟阵秘书问题的常数竞争算法。
• 对于层状拟阵，作者实现了3√3e ≈ 14.12-竞争算法，显著优于此前16000/3 ≈ 5333.33的竞争比。
• 新的层状拟阵算法具有顺序无关性，因此可直接转化为单样本预言者不等式的3√3e-竞争算法。
• 分析证明了竞争比估计量 Z(f_{i_r}) 的期望值至少为 1/(3√3)，从而导出最终的竞争比界。
• 最优参数选择 q = 1/√3 能够最大化表达式 q(1 - q²)/2，该表达式是下界推导的核心。
• 该方法通过将层状拟阵问题约化为划分拟阵，简化了先前的方法，使得分析更加清晰且更具普适性。