[論文レビュー] Truthful Allocation in Graphs and Hypergraphs

George Christodoulou, Ηλίας Κουτσουπιάς+1 more|arXiv (Cornell University)|Jan 1, 2021

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿では、タスクが特定のマシン（ノード）でのみ処理可能なグラフおよびハイパーグラフにおける割り当て問題に対して、真実性を保証する新しいメカニズム、ハイブリッドメカニズムを提案する。VCGに類似した効率性と1次元メカニズム設計の原則を組み合わせることで、星構造のグラフでは最適な近似比2を達成し、一般のマルチグラフ、木、平面的グラフ、k-非縮退グラフ、有界木幅グラフへと拡張される。Lp-ノルム目的関数（p=∞の場合はマクスパン）に対しても性能バウンドが得られる。

ABSTRACT

We study truthful mechanisms for allocation problems in graphs, both for the minimization (i.e., scheduling) and maximization (i.e., auctions) setting. The minimization problem is a special case of the well-studied unrelated machines scheduling problem, in which every given task can be executed only by two pre-specified machines in the case of graphs or a given subset of machines in the case of hypergraphs. This corresponds to a multigraph whose nodes are the machines and its hyperedges are the tasks. This class of problems belongs to multidimensional mechanism design, for which there are no known general mechanisms other than the VCG and its generalization to affine minimizers. We propose a new class of mechanisms that are truthful and have significantly better performance than affine minimizers in many settings. Specifically, we provide upper and lower bounds for truthful mechanisms for general multigraphs, as well as special classes of graphs such as stars, trees, planar graphs, $k$-degenerate graphs, and graphs of a given treewidth. We also consider the objective of minimizing or maximizing the $L^p$-norm of the values of the players, a generalization of the makespan minimization that corresponds to $p=\infty$, and extend the results to any $p>0$.

研究の動機と目的

• タスクが特定のマシンに制限されるグラフおよびハイパーグラフにおける割り当て問題の真実性を保証するメカニズムの設計。
• 多次元メカニズム設計におけるVCGおよびアフィン最小化器の悪い近似比を克服すること。
• VCGと1次元設計原則を組み合わせることで、単一次元ドメインを超えた真実性を保証するメカニズムの一般化。
• 星構造、木、平面的グラフ、k-非縮退グラフ、有界木幅グラフを含むさまざまなグラフクラスにおける近似比のタイトな上限および下限の特定。
• マクスパン最小化（p=∞）を任意のp>0に一般化するLp-ノルム目的関数への結果の拡張。

提案手法

• 根プレーヤーのコスト（重みλiで重み付け）と葉プレーヤーのコスト関数gT(ℓ)の組み合わせを最小化するハイブリッドメカニズムを提案。タスクは、根プレーヤーのコストがしきい値未満である場合にのみ、根プレーヤーに割り当てられる。
• 臨界値関数ψi(ℓi)を用いて、タスクiを葉プレーヤーか根プレーヤーが受けるかを決定し、最小加重根コストとの比較に基づく。
• 弱単調性および集合関数の増加条件（i∉TのときgT(ℓ)がℓiに関して増加）を用いて、葉プレーヤーの真実性を保証。
• ハイパースターへの拡張では、k個の根プレーヤーに一般化された割り当てルールを適用し、真実性を維持するための修正された補助関数˜gT(ℓ, r−h)を用いる。
• Lp-ノルム最小化への適用では、適切なコスト関数としきい値を定義し、特定の条件下で真実性を保証する。
• gT(ℓ)およびψi関数に関する必要十分条件を用いて真実性を証明し、厳密な増加性または単調性が十分であるが、必要ではないことを示す。

実験結果

リサーチクエスチョン

• RQ1 タスクが特定のマシンに制限されるグラフ構造の割り当て問題に対して、VCGおよびアフィン最小化器を上回る真実性を保証するメカニズムを設計可能か？
• RQ2 星バランス問題において、任意の真実性メカニズムが達成可能な最良の近似比は何か？ そして、それを達成可能か？
• RQ3 ハイブリッドメカニズムをハイパーグラフおよび木、平面的グラフ、k-非縮退グラフ、有界木幅グラフなどの他のグラフクラスに一般化できるか？
• RQ4 コスト関数gT(ℓ)にどのような条件が課されると、葉プレーヤーに対するハイブリッドメカニズムの真実性が保証されるか？
• RQ5 マクスパン（p=∞）を超えるLp-ノルム目的関数への結果の拡張は可能か？ そして、性能バウンドは何か？

主な発見

• ハイブリッドメカニズムは、星バランス問題において最適な近似比2を達成し、すべての真実性メカニズムの中で最良のものである。
• 一般のマルチグラフでは、近似比に関する上限および下限が確立され、アフィン最小化器よりも顕著な改善が示される。
• 木、平面的グラフ、k-非縮退グラフ、有界木幅グラフなどの特殊なグラフクラスでは、非自明な近似保証が得られる。
• コスト関数gT(ℓ)がi∉Tのときℓiに関して増加する場合、および臨界値関数ψiが厳密に増加する場合、メカニズムは真実性を保証する。
• Lp-ノルム最小化目的関数へとメカニズムを拡張でき、ハイブリッドLpメカニズムはgT(ℓ)およびψiに関する条件（b）および（c）を満たす場合に真実性を満たす。
• 条件（b）および（c）が真実性に十分であるが、必要ではないことを示す例が提示され、メカニズムの頑健性が示される。