arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2501.13481cs.GTcs.AIcs.DM
收藏

多项式时间算法求解杂务的公平定向问题

Polynomial-Time Algorithms for Fair Orientations of Chores

University of Victoria(维多利亚大学)

Kevin Hsu, Valerie King

AI总结:

本文针对仅含杂务的图,提出多项式时间算法求解EF1和EFX公平定向,解决开放猜想,并揭示与商品情形(NP完全)的复杂性分离,同时证明多重图情形为NP完全。

摘要:

本文研究了杂务图的公平定向问题,其中每个顶点对应一个智能体,每条边对应一项杂务,如果一条边不关联某个智能体对应的顶点,则该杂务对该智能体的边际效用为零。近期,Zhou等人(IJCAI,2024)分析了包含商品和杂务混合的图是否存在EFX定向的判定问题的复杂性,并猜想仅包含杂务的图是否存在EFX定向的判定问题是NP完全的。我们通过给出多项式时间算法解决了这一猜想,该算法能在存在的情况下找到仅含杂务的图的EF1和EFX定向,即使图中存在自环。值得注意的是,我们的结果揭示了商品情形与杂务情形之间的惊人分离,因为Christodoulou等人(EC,2023)已证明仅含商品的图是否存在EFX定向的判定问题是NP完全的。此外,我们还证明了多重图的EF1和EFX定向问题是NP完全的。

英文摘要:

This paper addresses the problem of finding fair orientations of graphs of chores, in which each vertex corresponds to an agent, each edge corresponds to a chore, and a chore has zero marginal utility to an agent if its corresponding edge is not incident to the vertex corresponding to the agent. Recently, Zhou et al. (IJCAI, 2024) analyzed the complexity of deciding whether graphs containing a mixture of goods and chores have EFX orientations, and conjectured that deciding whether graphs containing only chores have EFX orientations is NP-complete. We resolve this conjecture by giving polynomial-time algorithms that find EF1 and EFX orientations of graphs containing only chores if they exist, even if there are self-loops. Remarkably, our result demonstrates a surprising separation between the case of goods and the case of chores, because deciding whether graphs containing only goods have EFX orientations was shown to be NP-complete by Christodoulou et al. (EC, 2023). In addition, we show the EF1 and EFX orientation problems for multigraphs to be NP-complete.

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

↑