[论文解读] Efficient Enumeration of Chordless Cycles

Elisângela Silva Dias, Diane Castonguay+2 more|arXiv (Cornell University)|Sep 4, 2013

Graph Labeling and Dimension Problems参考文献 23被引用 4

一句话总结

本文提出了两种高效算法，用于枚举无向简单图中的所有无弦环，确保每个环仅被发现一次。通过引入顶点标记和初始有效顶点三元组，并采用改进的顶点阻塞策略的深度优先搜索——结合在剪枝子图中进行广度优先搜索——该方法实现了每输出一个环的最优$$\mathcal{O}(n+m)\u0024$时间复杂度，优于以往方法在时间复杂度上更高或存在环重复报告的问题。

ABSTRACT

In a finite undirected simple graph, a {\it chordless cycle} is an induced subgraph which is a cycle. We propose two algorithms to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithms have the advantage of finding each chordless cycle only once. To ensure this, we introduced the concepts of vertex labeling and initial valid vertex triplet. To guarantee that the expansion of a given chordless path will always lead to a chordless cycle, we use a breadth-first search in a subgraph obtained by the elimination of many of the vertices from the original graph. The resulting algorithm has time complexity $\mathcal{O}(n + m)$ in the output size, where $n$ is the number of vertices and $m$ is the number of edges.

研究动机与目标

• 解决在不重复报告的情况下高效枚举图中所有无弦环的挑战。
• 克服现有算法将每个无弦环报告多次（具体次数等于环的长度）的局限性。
• 设计一种方法，确保每个无弦环仅被发现一次，从而提升在网络安全分析和化学结构建模等应用中的效率与实用性。
• 实现每环$$\mathcal{O}(n+m)\u0024$的最优输出敏感时间复杂度，其中$n$和$m$分别为顶点数和边数。
• 为现实世界图（如生态网络和城市道路图）提供一种实用且可扩展的解决方案，其中无弦环揭示了结构特性。

提出的方法

• 该算法使用顶点标记方案，以唯一标识并防止重复发现同一无弦环。
• 引入“初始有效顶点三元组”的概念，从一个规范起点启动搜索，确保环的唯一性。
• 采用深度优先搜索（DFS）策略扩展无弦路径，并通过改进的顶点阻塞机制避免重新访问无效路径。
• 在移除阻塞顶点的子图中应用广度优先搜索（BFS），确保每条路径扩展均导向有效无弦环。
• 通过消除会导致非无弦环的顶点对图进行剪枝，提升搜索效率。
• 该方法结合DFS与基于BFS的子图过滤，平衡正确性与性能，实证结果表明非BFS变体在实践中通常运行更快。

实验结果

研究问题

• RQ1 是否可以实现无弦环的枚举，使得每个环仅被报告一次，从而避免以往基于DFS方法中常见的重复？
• RQ2 在输出规模方面，枚举所有无弦环可达到的最优时间复杂度是什么？
• RQ3 如何利用顶点标记和初始三元组选择来强制实现环的规范表示并防止冗余？
• RQ4 在剪枝子图中使用BFS是否能保证所有路径扩展均导向无弦环？这对性能有何影响？
• RQ5 为何在理论上正确性更优的BFS增强版本在实践中反而表现更差？

主要发现

• 所提算法在输出规模上实现了$$\mathcal{O}(n+m)\u0024$的时间复杂度，使其成为输出敏感且大规模枚举的最优解。
• 尽管BFS增强版本在理论上保证避免失败扩展，但实际观测显示不使用BFS的版本运行更快。
• 在9316个无弦环的戈亚尼亚市中心图中，算法仅用1.13秒完成，展示了在真实网络中的高效性。
• 在包含8,136,453个无弦环的7×10网格图上，算法耗时678.09秒，证实了其在大规模实例上的可扩展性。
• 如表2所示，无BFS版本探索的节点数和递归调用次数均少于BFS版本，表明其具有更好的实际性能。
• 该方法在21个测试图（包括生态网络和合成网络）中成功枚举了所有无弦环，无重复且准确率高。