[論文レビュー] Truthful Mechanism Design for Multidimensional Covering Problems

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

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

ひとこと要約

本稿は、容量制限なし施設配置問題（UFL）および頂点被覆問題（VC）に対する、初めての期待値に真実性を満たす近似手法を提示する。UFLに対しては、ラグランジュ乗数を保つ近似アルゴリズムを用いたブラックボックス還元を導入し、2-近似の期待値に真実性を満たすメカニズムを達成する。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.

研究の動機と目的

• 入札オークションを含む、多次元被覆問題における真実性を満たす近似メカニズムの不足を解消すること。
• 私的代理コストを伴う、容量制限なし施設配置問題（UFL）および頂点被覆問題（VC）に対して、多項式時間、真実性、かつ近似的最適なメカニズムを設計すること。
• エージェントが複数の被覆対象を所有する多次元設定における真実性メカニズム設計の課題を克服すること。
• 分解としきい値メカニズムを用いて、多次元頂点被覆問題に対する初めての非自明な近似保証を提供すること。
• 自然なベンチマークに対する過剰支払いを制限することで、良好なフリーガリティ比を確保すること。

提案手法

• UFLにおける真実性メカニズム設計からアルゴリズム設計へのブラックボックス還元を提案し、任意のラグランジュ乗数を保つ$\rho$-近似アルゴリズムを、期待値に真実性を満たす$\rho$-近似メカニズムに変換する。
• 先行研究の凸分解技術を応用し、近似保証を保持したまま期待値に真実性を満たすことを保証する。
• 次数が有界な近接構造を持つ二部グラフにおける部分問題に分割する、多次元頂点被覆のための分解フレームワークを構築する。
• 各エージェントの意思決定が局所的情報にのみ依存する部分問題用のしきい値メカニズムを設計し、真実性を保証する。
• グラフのスパarsityと次元性に基づいて近似比を制限するため、階層的分解を用いる。
• 支払いをベンチマーク$\nu(G,c)$に関連付けることでフリーガリティの上限を確立し、メカニズムの過剰支払いが隣接辺の重みとノード重みの最大比に比例することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のラグランジュ乗数を保つUFL用近似アルゴリズムを、期待値に真実性を満たすメカニズムに変換するブラックボックス還元を構築できるか？
• RQ2 頂点被覆インスタンスにどのような構造的性質が存在すれば、非自明な近似保証を持つ真実性を満たす分解ベースメカニズムを設計できるか？
• RQ3 多次元頂点被覆において、近似比をグラフのスパarsityと次元性の観点からどのように制限できるか？
• RQ4 NP困難な問題において計算的に非現実的なVCG型メカニズムに依存せずに、多次元被覆問題用の真実性メカニズムを構築できるか？
• RQ5 真実性メカニズムにおける近似比とフリーガリティ比の関係は何か？

主な発見

• 任意のLMP$\rho$-近似アルゴリズムをブラックボックス還元により用いることで、多次元容量制限なし施設配置問題に対して、期待値に真実性を満たす2-近似メカニズムを達成した。
• 一般のグラフにおける$r$-次元頂点被覆に対して、分解としきい値メカニズムを用いて、真実性を満たす$O(r^2\backepsilon n)$-近似メカニズムを構築した。
• 任意の正当なマイナー閉じたグラフ族において、$r$-次元頂点被覆に対して、真実性を満たす$O(r\backepsilon n)$-近似メカニズムを達成した。3ホップ以上離れたインスタンスでは$O(\backepsilon n)$に改善された。
• メカニズムは良好なフリーガリティ比を達成し、一般の$r$-次元VCでは$\phi = O(r^2\backepsilon n \cdot \Delta(G))$、スパarsなグラフでは$\phi = O(r\gamma\backepsilon n)$となった。
• 分解法により、ノードが複数のエージェントに所有されていても、しきい値の局所的依存性のおかげで、しきい値メカニズムが真実性を保つことが保証された。
• 本研究は、多次元頂点被覆問題に対する初めての非自明な真実性近似メカニズムを確立し、文献における重要な空白を埋めた。