有向图递归 - 确定循环的“父”

问题描述

我尝试使用以下代码为有向图实现“getCycles”函数：

    private boolean getCycles(Vertex v,HashMap<Vertex,discoverStatus> d,Vertex> r) {
        d.put(v,discoverStatus.disCOVERING);
        HashSet<Vertex> neighbors = getNeighbors(v);
        for (Vertex n : neighbors) {
            if (d.get(n) == discoverStatus.disCOVERING) {
                
                r.put(v,n);
                return true;
            }
            if (d.get(n) == discoverStatus.UNdisCOVERED && getCycles(n,d,r) == true)
                r.put(v,n);
            return true;
        }
        d.put(v,discoverStatus.disCOVERED);
        return false;
    }

其中 Vertex 类只有一个 String 字段，discoverStatus/getNeighbors 定义为：

    public enum discoverStatus {
        UNdisCOVERED,disCOVERING,disCOVERED
    }

    HashMap<Vertex,HashSet<Vertex>> adjacencyMap = new HashMap<>();
    public HashSet<Vertex> getNeighbors(Vertex vertex) {
        return this.adjacencyMap.get(vertex);
    }

我的问题是：用于循环检测的这种“着色”算法（如果不熟悉，请参阅 here）能否以某种方式提供一种检测“父”节点的方法？例如，使用以下有向图：

A
    J
        B
            D
            G
    E
        H
        F
        B
            D
            G
    C*
        A

我给 C 加了星号，因为它指向 A，在它们之间创建了一个循环。然而，A 是这里的父级。如何在 getCycles 算法或其他方式中检测到这一点？起初我想我只是做一个深度优先搜索，看看一个是否包含另一个，然后我意识到它们都包含彼此。也许我应该这样做，但使用计数器变量来跟踪“深度”？我只是不知道如何开始。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）