[論文レビュー] A Note on the Power of Truthful Approximation Mechanisms

Shahar Dobzinski|ArXiv.org|Jul 30, 2009

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

ひとこと要約

この論文は、非真実性のFPTASが存在するにもかかわらず、多項式時間の真実性のある決定的メカニズムがいかなる有界近似比を達成できない設定を示している。さらに、普遍的に真実性のある確率的メカニズムが2-近似を達成できることを示し、真実性のコストが無限大であり、この文脈において確率化が真実性メカニズムの能力を著しく向上させることを示している。

ABSTRACT

We study the power of polynomial-time truthful mechanisms comparing to polynomial time (non-truthful) algorithms. We show that there is a setting in which deterministic polynomial-time truthful mechanisms cannot guarantee a bounded approximation ratio, but a non-truthful FPTAS exists. We also show that in the same setting there is a universally truthful mechanism that provides an approximation ratio of 2. This shows that the cost of truthfulness is unbounded. The proofs are almost standard in the field and follow from known results.

研究の動機と目的

• 真実性メカニズムと非真実性アルゴリズムの近似設定における計算的制限を調査すること。
• 真実性のある決定的メカニズムと非真実性の多項式時間アルゴリズムの間の能力の差を確立すること。
• 確率化が真実性と非真実性の近似性能のギャップを埋められるかを検討すること。
• 特定のメカニズム設計設定において、真実性のコストが近似比の観点で無限大であることを示すこと。

提案手法

• 研究は、2人の入札者とm個の同一のアイテムを持つ拡張されたマルチユニットオークション設定を分析し、各入札者の評価関数が私的なピークポイントをもつほぼ単調なものである。
• この設定における真実性のある決定的メカニズムはすべてアフィン最大化器でなければならないことを証明し、課税原理と評価構造に依存する。
• 有界な近似比を持つ任意のアフィン最大化器は通信複雑度mを要するため、超多項式の通信量となり、結果として多項式時間では実現不可能であることを確立する。
• 評価値を(1+ε)の累乗に丸め、報告されたバンドルに対して全探索を行うことで、非真実性のFPTASを構築し、(1−1/(1+ε))-近似を達成する。
• ランダムに1人の入札者を選択し、全アイテムまたはピークまでに制限されたアイテムのうち最良のものを割り当てる普遍的に真実性のある確率的メカニズムを提案し、2-近似を達成する。
• 通信複雑性の議論と先行研究（例：NisanとSegal、DobzinskiとNisan）の既知の結果を用いて、真実性メカニズムの下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 非真実性のFPTASが存在するが、真実性のある決定的多項式時間メカニズムがいかなる有界近似比を保証できないような設定が存在するか？
• RQ2 真実性のある決定的メカニズムと非真実性アルゴリズムの能力のギャップが、近似比の観点で無限大であるか？
• RQ3 普遍的に真実性のある確率的メカニズムは、決定的真実性メカニズムが失敗する状況で有界な近似比を達成できるか？
• RQ4 確率化は、決定的メカニズムが失敗する状況において、真実性メカニズムの能力を著しく向上させるか？

主な発見

• 非真実性のFPTASが存在するが、真実性のある決定的多項式時間メカニズムがいかなる有界近似比を保証できないような設定—ほぼ単調な評価関数をもつ拡張されたマルチユニットオークション—が存在する。
• この設定における真実性のある決定的メカニズムはすべてアフィン最大化器でなければならない。このようなメカニズムは通信複雑度mを要するため、有界な近似比を達成する多項式時間解法は不可能である。
• ランダムに1人の入札者を選択し、2つの選択肢（全アイテムまたはピークまで）の最良のものを割り当てる普遍的に真実性のある確率的メカニズムが2-近似比を達成し、確率化が決定的制限を克服することを示している。
• 真実性のある決定的メカニズムと非真実性アルゴリズムの能力のギャップは無限大であり、この設定では真実性のある決定的メカニズムがいかなる有限の近似比も達成できない。
• 普遍的に真実性のある確率的メカニズムと決定的真実性メカニズムのギャップも無限大であり、前者は定数近似を達成するが、後者はいかなる有界比も保証できない。