[论文解读] 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.

研究动机与目标

• 分析在代理轮流挑选不可分物品的顺序机制中，可能与必要分配的计算复杂性。
• 对五类顺序分配策略（平衡、递归平衡、平衡交替、严格交替和所有策略）下可实现的分配集合进行特征刻画。
• 确定在至少一种策略下（可能分配）或在所有策略下（必要分配）给定代理是否能获得特定物品或物品集合。
• 研究在实际应用（如课程分配、体育选秀和资源共享）中策略不确定性的影响，其中结果取决于所选策略。
• 为在轮换顺序策略不确定的情况下设计公平且高效的分配机制提供理论基础。

提出的方法

• 形式化五类顺序分配机制：平衡、递归平衡、平衡交替、严格交替和所有策略，其包含关系如图1所示。
• 为大小为k的物品集合定义PossibleAssignment与NecessaryAssignment问题，区分可能（存在一种策略）与必要（所有策略）的结果。
• 通过已知的NP-完全问题（如精确覆盖）的归约，证明在平衡交替和严格交替策略下，k=2时的PossibleSet问题为NP-完全。
• 通过从NP-完全问题的归约，证明NecessaryItem与NecessarySet问题为coNP-完全，表明验证必要性比验证可能性在计算上更困难。
• 构建偏好配置和策略顺序，以模拟精确覆盖实例，将集合覆盖逻辑嵌入顺序分配动态中。
• 分析不同策略顺序下的代理排名与物品可用性，推导出物品分配的必要条件，尤其关注最高排名物品和代理顺序约束。

实验结果

研究问题

• RQ1 在哪些策略类别（如平衡、递归平衡）下，可保证给定代理获得特定物品或物品集合？
• RQ2 确定在给定类别中所有策略下，给定代理可能获得指定物品或物品集合的计算复杂性是多少？
• RQ3 确定在给定类别中所有策略下，给定代理必然获得指定物品或物品集合的计算复杂性是多少？
• RQ4 策略类别的结构性质（如交替、递归、平衡）如何影响可能与必要分配的集合？
• RQ5 确定必要分配问题是否可归约为已知的难问题，这对公平分配系统中的算法设计有何启示？

主要发现

• 在平衡交替和严格交替策略类别下，k=2时的PossibleSet问题为NP-完全，表明验证代理在某种策略下是否能获得两个特定物品在计算上是困难的。
• NecessaryItem问题为coNP-完全，表明即使仅针对单个物品，验证代理在所有策略下是否必然获得该物品在计算上也是困难的。
• 在k=2时，NecessarySet问题为coNP-完全，将困难性结果扩展到两个物品的集合，意味着确保多个物品的保证分配极为复杂。
• 本文对平衡、递归平衡、平衡交替和严格交替策略下的分配提供了特征刻画，推广了Brams和King（2005）针对无限制策略的经典结果。
• 通过从精确覆盖问题的归约，证明在平衡交替策略下，k=2时的PossibleSet问题为NP-完全，方法是将集合覆盖逻辑嵌入代理偏好和策略顺序中。
• 结果表明，即使在受限的策略类别下，确定可能或必要分配在计算上仍属不可行，凸显了在策略不确定性下设计可扩展公平机制的挑战。