[论文解读] Truthful Mechanism Design for Multidimensional Covering Problems

Hadi Minooei, Chaitanya Swamy|arXiv (Cornell University)|Nov 14, 2012

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

一句话总结

本文提出了针对多维覆盖问题的首个期望 truthful 近似机制，具体针对无容量限制的设施选址（UFL）和顶点覆盖（VC）。针对 UFL，提出一种保持拉格朗日乘子的黑箱约简方法，结合拉格朗日乘子保持的近似算法，得到一个 2-近似、期望 truthful 的机制；针对 VC，提出一种基于分解的阈值机制，在一般图和排除子图闭包图上分别实现 $O(r^2ackepsilon n)$ 和 $O(rackepsilon n)$ 的近似比。

ABSTRACT

We investigate {\em multidimensional covering mechanism-design} problems, wherein there are $m$ items that need to be covered and $n$ agents who provide covering objects, with each agent $i$ having a private cost for the covering objects he provides. The goal is to select a set of covering objects of minimum total cost that together cover all the items. We focus on two representative covering problems: uncapacitated facility location (\ufl) and vertex cover (\vcp). For multidimensional \ufl, we give a black-box method to transform any {\em Lagrangian-multiplier-preserving} $ρ$-approximation algorithm for \ufl to a truthful-in-expectation, $ρ$-approx. mechanism. This yields the first result for multidimensional \ufl, namely a truthful-in-expectation 2-approximation mechanism. For multidimensional \vcp (\mvcp), we develop a {\em decomposition method} that reduces the mechanism-design problem into the simpler task of constructing {\em threshold mechanisms}, which are a restricted class of truthful mechanisms, for simpler (in terms of graph structure or problem dimension) instances of \mvcp. By suitably designing the decomposition and the threshold mechanisms it uses as building blocks, we obtain truthful mechanisms with the following approximation ratios ($n$ is the number of nodes): (1) $O(r^2\log n)$ for $r$-dimensional \vcp; and (2) $O(r\log n)$ for $r$-dimensional \vcp on any proper minor-closed family of graphs (which improves to $O(\log n)$ if no two neighbors of a node belong to the same player). These are the first truthful mechanisms for \mvcp with non-trivial approximation guarantees.

研究动机与目标

• 为解决多维覆盖问题，特别是采购拍卖中缺乏 truthful 近似机制的问题。
• 设计多项式时间、truthful 且近似最优的机制，用于无容量限制的设施选址（UFL）和顶点覆盖（VC），其中代理的代价为私有信息。
• 克服在多维设置下，代理拥有多个覆盖对象时 truthful 机制设计的挑战。
• 通过分解与阈值机制，首次为多维顶点覆盖提供非平凡的近似保证。
• 通过将过度支付控制在自然基准的范围内，确保良好的节俭性（frugality）比率。

提出的方法

• 提出一种从 truthful 机制设计到算法设计的黑箱约简方法，用于 UFL，将任意保持拉格朗日乘子的 $\rho$-近似算法转化为一个期望 truthful 的 $\rho$-近似机制。
• 应用先前工作中提出的凸分解技术，确保在保持近似保证的同时，实现期望 truthful。
• 为多维顶点覆盖设计一种分解框架，将问题分解为在具有有界邻域结构的二分图上的子问题。
• 为子问题设计阈值机制，使得每个代理的决策仅依赖于局部信息，从而保证 truthful。
• 通过图的分层分解，基于稀疏性和维度来界定近似比。
• 通过将支付与基准 $\nu(G,c)$ 关联，建立节俭性界限，表明机制的过度支付与邻居权重与节点权重的最大比值成正比。

实验结果

研究问题

• RQ1 能否开发一种黑箱约简方法，将任意保持拉格朗日乘子的 UFL 近似算法转化为期望 truthful 机制？
• RQ2 顶点覆盖实例的何种结构特性使得能够设计出具有非平凡近似保证的 truthful 分解机制？
• RQ3 在多维顶点覆盖中，如何基于图的稀疏性和维度来界定近似比？
• RQ4 能否在不依赖 VCG 风格机制（对 NP-难问题计算上不可行）的前提下，为多维覆盖问题构造 truthful 机制？
• RQ5 在顶点覆盖的 truthful 机制中，近似比与节俭性比值之间存在何种关系？

主要发现

• 通过从任意 LMP $\rho$-近似算法出发的黑箱约简，为多维无容量限制设施选址实现了期望 truthful 的 2-近似机制。
• 对于一般图上的 $r$-维顶点覆盖，通过分解与阈值机制构建了 $O(r^2\backepsilon n)$-近似、truthful 的机制。
• 在任意真子图闭包图族上，$r$-维顶点覆盖实现了 $O(r\backepsilon n)$-近似、truthful 的机制，对于 3-跳远实例可进一步优化至 $O(\backepsilon n)$。
• 机制实现了良好的节俭性比率，其中一般 $r$-维 VC 的 $\phi = O(r^2\backepsilon n \cdot \Delta(G))$，稀疏图的 $\phi = O(r\gamma\backepsilon n)$。
• 分解方法确保了即使节点由多个代理拥有，阈值机制仍保持 truthful，原因在于阈值对局部信息的依赖性。
• 本研究首次为多维顶点覆盖建立了非平凡的 truthful 近似机制，填补了该领域的重要空白。