在无向图算法结果的DFS-XOR循环检测中去除错误循环

Question

我正在实施this paper中定义的算法，但我无法从结果中获得删除错误周期的建议方法。

文章引用： The method will find non-existing cycles in case there are no overlapping edges at all between the two cycles in base. This can be fixed by first applying AND on each two cycles in base.

我应该在什么时候申请AND？

在此算法中是否有更详细的解释假咒语的解释？

Answer 1

我认为目的是在计算两个循环的XOR以获得新循环之前，检查以确保它们不是不相交的。这是因为两个不相交周期的XOR是两个不相交的周期，这不是你想要的。

事实上，我认为将AND和XOR阶段结合起来更有效 - 为了计算你需要识别属于两个周期的边的XOR以便排除它们。所以只要跟踪你是否扔掉任何边缘，如果你没有，那么你就没有找到新的周期。