[論文レビュー] On the Power of Randomization in Algorithmic Mechanism Design

Shahar Dobzinski, Shaddin Dughmi|ArXiv.org|Apr 27, 2009

Auction Theory and Applications参考文献 13被引用数 60

ひとこと要約

この論文は、ランダム化が、特に多ユニットオークションにおいて、真実性を持つメカニズムの力を顕著に高めることを示している。本論文は、制限付き多ユニットオークションにおける真実性の期待値を満たす最初のFPTASを提示し、このようなメカニズムが多項式時間内で任意に良い近似比を達成できることを証明している。これは、普遍的に真実性を持つメカニズムでは、ランダム化を用いても、指数的通信量の制約のため、不可能である。

ABSTRACT

In many settings the power of truthful mechanisms is severely bounded. In this paper we use randomization to overcome this problem. In particular, we construct an FPTAS for multi-unit auctions that is truthful in expectation, whereas there is evidence that no polynomial-time truthful deterministic mechanism provides an approximation ratio better than 2. We also show for the first time that truthful in expectation polynomial-time mechanisms are \emph{provably} stronger than polynomial-time universally truthful mechanisms. Specifically, we show that there is a setting in which: (1) there is a non-polynomial time truthful mechanism that always outputs the optimal solution, and that (2) no universally truthful randomized mechanism can provide an approximation ratio better than 2 in polynomial time, but (3) an FPTAS that is truthful in expectation exists.

研究の動機と目的

• ランダム化が真実性を持つアルゴリズムメカニズム設計における既知の制限を克服できるかどうかを調査すること。
• 多ユニットオークションにおいて、多項式時間で2未満の近似比を達成できる真実性を持つメカニズムが存在するかどうかという未解決問題に取り組むこと。
• 計算的設定において、真実性の期待値を満たすメカニズムと普遍的に真実性を持つメカニズムの間の強さの差を示すこと。
• 普遍的に真実性を持つメカニズムが多項式時間内で2未満の近似を達成できない制限付き多ユニットオークションにおける真実性の期待値を満たすFPTASを構築すること。
• 近似効率と通信量の観点から、真実性の期待値を満たすメカニズムが、普遍的に真実性を持つメカニズムよりも厳密に強力であることを示すこと。

提案手法

• 真実性の3つの概念を導入する：決定的、普遍的に真実性（決定的真実性メカニズムの確率分布）、真実性の期待値（入札を真実にすることで期待効用が最大化される）。
• 入札者が単一志向の評価値を持ち、特定の割り当てのみが許可される制限付き多ユニットオークションモデルを用いる。
• 定数個の入札者に対する既知のFPTASを変更し、許可された割り当てに制限するための修正された重み関数（r-weightε）を用いて、真実性の期待値を満たすFPTASを構築する。
• r-weightεで定義された構造化された割り当ての範囲上でランダム化ラウンディングを適用し、期待効用最大化により真実性の期待値を保証する。
• 集合の不一致問題に基づく通信量の下界を用いて、2未満の近似比を達成する普遍的に真実性を持つメカニズムは、指数的通信コストを要することを証明する。
• 範囲が大きく正の重みを持つアフィン最大化器は、その範囲のサイズtに対して少なくともtビットの通信量を要することを用いて、下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 メカニズム設計におけるランダム化は、真実性メカニズムの近似比に関する既知の下界を克服できるか？
• RQ2 真実性の期待値を満たすメカニズムが、近似比と実行時間の両面で、普遍的に真実性を持つメカニズムを上回る設定は存在するか？
• RQ3 普遍的に真実性を持つメカニズムが多項式時間内で2未満の近似を達成できない制限付き多ユニットオークションにおいて、真実性の期待値を満たすFPTASを構築できるか？
• RQ4 制限付き多ユニットオークションにおいて2未満の近似比を達成する普遍的に真実性を持つメカニズムの通信量の複雑さはどの程度か？
• RQ5 多項式時間設定において、真実性の期待値を満たすメカニズムは、普遍的に真実性を持つメカニズムよりも厳密に強力か？

主な発見

• 制限付き多ユニットオークションにおける真実性の期待値を満たすFPTASが存在し、log mと1/εに関して多項式時間で(1+ε)-近似を達成できる。
• 制限付き多ユニットオークションにおいて、普遍的に真実性を持つランダム化メカニズムは、多項式時間内で2−ε未満の近似比を達成できない。これは指数的通信量の制約によるものである。
• 普遍的に真実性を持つメカニズムの通信量の下界は、範囲が大きく正の重みを持つ任意のメカニズムが、その範囲のサイズtに対して少なくともtビットの通信量を要することに起因する。
• 真実性の期待値を満たすFPTASが存在する一方で、普遍的に真実性を持つメカニズムは多項式時間内で2未満の近似を達成できないため、両者の間には明確な強さの差が存在することが示された。
• 制限付き多ユニットオークションを最適に解く決定的真実性メカニズムが存在し、これは制限が計算効率に起因するものであり、実現可能性そのものではないことを示している。
• この結果により、近似と効率が制約される設定において、真実性の期待値を満たすメカニズムが、普遍的に真実性を持つメカニズムよりも厳密に強いことが証明された。