[论文解读] Shortest Reconfiguration of Perfect Matchings via Alternating Cycles

Takehiro Ito, Naonori Kakimura+3 more|arXiv (Cornell University)|Jan 1, 2019

Complexity and Algorithms in Graphs被引用 2

一句话总结

本文研究了通过交替环在图中对完美匹配进行最短重配置的问题，证明了该问题在平面图和二分图中为 NP-难问题，但在外平面图中可多项式时间求解。该研究建立了该问题与完美匹配多面体中组合最短路径之间的联系，对优化和多面体组合学具有重要意义。

ABSTRACT

Motivated by adjacency in perfect matching polytopes, we study the shortest reconfiguration problem of perfect matchings via alternating cycles. Namely, we want to find a shortest sequence of perfect matchings which transforms one given perfect matching to another given perfect matching such that the symmetric difference of each pair of consecutive perfect matchings is a single cycle. The problem is equivalent to the combinatorial shortest path problem in perfect matching polytopes. We prove that the problem is NP-hard even when a given graph is planar or bipartite, but it can be solved in polynomial time when the graph is outerplanar.

研究动机与目标

• 研究图中两个完美匹配之间的最短重配置路径，其中每一步操作涉及翻转一个交替环。
• 确定该问题在不同图类（特别是平面图、二分图和外平面图）中的计算复杂度。
• 建立重配置问题与完美匹配多面体中组合最短路径之间的联系。
• 探讨该 NP-难变体问题的近似算法可行性。
• 通过交替路径/环模型将该框架扩展至最大匹配和最大权匹配问题。

提出的方法

• 使用交替环建模重配置空间：若两个完美匹配的对称差为单一环，则它们相邻。
• 通过引入有向边部件的图构造，将有向图中的有向哈密顿圈问题归约为最短完美匹配重配置问题。
• 从有向图 H 构造二分图 G：将每个顶点替换为一个 6 个顶点的子图，并对每条有向边 uv，在 u⁻ 与 v⁺ 之间添加边连接。
• 利用构造图中交替环的结构，模拟原有向图中的哈密顿圈。
• 通过归约证明：当且仅当原图存在有向哈密顿圈时，存在长度为 2 的重配置序列，从而证明 NP-难性。
• 基于其环分解结构特性和匹配转移的性质，为外平面图设计了多项式时间算法。

实验结果

研究问题

• RQ1 在交替环模型下，最短完美匹配重配置问题在平面图和二分图中是否为 NP-难问题？
• RQ2 该问题是否可在外平面图中多项式时间求解？
• RQ3 该问题的近似复杂度如何，特别是关于常数因子近似的可行性？
• RQ4 交替环模型与完美匹配多面体中的组合最短路径有何关联？
• RQ5 能否通过交替路径和环模型，将该框架扩展至最大匹配或最大权匹配问题？

主要发现

• 最短完美匹配重配置问题在平面图和二分图中均为 NP-难问题，即使在最大度为三的图中也成立。
• 该问题为 APX-难问题，因为归约表明：若近似比优于 3/2，则 NP-难。
• 外平面图存在基于其结构特性和复杂环结构缺失的多项式时间算法。
• 当且仅当底层有向图包含有向哈密顿圈时，存在长度为 2 的重配置序列，建立了紧密对应关系。
• 该问题等价于完美匹配多面体 1-骨架上的组合最短路径问题。
• 本研究为组合重配置、多面体组合学以及 0/1-多面体上的优化开辟了新的联系。