我正在尝试编写一个MySQL PROCEDURE
,它将边e
和边集eset
作为输入,并输出一个布尔值iscyclic
来确定是否附加边缘导致循环图。除了创建一个包含“visit count
”之类的列的所有顶点的表格,然后检查在运行边缘集时是否多次访问任何顶点时,还有更简单的方法吗?
答案 0 :(得分:3)
正如Billiska的评论所示,您需要跟踪森林中的各个树木,即连接的树木。
disjoint set data structure的最简单实现将包含一个临时表,该表将每个顶点的ID
映射到父级的ID
。您可以从一个顶点到下一个顶点跟随这些父链接,直到您最终得到这个树的根,这是一个指向自身的顶点。此根用作标识整个连接集的唯一代表。
因此,要检查是否已连接两个集合,您需要计算它们的根并简单地比较它们。
还有其他工具可以保持树的深度较低:
所有这些都可以在MySQL中建模,但性能行为可能与内存实现不同。
所以我建议推迟,直到你确实知道你需要更多的性能,并有一些数据来测试和比较不同的实现。