[論文レビュー] On Budget-Feasible Mechanism Design for Symmetric Submodular Objectives

Georgios Amanatidis, Georgios Birmpas+1 more|arXiv (Cornell University)|Apr 23, 2017

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

ひとこと要約

本稿では、対称的で単調でないサブモジュラーオブジェクティブ（特にバジェット付き最大カット問題を含む）に対する、初めての決定的で真実性を保ち、かつバジェット制約を満たすメカニズムを提示する。アルゴリズム的問題に対しては $rac{2e}{e-1}$-近似を達成し、メカニズム設計においては定数乗近似を得る。局所探索を用いて単調領域を同定し、単調サブモジュラー関数に関する既知の結果と組み合わせることで、先行研究より優れた近似比を達成する多項式時間メカニズムを実現する。

ABSTRACT

We study a class of procurement auctions with a budget constraint, where an auctioneer is interested in buying resources or services from a set of agents. Ideally, the auctioneer would like to select a subset of the resources so as to maximize his valuation function, without exceeding a given budget. As the resources are owned by strategic agents however, our overall goal is to design mechanisms that are truthful, budget-feasible, and obtain a good approximation to the optimal value. Budget-feasibility creates additional challenges, making several approaches inapplicable in this setting. Previous results on budget-feasible mechanisms have considered mostly monotone valuation functions. In this work, we mainly focus on symmetric submodular valuations, a prominent class of non-monotone submodular functions that includes cut functions. We begin first with a purely algorithmic result, obtaining a $\frac{2e}{e-1}$-approximation for maximizing symmetric submodular functions under a budget constraint. We view this as a standalone result of independent interest, as it is the best known factor achieved by a deterministic algorithm. We then proceed to propose truthful, budget feasible mechanisms (both deterministic and randomized), paying particular attention on the Budgeted Max Cut problem. Our results significantly improve the known approximation ratios for these objectives, while establishing polynomial running time for cases where only exponential mechanisms were known. At the heart of our approach lies an appropriate combination of local search algorithms with results for monotone submodular valuations, applied to the derived local optima.

研究の動機と目的

• 非単調で、カット関数や相互情報量などの重要なケースを含む、対称的サブモジュラー目的関数に対する真実性を保ち、バジェット制約を満たすメカニズムの設計を目的とする。
• 標準のVCGメカニズムが失敗する、インcentive-compatibleかつ硬直的なバジェット制約を満たすメカニズムの設計という課題に取り組む。
• 特にバジェット付き最大カット問題に対して、多項式時間で実行可能であり、定数乗近似比を達成するという点で、先行研究を改善することを目的とする。
• バジェット制約下での対称的サブモジュラー最大化のアルゴリズム的結果を拡張し、$\frac{2e}{e-1}$-近似要因を達成することを目的とする。
• 非単調サブモジュラー関数内に存在する単調部分構造を同定するための局所探索技術のメカニズム設計への適用可能性を検討することを目的とする。

提案手法

• 局所最適でコストが有界な部分集合 $S^*$ を特定する局所探索アルゴリズムを用いることで、予算制約内に収まるように保証する。
• 局所最適解に対して変換を施し、制限された定義域上での単調サブモジュラー関数を導出することで、単調関数に対する既知の真実性メカニズムの適用を可能にする。
• 加法的メカニズムと確率的選択ルールを組み合わせ、より優れた近似保証を得る真実性・バジェット制約を満たすメカニズムを構築する。
• 確率的に調整された割合で、1人の高価値エージェントを単独選択するか、局所探索で得られたエージェント集合を選択するハイブリッドメカニズムを採用し、期待性能とバジェット適合性のバランスを取る。
• 確率的解析を用いて、メカニズム出力の期待値が最適解に対してどの程度の割合で抑えられるかを評価し、集中不等式と対称的サブモジュラー関数の構造的性質を活用する。
• 解の品質とバジェット適合性のトレードオフを制御するパrameter $\kappa$ を導入し、$\kappa$ を根拠に近似要因を導出する。

実験結果

リサーチクエスチョン

• RQ1 非単調な対称的サブモジュラー目的関数に対して、定数乗近似保証を持つ真実性・バジェット制約を満たすメカニズムを設計することは可能か？
• RQ2 バジェット付き最大カット問題に対して、多項式時間で実行可能なメカニズムを達成することは可能か？（以前は指数時間のメカニズムしか知られていなかった。）
• RQ3 非単調サブモジュラー関数における単調領域を同定するため、局所探索技術をどのようにメカニズム設計に適応できるか？
• RQ4 決定的で真実性を保ち、かつバジェット制約を満たすメカニズムが、対称的サブモジュラー目的関数に対して達成可能な最良の近似比は何か？
• RQ5 バジェット制約下での対称的サブモジュラー最大化に対して、$\frac{2e}{e-1}$-近似が達成可能なアルゴリズム的結果を、より優れたメカニズムの設計に活用できるか？

主な発見

• 本稿では、バジェット制約下での対称的サブモジュラー関数の最大化というアルゴリズム的問題に対して、$\frac{2e}{e-1}$-近似を達成し、決定的アルゴリズムにおける最良の既知の要因である。
• バジェット付き最大カット問題に対しては、提案されたメカニズムが多項式時間で実行可能であり、定数乗近似比を達成しており、先行研究に比べて顕著に改善されている。
• 提案された確率的メカニズムは、高い確率で最適解の244倍以内の期待近似比を保証する。
• 決定的メカニズムは、アルゴリズム的問題に対して $\frac{2e}{e-1}$-近似を達成しており、独立した価値を持つ結果である。
• 非単調な目的関数に対しても、単調部分構造を同定するための局所探索のアプローチにより、真実性・バジェット制約を満たすメカニズムの設計が可能になる。
• 本フレームワークは一般性に富み、最適な分数解が整数解に対して有界であるような任意の対称的サブモジュラー目的関数に対して、多項式時間メカニズムを導出可能である。