[論文レビュー] Strategyproof Mechanisms For Group-Fair Facility Location Problems

Houyu Zhou, Minming Li+1 more|arXiv (Cornell University)|Jul 12, 2021

Game Theory and Voting Systems被引用数 4

ひとこと要約

本稿では、エージェントがレースや年齢などによってグループに分割されるようなグループフェアな施設立地問題に対して、戦略証明可能なメカニズムを提案する。目的は、グループのコストをフェアに最小化することである。本稿では、新たなグループベースのメカニズムと、中断とグループ内フェアネス（IIF）という新しいフェアネス指標を導入し、タイトな定数近似比を達成する。特に、マジョリティグループ決定的メカニズム（MGDM）は、最大総グループコストを最小化する場合に3-近似比を達成する。

ABSTRACT

We study the facility location problems where agents are located on a real line and divided into groups based on criteria such as ethnicity or age. Our aim is to design mechanisms to locate a facility to approximately minimize the costs of groups of agents to the facility fairly while eliciting the agents' locations truthfully. We first explore various well-motivated group fairness cost objectives for the problems and show that many natural objectives have an unbounded approximation ratio. We then consider minimizing the maximum total group cost and minimizing the average group cost objectives. For these objectives, we show that existing classical mechanisms (e.g., median) and new group-based mechanisms provide bounded approximation ratios, where the group-based mechanisms can achieve better ratios. We also provide lower bounds for both objectives. To measure fairness between groups and within each group, we study a new notion of intergroup and intragroup fairness (IIF) . We consider two IIF objectives and provide mechanisms with tight approximation ratios.

研究の動機と目的

• 人種や年齢などの基準でグループ化されたエージェントを公平に扱う施設立地問題における戦略証明可能なメカニズムの設計。
• 多くの自然な目的関数に対して近似比が有界でないことを踏まえ、有界な近似比を可能にするグループフェアコスト目的の同定。
• 中断とグループ内フェアネス（IIF）という新しいフェアネス概念の導入と形式的定式化。これは、グループ間およびグループ内でのフェアネスを捉える。
• 新しいIIF目的関数に対して、タイトな近似比を達成するメカニズムの提供。これにより、真実性とフェアネスを保証する。
• 主な目的関数の上界と下界のギャップを埋めるために、タイトな境界と改善されたメカニズムを確立する。

提案手法

• 最大グループの中央値に施設を立地させることで、最大総グループコストを最小化するマジョリティグループ決定的メカニズム（MGDM）を提案する。
• RMメカニズムのランダム化範囲をグループ情報に基づいて精緻化することで、平均グループコストの近似を向上させる、ナロー・ランダム化メカニズム（NRM）を導入する。
• 2つの新しいIIF目的関数を定義する：$IIF_1$ はグループ間フェアネスとグループ内フェアネスを別個の指標として扱うが、$IIF_2$ は各グループごとにそれらを統合した単一の指標として扱う。
• k-LDMメカニズムを用いて、$IIF_1$ および $IIF_2$ の両目的関数に対して4-近似比を達成する。この近似比は、4の下界と一致する。
• 部分的グループ戦略証明性と背理法による下界の証明を含む、きめ細やかなゲーム理論的分析を用いて、メカニズムの頑健性を検証する。
• 既存の古典的メカニズム（MDM, LDM, RM）を活用し、グループに配慮した論理を拡張することで、フェアネス制約下での近似比の向上を実現する。

実験結果

リサーチクエスチョン

• RQ1 多くの自然な目的関数に対して近似比が有界でないことを踏まえ、グループフェアな施設立地問題の目的関数に対して、戦略証明可能なメカニズムが有界な近似比を達成できるか。
• RQ2 真実性を保ちつつ、グループ構造を活用して最大総グループコストを効果的に最小化するメカニズムは何か。
• RQ3 施設立地問題において、グループ間とグループ内フェアネスを形式的にモデル化し最適化する方法は何か。
• RQ4 新しいIIF目的関数に対して達成可能なタイトな近似比は何か。また、それらの境界に一致するメカニズムを設計できるか。
• RQ5 特に戦略証明性制約下において、グループフェア目的関数の近似の限界を示す下界は存在するか。

主な発見

• マジョリティグループ決定的メカニズム（MGDM）は、最大総グループコストを最小化する場合に3-近似比を達成し、古典的メカニズムを上回る性能を示す。
• 最大平均グループコストを最小化する場合、ナロー・ランダム化メカニズム（NRM）は2-近似比を達成し、古典的RMを上回る性能を示す。
• k-LDMメカニズムは、$IIF_1$ および $IIF_2$ の両目的関数に対して、タイトな4-近似比を達成し、既に確立された下界4と一致する。
• 最大総グループコスト目的関数に対して下界2が証明され、いかなる決定的戦略証明メカニズムでも2-近似比より良い結果は得られないことが示された。
• $IIF_1$ および $IIF_2$ の下界4は、部分的グループ戦略証明性と戦略的エージェントの虚偽報告を用いた背理法により、タイトであることが示された。
• グループベースのメカニズムは、MDM や LDM といった古典的メカニズムに比べ、特にグループのサイズと構造を活用した場合に顕著に優れた近似比を達成する。