[论文解读] Recognition of collapsible complexes is NP-complete

Martin Tancer|arXiv (Cornell University)|Nov 27, 2012

Topological and Geometric Data Analysis参考文献 15被引用 9

一句话总结

本文证明了判断一个三维单纯复形是否可折痕是 NP-完全的，从而确立了计算拓扑学中一个基本问题的计算不可解性。证明通过从 3-SAT 问题约化而来，构建了专门的部件——特别是包含三个房间的宾氏小屋——以模拟逻辑子句和变量，表明三维复形中的可折痕性决策问题与求解 NP-完全问题一样困难。

ABSTRACT

We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Francés showing that it is NP-complete to decide whether a given simplicial complex collapses to a 1-complex.

研究动机与目标

• 解决判断一个三维单纯复形是否可折痕的计算复杂性问题。
• 将先前关于折叠至一维复形时 NP-完全性的结果扩展，证明折叠至一点时同样具有相同难度。
• 确认即使限制在三维复形中，该问题仍为 NP-完全。
• 探讨可折痕性与离散 Morse 理论之间的联系，特别是完美 Morse 匹配。
• 探讨其在形状重建和使用可折痕复形进行同调计算方面的更广泛影响。

提出的方法

• 通过使用逻辑部件编码变量和子句，将 3-SAT 问题约化至可折痕性问题。
• 引入包含三个房间的宾氏小屋作为关键拓扑部件，以模拟逻辑依赖关系并施加可折痕性约束。
• 设计变量和子句部件，使得仅当底层 3-SAT 公式可满足时，才能实现受控的可折痕序列。
• 利用复形可折痕当且仅当其存在完美 Morse 匹配的性质，将问题与离散 Morse 理论联系起来。
• 通过证明存在有效可折痕序列当且仅当 3-SAT 实例可满足，从而证明 NP-难性，且构造过程保持同伦型不变。
• 通过在复形上附加一个 d-单纯形，将结果推广至更高维度，表明当 d ≥ 3 时，d 维复形的可折痕性问题仍为 NP-完全。

实验结果

研究问题

• RQ1 判断一个三维单纯复形是否可折痕是否为 NP-完全问题？
• RQ2 可折痕性的 NP-完全性是否可推广至更高维复形？
• RQ3 当 d ≥ 3 且 k ∈ {0,1} 时，将 d 维复形折叠至 k 维复形的复杂性是多少？
• RQ4 是否存在多项式时间算法可将 d-复形折叠至 (d−1)-复形？若存在，其适用条件是什么？
• RQ5 将 d-球折叠至一点的计算复杂性是多少？尽管存在不可折痕的 d-球。

主要发现

• 判断给定三维单纯复形是否可折痕是 NP-完全的。
• 即使限制在三维复形中，该 NP-完全性结果依然成立，确认了低维情形下问题的困难性。
• 当 d ≥ 3 时，d 维复形的可折痕性问题仍为 NP-完全，通过在构造中附加一个 d-单纯形得以证明。
• 一个 3-复形可折叠至一点，当且仅当其存在完美 Morse 匹配，从而将可折痕性与离散 Morse 理论联系起来。
• 该构造表明，将复形折叠至固定的一维复形也是 NP-完全的，方法是将目标复形附加至构造中。
• 该结果意味着依赖于折叠 Rips 或 Čech 复形以保持同伦型的形状重建算法存在固有局限性。