Strategy-proof tie-breaking in matching with priorities
研究了在弱优先级排序下，哪些优先级结构存在防策略且约束有效的机制，发现只有三种类型：严格型、现有租户型（HET）和任务分配型（TAU），其中仅HET支持强群体防策略。
A set of indivisible objects is allocated among agents with strict preferences. Each object has a weak priority ranking of the agents. A collection of priority rankings, a priority structure, is solvable if there is a strategy-proof mechanism that is constrained efficient, i.e. that always produces a stable matching that is not Pareto-dominated by another stable matching. We characterize all solvable priority structures satisfying the following two restrictions: (A) Either there are no ties, or there is at least one four-way tie. (B) For any two agents i and j, if there is an object that assigns higher priority to i than j, there is also an object that assigns higher priority to j than i. We show that there are at most three types of solvable priority structures: The strict type, the house allocation with existing tenants (HET) type, where, for each object, there is at most one agent who has strictly higher priority than another agent, and the task allocation with unqualified agents (TAU) type, where, for each object, there is at most one agent who has strictly lower priority than another agent. Out of these three, only HET priority structures are shown to admit a strongly group strategy-proof and constrained efficient mechanism.