[论文解读] Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku

David Eppstein|ArXiv.org|Jul 20, 2005

graph theory and CDMA systems参考文献 6被引用 18

一句话总结

本文提出了一种线性时间变换，可将边带标签的图转换为无标签图，使得原始图与变换后图之间的非重复路径（即无两个连续边共享相同标签的路径）一一对应。该方法实现了非重复路径与环的高效检测，并应用于数独求解，识别出能解决72.5%原本仅靠局部规则无法求解的数独谜题的有效非局部求解规则。

ABSTRACT

We provide a simple linear time transformation from a directed or undirected graph with labeled edges to an unlabeled digraph, such that paths in the input graph in which no two consecutive edges have the same label correspond to paths in the transformed graph and vice versa. Using this transformation, we provide efficient algorithms for finding paths and cycles with no two consecutive equal labels. We also consider related problems where the paths and cycles are required to be simple; we find efficient algorithms for the undirected case of these problems but show the directed case to be NP-complete. We apply our path and cycle finding algorithms in a program for generating and solving Sudoku puzzles, and show experimentally that they lead to effective puzzle-solving rules that may also be of interest to human Sudoku puzzle solvers.

研究动机与目标

• 开发一种高效算法框架，用于检测边带标签图中的非重复路径与环，其中任意两个连续边不共享相同标签。
• 将该框架应用于数独求解，通过非局部约束建模类人推理过程。
• 识别并实现超越局部消除的基于规则的求解技术，提升求解效率。
• 展示非重复路径与环检测在实际谜题生成与求解中的有效性。

提出的方法

• 构建从边带标签图 G 到无标签有向图 nr(G) 的变换，使得 G 中的非重复路径与 nr(G) 中的路径一一对应，且 nr(G) 的顶点与边数均为 O(m)。
• 在 nr(G) 中使用强连通性分析，线性时间内识别出属于非重复环的边。
• 在 nr(G) 中使用深度优先搜索，线性时间内确定从给定顶点和标签出发可通过非重复路径到达的所有边。
• 对于无向图，使用线性时间算法测试任意两顶点间是否存在非重复简单路径，并在线性时间 O(m²) 内列出非重复简单环中的所有边。
• 证明对于有向图，判断非重复简单路径或环的存在性为 NP-完全问题，确立该方法的计算复杂性边界。
• 将数独谜题建模为带标志标签边的二分双值图，并应用非重复路径与环检测以推导非局部求解规则。

实验结果

研究问题

• RQ1 能否通过图变换高效检测边带标签图中的非重复路径与环？
• RQ2 在有向图与无向图中，寻找非重复简单路径与环的计算复杂性如何？
• RQ3 如何将非重复路径与环检测应用于推导出有效的、类人求解规则以解决数独谜题？
• RQ4 基于非重复路径的规则在多大程度上提升了数独谜题的可解性，超越了局部约束传播？

主要发现

• 从 G 到 nr(G) 的变换保持了非重复路径与环的对应关系，且在边标签按顶点分组的前提下，可在线性时间内完成。
• 通过 nr(G) 中的强连通性分析，可在无向图中线性时间内检测非重复环。
• 可在无向图中线性时间内测试任意两顶点间是否存在非重复简单路径。
• 在有向图中寻找非重复简单路径的问题为 NP-完全问题，确立了该方法的计算复杂性边界。
• 在实验评估中，基于非重复路径与环的非局部规则解决了72.5%原本仅靠局部规则无法求解的数独谜题。
• 对于 B×B 的数独谜题，非重复环规则的实现时间复杂度为 O(B⁴)，而重复环与冲突路径规则的实现时间复杂度为 O(B⁸)。