[論文レビュー] Possible and Necessary Allocations via Sequential Mechanisms

Haris Aziz, Toby Walsh+1 more|arXiv (Cornell University)|Dec 6, 2014

Auction Theory and Applications参考文献 29被引用数 32

ひとこと要約

この論文は、バランス型、再帰的バランス型、厳密に交互型などのさまざまな逐次的割り当てメカニズムにおいて、特定のエージェントが特定のアイテムを「可能性として」または「必然的に」受け取れるかどうかを決定する計算複雑性を調査している。本稿では、これらのメカニズム下での割り当ての特徴づけを行い、可能な割り当て問題と必然的割り当て問題が、メカニズムのクラスやアイテム集合のサイズに応じて、それぞれNP完全またはcoNP完全であることを証明している。

ABSTRACT

A simple mechanism for allocating indivisible resources is sequential allocation in which agents take turns to pick items. We focus on possible and necessary allocation problems, checking whether allocations of a given form occur in some or all mechanisms for several commonly used classes of sequential allocation mechanisms. In particular, we consider whether a given agent receives a given item, a set of items, or a subset of items for five natural classes of sequential allocation mechanisms: balanced, recursively balanced, balanced alternating, strictly alternating and all policies. We identify characterizations of allocations produced balanced, recursively balanced, balanced alternating policies and strictly alternating policies respectively, which extend the well-known characterization by Brams and King [2005] for policies without restrictions. In addition, we examine the computational complexity of possible and necessary allocation problems for these classes.

研究の動機と目的

• 個々のアイテムを順番に選ぶエージェントが関与する逐次的メカニズムにおける、可能な割り当てと必然的割り当ての計算複雑性を分析すること。
• バランス型、再帰的バランス型、バランス交互型、厳密に交互型、およびすべてのポリシーの5つのクラスに属する逐次的割り当てポリシーの下で達成可能な割り当て集合を特徴づけること。
• 与えられたエージェントが、少なくとも1つのポリシーで特定のアイテムまたはアイテム集合を受け取る可能性があるか（可能な割り当て）、またはすべてのポリシーで受け取る必要があるか（必然的割り当て）を特定すること。
• コース割り当て、スポーツドラフト、リソース共有などの実世界の応用において、結果が選択されたポリシーに依存するというポリシーの不確実性の影響を検討すること。
• ターン順ポリシーの不確実性下でも、公平で効率的な割り当てメカニズムを設計するための理論的基盤を提供すること。

提案手法

• バランス型、再帰的バランス型、バランス交互型、厳密に交互型、およびすべてのポリシーの5つのクラスの逐次的割り当てメカニズムを形式化し、図1に示す包含関係を示す。
• アイテム集合のサイズkに対して、PossibleAssignmentおよびNecessaryAssignment問題を定義し、ポリシーごとの「可能性」（あるポリシーで成立）と「必然性」（すべてのポリシーで成立）の結果を区別する。
• 既知のNP完全問題（例：正確被覆問題）からの還元を用いて、バランス交互型および厳密に交互型ポリシー下でk=2のPossibleSet問題がNP完全であることを証明する。
• NP完全問題からの還元を用いてNecessaryItemおよびNecessarySet問題がcoNP完全であることを証明し、必然性の検証が可能性の検証よりも計算的に難しいことを示す。
• 正確被覆インスタンスをシミュレートするための好みのプロファイルとポリシー順序を構築し、集合被覆の論理を逐次的割り当てのダイナミクスに埋め込む。
• 異なるポリシー順序におけるエージェントの順位付けとアイテムの可用性を分析し、特に上位順位のアイテムとエージェントの順序制約に注目して、アイテム割り当ての必要条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 バランス型や再帰的バランス型などのポリシークラスにおいて、特定のエージェントが特定のアイテムまたはアイテム集合を保証して受け取れる条件は何か？
• RQ2 与えられたポリシークラスのすべてのポリシーにおいて、特定のエージェントが指定されたアイテムまたはアイテム集合を「可能性として」受け取れるかどうかを決定する計算複雑性は何か？
• RQ3 与えられたポリシークラスのすべてのポリシーにおいて、特定のエージェントが指定されたアイテムまたはアイテム集合を「必然的に」受け取るかどうかを決定する計算複雑性は何か？
• RQ4 ポリシークラスの構造的性質（交互性、再帰性、バランス性など）は、可能な割り当てと必然的割り当ての集合にどのように影響するか？
• RQ5 必然的割り当てを決定する問題は、既知の難問に還元可能か？この還元は、公平な割り当てシステムにおけるアルゴリズム設計にどのような意味を持つのか？

主な発見

• k=2のPossibleSet問題は、バランス交互型および厳密に交互型ポリシークラスにおいてNP完全である。これは、あるポリシーでエージェントが2つの特定のアイテムを受ける可能性があるかどうかを検証するのも計算的に困難であることを示している。
• NecessaryItem問題はcoNP完全である。これは、1つのアイテムについても、すべてのポリシーでエージェントが必然的にそのアイテムを受け取るかどうかを検証するのは計算的に困難であることを示している。
• k=2のNecessarySet問題もcoNP完全である。これは、複数のアイテムを保証的に割り当てる仕組みを確保することは極めて複雑であることを示している。
• 本稿では、バランス型、再帰的バランス型、バランス交互型、および厳密に交互型ポリシー下での割り当ての特徴づけを提供し、BramsとKing（2005）の非制限ポリシーに関する古典的結果を一般化している。
• 正確被覆問題からの還元により、バランス交互型ポリシー下でk=2のPossibleSet問題がNP完全であることが確立された。これは、集合被覆の論理をエージェントの好みとポリシー順序に埋め込むことで実現された。
• 制限されたポリシークラスであっても、可能な割り当てや必然的割り当てを決定する問題は計算的に非効率的であることが示され、ポリシーの不確実性下でのスケーラブルな公平性メカニズムの設計における挑戦を浮き彫りにしている。