圖表示由相連的結點所表示的抽象模型,這個模型能夠用來研究相似「可否從某個點到達指定的另外一個點」、「有多少個結點和指定的結點相連」、「兩個結點之間最短的鏈接是哪一條」。圖的算法與不少實際問題相關。好比地圖、搜索引擎、電路、任務調度、商業交易、計算機網絡、社交網絡等。
無向圖是一種最簡單、最基本的圖模型,僅僅由一組頂點和一組可以將兩個頂點相連的邊組成。
在圖的實現中,用從0開始的整數值來表示圖的結點,用相似8-5來表示鏈接結點8和5的邊,在無向圖中,這與5-8表示的是同一條邊。4-6-3-9表示的是4到9之間的一條路徑。java
無向圖的API算法
public class Graph{ Graph(int V) //建立一個含有V個頂點但不含有邊的圖 Graph(In in) //從標準輸入流in讀入一幅圖 int v() //頂點數 int E() //邊數 void addEdge(int v, int w) //向圖中添加一條邊v-w Iterable<Integer>adj(intv) //和相鄰的全部頂點 String toString() //對象的字符串表示 }
第二個構造函數接受的輸入由2*E+2個整數組成,前兩行分別是V和E,表示圖中頂點和邊的數量。接下來每行都是一對互相鏈接的頂點。數組
能夠選擇鄰接表數組做爲實現Graph的數據結構,它將每一個頂點的全部相鄰頂點都保存在一張鏈表中,讀取tingG後構造的鄰接表數組如圖所示:
網絡
代碼實現:數據結構
public class Graph { private final int V; // vertex private int E; // edge private Bag<Integer>[] adj; public Graph(int V) { this.V = V; this.E = 0; adj = (Bag<Integer>[]) new Bag[V]; for (int v = 0; v < V; v++) { adj[v] = new Bag<Integer>(); } } public Graph(In in) { this(in.readInt()); int E = in.readInt(); for (int i = 0; i < E; i++) { int v = in.readInt(); int w = in.readInt(); addEdge(v, w); } } public int V() { return V; } public int E() { return E; } public void addEdge(int v, int w) { adj[v].add(w); adj[w].add(v); E++; } public Iterable<Integer> adj(int v) { return adj[v]; } }
用數組adj[]來表示圖的頂點,能夠快速訪問給定頂點的鄰接頂點列表;用Bag數據類型來存儲一個頂點的全部鄰接頂點,能夠保證在常數時間內添加新的邊或者遍歷任意頂點的鄰接頂點。要添加好比5-8這條邊時,addEdge方法除了會把8添加到5的鄰接表中,還會把5添加到8的鄰接表。函數
這種實現的性能特色爲:性能
深度優先搜索是一種遍歷圖的方式,這種算法的軌跡與走迷宮很是相似。能夠將迷宮做爲圖,迷宮的通道做爲圖的邊,迷宮的路口做爲圖的點,迷宮可認爲是一種直觀的圖。探索迷宮的一種方法叫作Tremaux搜索。這種方法的具體作法是,選擇一條沒有標記過的通道,在走過的路上鋪一條繩子;標記全部第一次通過的路口和通道;當來到第一個標記過的路口時,回退到上一個路口;當回退的路口已沒有可走的通道時繼續回退。
這樣,最終能夠找到一條出路,並且不會屢次通過同一通道或者路口。
this
深度優先搜索的代碼實現與走迷宮相似:搜索引擎
public class DepthFirstSearch { private boolean[] marked; private int count; private final int s; public DepthFirstSearch(Graph G, int s) { marked = new boolean[G.V()]; this.s = s; dfs(G, s); } private void dfs(Graph G, int v) { marked[v] = true; for (int w : G.adj(v)) { if (!marked[w]) { dfs(G, w); } } } public boolean marked(int w) { return marked[w]; } public int count() { return count; } }
這段代碼會搜索出全部與頂點s相鄰的點,中dfs()方法的遞歸調用機制以及marked數組對應迷宮中的繩子的做用,當已經處理完一個頂點的全部相鄰頂點後,遞歸會結束。算法在運行的時候,老是會沿着一個頂點的第一個相鄰頂點不斷深刻,直到遇到一個在marked數組已經標記的頂點,才逐層退出遞歸,這也是深度優先搜索名稱的由來。最終搜索的結果存儲在marked數組中,標記爲true的位對應的索引就是與頂點s相連的點。計算機網絡
深度優先搜索能夠解決路徑檢測問題,即回答「兩個給定的頂點之間是否存在一條路徑?」,但若是想找出這條路徑呢?要回答這個問題,只須要對上面的代碼稍做擴展:
public class DepthFirstPaths { private boolean[] marked; private int[] edgeTo; //新增的,用於記錄路徑 private final int s; public DepthFirstPaths(Graph G, int s) { marked = new boolean[G.V()]; edgeTo = new int[G.V()]; this.s = s; dfs(G, s); } private void dfs(Graph G, int v) { marked[v] = true; for (int w : G.adj(v)) { if (!marked[w]) { edgeTo[w] = v; //記錄路徑 dfs(G, w); } } } public boolean marked(int w) { return marked[w]; } public int count() { return count; } public boolean hasPathTo(int v) { //判斷是否存在從s到v的路徑 return marked(v); } public Iterable<Integer> pathTo(int v) { //獲取從s到v的路徑,不存在則返回null if (!hasPathTo(v)) return null; Stack<Integer> path = new Stack<Integer>(); for (int x = v; x != s; x = edgeTo[x]) { path.push(x); } path.push(s); return path; } public static void main(String[] args) { In in = new In(args[0]); Graph G = new Graph(in); int s = Integer.parseInt(args[1]); DepthFirstPaths search = new DepthFirstPaths(G, s); // for (int v = 0; v < G.V(); v++) { StdOut.print(s+" to "+v+": "); if(search.hasPathTo(v)){ for(int x:search.pathTo(v)){ if(x==s) StdOut.print(x); else StdOut.print("-"+x); } } StdOut.println(); } } }
這段代碼添加了edgeTo[]整形數組來起到Tremaux搜索中繩子的做用。每次由邊v-w第一次訪問w時,會將edgeTo[w]設爲v,最終edgeTo數組是一顆以起點爲根節點的樹,記錄了由任意連通的結點回到根節點的路徑。
下圖爲由一副圖生成的edgeTo的內容,及路徑樹的結構的示例:
這與代碼運行結果是一致的:
java DepthFirstPaths tinyCG.txt 0 0 to 0:0 0 to 1:0-2-1 0 to 2:0-2 0 to 3:0-2-3 0 to 4:0-2-3-4 0 to 5:0-2-3-5
深度優先搜索標記與起點連通的全部頂點所需的時間與頂點的度數之和成正比。
使用深度優先搜索獲得從給定起點到任意標記頂點的路徑所需的時間與路徑的長度成正比。
深度優先搜索獲得的路徑不只與圖的結構有關,還受圖的表示的影響,鄰接表中頂點的順序不一樣,獲得的路徑也會不一樣。因此當須要計算兩點間的最短路徑(單點最短路徑)時,就沒法依賴深度優先搜索了,而廣度優先搜索能夠解決單點最短路徑問題。
要找到從s到v的最短路徑,從s開始,在全部由一條邊就能夠到達的頂點中尋找v,若是找不到就繼續在於s距離兩條邊的頂點中查找,如此一直進行。
public class BreadthFirstPaths { private boolean[] marked; private int[] edgeTo; private final int s; public BreadthFirstPaths(Graph G, int s) { marked = new boolean[G.V()]; edgeTo = new int[G.V()]; this.s = s; bfs(G, s); } private void bfs(Graph G, int s) { Queue<Integer> queue = new Queue<Integer>(); marked[s] = true; queue.enqueue(s); while (!queue.isEmpty()) { int v = queue.dequeue(); for (int w : G.adj(v)) { if(!marked[w]){ edgeTo[w]=v; marked[w]=true; queue.enqueue(w); } } } } public boolean hasPathTo(int v){ return marked[v]; } public Iterable<Integer> pathTo(int v) { if (!hasPathTo(v)) return null; Stack<Integer> path = new Stack<Integer>(); for (int a = v; a != s; a = edgeTo[a]) { path.push(a); } path.push(s); return path; } // cmd /c --% java algs4.four.BreadthFirstPaths ..\..\..\algs4-data\tinyCG.txt 0 public static void main(String[] args) { In in = new In(args[0]); int s = Integer.parseInt(args[1]); Graph g = new Graph(in); BreadthFirstPaths search = new BreadthFirstPaths(g, s); for (int i = 0; i < g.V(); i++) { StdOut.print(i + ":"); Iterable<Integer> path = search.pathTo(i); for (Integer p : path) { if (search.s != p) { StdOut.print("-" + p); } else { StdOut.print(p); } } StdOut.println(); } } }
方法bfs中定義了一個隊列來保存全部已經被標記過但其鄰接表還未被檢查過的頂點。先將起點加入隊列,而後重複如下步驟直到隊列爲空:
無論是深度優先仍是廣度優先搜索算法,它們都會先將起點存入數據結構中,而後重複如下步驟直到數據結構被清空: