arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2407.04474cs.GT
收藏

福利最优的串行独裁机制具有多项式查询复杂度

Welfare-Optimal Serial Dictatorships have Polynomial Query Complexity

Ioannis Caragiannis, Kurt Mehlhorn, Nidhi Rathi

AI总结:

本文针对单边匹配中智能体-物品价值需通过查询序列获知的问题,提出一个使用 n^5 次多项式查询的算法,可诱导出社会福利最优匹配,解决了 Caragiannis 和 Rathi 提出的开放问题,并基于 VCG 支付实现真实性。

摘要:

串行独裁是一种简单的机制,用于根据智能体的偏好协调智能体求解组合优化问题。最具代表性的此类问题是单边匹配,其中一组 n 个智能体对一组 n 个物品具有价值,目标是计算一个智能体到物品的匹配,使总价值最大(即社会福利)。遵循 Caragiannis 和 Rathi [10] 最近提出的框架,我们考虑一个模型,在该模型中智能体-物品价值并非预先可得,而是通过查询智能体序列来获知。特别地,当要求智能体按序列行动时,他们通过选择尚未被之前行动的智能体选走的、自己最喜欢的物品来作出响应,并揭示他们对该物品的价值。我们能否计算一个能够诱导出社会福利最优匹配的智能体序列?我们肯定地回答了这个问题,并提出一个使用多项式数量(n^5)次查询的算法。这解决了 Caragiannis 和 Rathi [CR23] 提出的主要开放问题。我们的分析使用了一个势函数论证,用于衡量在学习底层边权信息方面的进展。此外,通过采用 VCG 支付的范式,该算法具有真实实现。

英文摘要:

Serial dictatorship is a simple mechanism for coordinating agents in solving combinatorial optimization problems according to their preferences. The most representative such problem is one-sided matching, in which a set of n agents have values for a set of n items, and the objective is to compute a matching of the agents to the items of maximum total value (a.k.a., social welfare). Following the recent framework of Caragiannis and Rathi [10], we consider a model in which the agent-item values are not available upfront but become known by querying agent sequences. In particular, when the agents are asked to act in a sequence, they respond by picking their favorite item that has not been picked by agents who acted before and reveal their value for it. Can we compute an agent sequence that induces a social welfare-optimal matching? We answer this question affirmatively and present an algorithm that uses polynomial number (n^5) of queries. This solves the main open problem stated by Caragiannis and Rathi [CR23]. Our analysis uses a potential function argument that measures progress towards learning the underlying edge-weight information. Furthermore, the algorithm has a truthful implementation by adapting the paradigm of VCG payments.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑