[论文解读] Good Things Come to Those Who Swap Objects on Paths

Matthias Bentert, Jiehua Chen+2 more|arXiv (Cornell University)|May 10, 2019

Game Theory and Voting Systems参考文献 13被引用 3

一句话总结

本文解决了去中心化交换市场中 REACHABLE OBJECT 问题计算复杂性的关键开放问题。针对路径结构，提出了多项式时间算法；在完全图（clique）和广义长毛猫树（generalized caterpillars）上证明了 NP-难；并确立了三对四的精确分界：当所有偏好列表长度不超过三时问题可高效求解，但只要任一列表长度超过三，问题即变为 NP-难。

ABSTRACT

In recent work, Gourv{è}s, Lesca, and Wilczynski (IJCAI 17) propose a variant of the classic housing markets model in which the matching between agents and objects evolves through Pareto-improving swaps between pairs of agents who are adjacent in a social network. To explore the swap dynamics of their model, they pose several basic questions concerning the set of reachable matchings, and investigate the computational complexity of these questions when the graph structure of the social network is a star, path, or tree, or is unrestricted. We are interested in how to direct the agents to swap objects with each other in order to arrive at a reachable matching that is both efficient and most agreeable. In particular, we study the computational complexity of reaching a Pareto-efficient matching that maximizes the number of agents who prefer their match to their initial endowments. We consider various graph structures of the social network: path, star, tree, or being unrestricted. Additionally, we consider two assumptions regarding preference relations of agents: strict (ties among objects not allowed) or weak (ties among objects allowed). By designing two polynomial-time algorithms and two NP-hardness reductions, we resolve the complexity of all cases not yet known. Our main contributions include a polynomial-time algorithm for path networks with strict preferences and an NP-hardness result in a star network with weak preferences.

研究动机与目标

• 解决 Gourvès 等人 [11] 明确提出的开放问题：REACHABLE OBJECT 在路径结构上是否为多项式时间可解。
• 确定在偏好列表长度受限条件下 REACHABLE OBJECT 的计算复杂性，特别是识别问题从可 tractable 转变为不可 tractable 的临界点。
• 将已知的树结构上的 NP-难性结果扩展至更广泛的图类，包括完全图和广义长毛猫树，以更好地理解可 tractable 与不可 tractable 实例之间的边界。
• 对不同图拓扑结构和偏好约束下的问题复杂性提供全面分类。

提出的方法

• 设计一种新颖的多项式时间算法，用于路径结构社交网络中的 REACHABLE OBJECT 问题，利用对象沿路径传播的结构特性。
• 通过从 2-Positive-1-Negative-At-Most-3-SAT 的约化，证明在完全图（clique）上为 NP-难，即使所有偏好列表长度被限制为四。
• 通过 Gourvès 等人 [11] 的约化方法的修改版本，将 NP-难性结果扩展至长毛猫树，其长毛长度不超过二，且仅含一个高阶度顶点。
• 分析在底层图邻接结构约束下，通过一系列互惠交换实现对象可达性的过程。
• 使用基于证书的论证方法，证明 REACHABLE OBJECT 属于 NP，其中长度为 O(n³) 的交换序列可作为有效证书。
• 调整困难性约化，证明即使底层图的最大度数为五，问题仍为 NP-难，表明该不可 tractability 结果具有鲁棒性。

实验结果

研究问题

• RQ1 尽管在一般树结构上为 NP-难，REACHABLE OBJECT 问题在路径结构社交网络上是否仍为多项式时间可解？
• RQ2 在偏好列表长度上，存在何种精确临界点，可将可 tractable 与不可 tractable 实例分隔开？
• RQ3 该问题在更一般的图类（如完全图和广义长毛猫树）上是否为 NP-难？这一结果是否扩展了已知的树结构上的困难性？
• RQ4 在最大度数为三的图上，该问题是否可高效求解？考虑到其在度数为二的图（路径与环）上可 tractable，而在度数为四的图上为 NP-难。
• RQ5 若施加特殊偏好结构（如稳定匹配问题中的结构），是否会为 REACHABLE OBJECT 问题带来新的可 tractable 情况？

主要发现

• REACHABLE OBJECT 问题在路径上可多项式时间求解，解决了 Gourvès 等人 [11] 留下的开放问题，并提出了一种非平凡的算法，融合了多种结构洞察。
• 在完全图（clique）上，即使所有偏好列表长度被限制为四，问题仍为 NP-难，表明在最小偏好约束下问题仍保持不可 tractable。
• 基于偏好列表长度存在精确的分界：当所有偏好列表长度不超过三时，问题可多项式时间求解；但只要任一列表长度达到四，问题即变为 NP-难。
• NP-难性结果可扩展至长毛长度不超过二且仅含一个度数大于二的顶点的广义长毛猫树，强化了树结构上的困难性结果。
• 困难性约化可调整为证明即使在最大度数为五的图上，问题仍为 NP-难，表明问题在有界度数约束下仍保持困难。
• 问题仍属于 NP，因为长度为 O(n³) 的交换序列可作为可达性的有效证书，这是由于每个对象通过任意边的次数至多为一次的约束。