基于Java實現(xiàn)無向環(huán)和有向環(huán)的檢測

更新時間：2022年04月06日 11:07:41 作者：之一Yo

這篇文章主要介紹了如何在?Java?中實現(xiàn)無向環(huán)和有向環(huán)的檢測，文中的示例代碼講解詳細，對我們學習Java有一定的幫助，需要的可以參考一下

無向環(huán)

一個含有環(huán)的無向圖如下所示，其中有兩個環(huán)，分別是 0-2-1-0 和 2-3-4-2：

要檢測無向圖中的環(huán)，可以使用深度優(yōu)先搜索。假設從頂點 0 出發(fā)，再走到相鄰的頂點 2，接著走到頂點 2 相鄰的頂點 1，由于頂點 0 和頂點 1 相鄰，并且頂點 0 被標記過了，說明我們饒了一圈，所以無向圖中存在環(huán)。雖然頂點 2 和頂點 1 相鄰，但是并不能說明存在環(huán)，因為我們就是從頂點 2 直接走到頂點 1 的，這二者只有邊的關系。算法如下所示：

package com.zhiyiyo.graph;

import com.zhiyiyo.collection.stack.LinkStack;
import com.zhiyiyo.collection.stack.Stack;

/**
 * 無向圖中的環(huán)
 */
public class Cycle {
    private boolean[] marked;
    private Graph graph;
    private boolean hasCycle;

    public Cycle(Graph graph) {
        this.graph = graph;
        marked = new boolean[graph.V()];

        for (int v = 0; v < graph.V(); ++v) {
            if (!marked[v]) {
                dfs(v);
            }
        }
    }

    private void dfs(int s) {
        if (hasCycle()) return;

        Stack<Integer> vertexes = new LinkStack<>();
        vertexes.push(s);
        marked[s] = true;

        int lastVertex = s;
        while (!vertexes.isEmpty()) {
            int v = vertexes.pop();

            for (int w : graph.adj(v)) {
                if (!marked[w]) {
                    marked[w] = true;
                    vertexes.push(w);
                } else if (w != lastVertex) {
                    hasCycle = true;
                    return;
                }
            }

            lastVertex = v;
        }
    }

    /**
     * 圖中是否有環(huán)
     */
    public boolean hasCycle() {
        return hasCycle;
    }
}

有向環(huán)

有向圖

有向圖的實現(xiàn)方式和上一篇博客《如何在 Java 中實現(xiàn)無向圖》中無向圖的實現(xiàn)方式幾乎一樣，只是在添加邊 v-w 時只在頂點 v 的鏈表上添加頂點 w，而不對頂點 w 的鏈表進行操作。如果把 LinkGraph 中成員變量的訪問權限改成 protected，只需繼承并重寫 addEdge 方法即可：

package com.zhiyiyo.graph;


public class LinkDigraph extends LinkGraph implements Digraph {

    public LinkDigraph(int V) {
        super(V);
    }

    @Override
    public void addEdge(int v, int w) {
        adj[v].push(w);
        E++;
    }

    @Override
    public Digraph reverse() {
        Digraph digraph = new LinkDigraph(V());
        for (int v = 0; v < V(); ++v) {
            for (int w : adj(v)) {
                digraph.addEdge(w, v);
            }
        }
        return digraph;
    }
}

檢測算法

一個含有有向環(huán)的有向圖如下所示，其中 5-4-3-5 構成了一個環(huán)：

這里使用遞歸實現(xiàn)的深度優(yōu)先搜索來檢測有向環(huán)。假設從頂點 0 開始走，一路經過 5、4、3 這三個頂點，最終又碰到了與頂點 3 相鄰的頂點 5，這時候如果知道頂點 5 已經被訪問過了，并且遞歸函數(shù)還被壓在棧中，就說明深度優(yōu)先搜索從頂點 5 開始走，又回到了頂點 5，也就是找到了有向環(huán)。算法如下所示：

package com.zhiyiyo.graph;

import com.zhiyiyo.collection.stack.LinkStack;
import com.zhiyiyo.collection.stack.Stack;

/**
 * 有向圖中的環(huán)
 */
public class DirectedCycle {
    private boolean[] marked;
    private boolean[] onStack;
    private int[] edgeTo;
    private Graph graph;
    private Stack<Integer> cycle;

    public DirectedCycle(Digraph graph) {
        this.graph = graph;
        marked = new boolean[graph.V()];
        onStack = new boolean[graph.V()];
        edgeTo = new int[graph.V()];

        for (int v = 0; v < graph.V(); ++v) {
            if (!marked[v]) {
                dfs(v);
            }
        }
    }

    private void dfs(int v) {
        marked[v] = true;
        onStack[v] = true;

        for (int w : graph.adj(v)) {
            if (hasCycle()) return;
            if (!marked[w]) {
                marked[w] = true;
                edgeTo[w] = v;
                dfs(w);
            } else if (onStack[w]) {
                cycle = new LinkStack<>();
                cycle.push(w);
                for (int i = v; i != w; i = edgeTo[i]) {
                    cycle.push(i);
                }
                cycle.push(w);
            }
        }

        onStack[v] = false;
    }

    /**
     * 圖中是否有環(huán)
     */
    public boolean hasCycle() {
        return cycle != null;
    }

    /**
     * 圖中的一個環(huán)
     */
    public Iterable<Integer> cycle() {
        return cycle;
    }
}

以上就是基于Java實現(xiàn)無向環(huán)和有向環(huán)的檢測的詳細內容，更多關于Java無向環(huán) 有向環(huán)的資料請關注腳本之家其它相關文章！

您可能感興趣的文章: