[论文解读] Yin-Yang Puzzles are NP-complete

Erik D. Demaine, Jayson Lynch+2 more|arXiv (Cornell University)|Jun 29, 2021

Advanced Graph Theory Research参考文献 27被引用 4

一句话总结

本文通过将平面4-正则树余项顶点分解（TRVB）问题约化为网格图划分问题，证明了阴阳谜题是NP完全问题。该研究建立了标准阴阳谜题（含2×2规则）及其无此规则的变体的NP完全性，表明即使在预先染色的单元格条件下，判断解是否存在仍具有计算不可解性。

ABSTRACT

We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into two induced connected subgraphs (Yin-Yang without $2 imes 2$ rule), subject to some vertices being pre-assigned to a specific tree/subgraph.

研究动机与目标

• 确定求解阴阳填字谜题的计算复杂性。
• 证明包含禁止单色2×2方块的2×2规则的标准阴阳谜题为NP完全问题。
• 将证明扩展至无2×2约束的变体，表明在预分配顶点条件下，将网格图划分为两个连通诱导子图的问题为NP完全。
• 进一步证明当两个颜色类必须形成诱导树时，问题仍为NP完全，对应于谜题的更严格版本。
• 建立即使仅少量单元格被预先染色，问题仍具困难性，表明在稀疏提示集下问题依然困难。

提出的方法

• 从NP难的平面4-正则树余项顶点分解（TRVB）问题约化至阴阳谜题判定问题。
• 在网格图中构建模拟TRVB实例中顶点和边行为的顶点和边部件。
• 使用“重要”和“不重要”的黑圈来模拟连通性和无环性：重要黑圈代表TRVB解的核心结构，不重要的黑圈通过细枝连接，以保持连通性和无环性。
• 证明黑圈构成连通无环子图当且仅当TRVB实例有解，且不重要的黑圈不影响整体结构。
• 通过追踪顶行和向下延伸的细枝，证明整个黑子图连通无环当且仅当重要黑圈连通无环。
• 采用保持解数的约化方法，表明计数问题和另一解问题可能分别为#P-难和NP-难。

实验结果

研究问题

• RQ1 无论是否包含2×2规则，阴阳谜题的判定问题是否具有计算困难性？
• RQ2 标准阴阳谜题能否约化为具有预染色顶点的网格图上的图划分问题？
• RQ3 当两个颜色类必须形成诱导树而非仅连通子图时，问题是否仍为NP完全？
• RQ4 在稀疏提示集（如仅O(n)个预染色单元格）下，NP完全性是否依然成立？
• RQ5 类似技术能否用于将阴阳谜题推广至多于两种颜色，或应用于三角形、六边形等其他网格类型？

主要发现

• 包含2×2规则的标准阴阳谜题即使在部分单元格被预染色的情况下，仍为NP完全问题。
• 无2×2规则的变体同样为NP完全问题，对应于将网格图划分为两个连通诱导子图并预分配顶点的问题。
• 当两个颜色类必须形成诱导树的特殊情形下，问题仍为NP完全，证明了在更严格结构约束下的困难性。
• 从TRVB的约化是保持解数的，意味着阴阳谜题的计数问题和另一解问题可能分别为#P-难和NP-难。
• 该证明技术表明，即使在稀疏预染色提示下，问题仍保持困难，但实现o(n)个提示需采用新的编码策略。
• 推广至三种或以上颜色，或应用于三角形和六边形网格，可能同样为NP难，且类似证明技术预计适用。