主頁 > 軟體設計 > 【資料結構與演算法】->演算法->拓撲排序-.如何確定代碼源檔案的編譯依賴?

【資料結構與演算法】->演算法->拓撲排序-.如何確定代碼源檔案的編譯依賴?

2020-09-23 04:57:27 軟體設計

拓撲排序(Topological Sorting)

    • Ⅰ 前言
    • Ⅱ 拓撲排序演算法決議
      • A. Kahn 演算法
      • B. DFS 演算法
      • C. 演算法時間復雜度

Ⅰ 前言

我們一般寫程式的時候,一個完整的專案往往會包含很多代碼源檔案,編譯器在編譯整個專案的時候,需要按照依賴關系,依次編譯每個源檔案,比如 a.java 依賴 b.java,那在編譯的時候,編譯器需要先編譯 b.java,才能編譯 a.java,

原來我寫 C 語言的程式的時候,經常要用到聯合編譯,當時我們運行程式都是手動在命令列上編譯和運行,所以如果要聯合編譯而且有依賴關系,比如 a.c 里用到了 b.c 的函式,我們就要先把 b.c 編譯,生成一個 obj 檔案,然后再用 b.obj 和 a.c 一起編譯,大家如果看我最早的文章,一定會經常看到,現在用 Java 就舒服很多,IDE 會自動編譯這個檔案所依賴的其他檔案,不用我再一個一個按照依賴關系手動編譯了,

編譯器通過分析源檔案或者程式員事先寫好的編譯組態檔(比如 Makefile)檔案,來獲取這種區域的依賴關系,那么編譯器又該如何通過源檔案兩兩之間的區域依賴關系,確定一個全域的編譯順序呢?

在這里插入圖片描述
這就要用到我們這篇文章要講的這個演算法了,

Ⅱ 拓撲排序演算法決議

上面提出的問題的解決思路與 “圖” 這種資料結構的一個經典演算法 “拓樸排序演算法” 有關,那什么是拓撲排序呢?這個概念很好理解,我們來看一個生活中的拓撲排序的例子,

我們在穿衣服的時候都有一定的順序,我們可以把這種順序想成,衣服與衣服之間有一定的依賴關系,比如說,你必須先穿內褲,才能穿外褲,不能反過來,不是每個人都能穿出超人的感覺,

假設我們現在有八件衣服要穿,它們之間的兩兩依賴關系我們已經很清楚了,那如何安排一個穿衣序列,能夠滿足所有的兩兩之間的依賴關系?

這就是個拓樸排序的問題,從這個例子里,你應該能想到,在很多時候,拓撲排序的序列并不是唯一的,你可以看一下下面這張圖,這兩種排序都滿足這些區域先后關系的穿衣序列,

在這里插入圖片描述
弄懂了生活中的這個例子,你應該對開篇講的編譯依賴關系有思路了,它和這個問題一樣,都可以抽象成一個拓撲排序問題,

拓撲排序的原理非常簡單,我們的重點放在拓撲排序的實作上面,

我們知道,演算法是構建在具體的資料結構上的,針對這個問題,我們先來看看,如何將問題背景抽象成具體的資料結構,

如果 a 先于 b 執行,也就是說 b 依賴于 a,那么就在頂點 a 和頂點 b 之間,構建一條從 a 指向 b 的邊,而且,這個圖不僅要是有向圖,還要是一個有向無環圖,也就是不能存在像 a->b->c->d->a 這樣的回圈依賴關系,因為圖中一旦出現環,拓撲排序就無法作業了,實際上,拓撲排序本身就是基于有向無環圖的一個演算法,

package com.tyz.about_topo.core;

import java.util.LinkedList;

/**
 * 構造有向無環圖
 * @author Tong
 */
public class Graph {
	private int vertex; //頂點數
	private LinkedList<Integer> adj[]; //鄰接表

	public Graph() {
	}

	@SuppressWarnings("unchecked")
	public Graph(int vertex) {
		this.vertex = vertex;
		this.adj = new LinkedList[this.vertex];
		
		for (int i = 0; i < vertex; i++) {
			this.adj[i] = new LinkedList<Integer>();
		}
	}
	
	public void addEdge(int start, int end) { //加有向邊
		this.adj[start].add(end);
	}

	public LinkedList<Integer>[] getAdj() {
		return adj;
	}

	public int getVertex() {
		return vertex;
	}

	public void setVertex(int vertex) {
		this.vertex = vertex;
	}

}

資料結構定義好了,現在我們來看,如何在這個有向無環圖上,實作拓撲排序,

拓撲排序有兩種實作方法,都不難理解,它們分別是 Kahn 演算法DFS 深度優先搜索演算法,我們依次來看看,

A. Kahn 演算法

Kahn 演算法實際上用的是貪心演算法的思想,思路也比較清晰,

定義資料結構的時候,如果 s 需要先于 t 執行,那就添加一條 s 指向 t 的邊,所以,如果某個頂點的入度為 0,也就表示,沒有任何頂點必須先于這個頂點執行,那么這點頂點就可以執行了,

我們先從圖中,找出一個入度為 0 的頂點,將其輸出到拓撲排序的結果序列中(對應代碼中就是把它列印出來),并且把這個頂點從圖中洗掉(也就是把這個頂點可達的頂點的入度都減 1),我們回圈執行上面的程序,直到所有的頂點都被輸出,最后輸出的序列,就是滿足區域依賴關系的拓撲排序,

package com.tyz.about_topo.core;

import java.util.LinkedList;

/**
 * 拓撲排序
 * @author Tong
 */
public class TopoSort {
	private Graph graph; //有向無環圖
	private int vertex; //圖的頂點數
	
	public TopoSort(int vertex) {
		this.vertex = vertex;
		this.graph = new Graph(vertex);
	}
	
	/**
	 * 用 Kahn演算法 實作拓撲排序
	 */
	public void topoSortByKahn() {
		int[] inDegree = new int[this.vertex]; //統計每個頂點的入度
		for (int i = 0; i < this.vertex; ++i) {
			for (int j = 0; j < this.graph.getAdj()[i].size(); ++j) {
				int w = this.graph.getAdj()[i].get(j);
				inDegree[w]++;
			}
		}
		LinkedList<Integer> queue = new LinkedList<Integer>();
		for (int i = 0; i < this.vertex; ++i) {
			if (inDegree[i] == 0) {
				queue.add(i);
			}
		}
		while (!queue.isEmpty()) {
			int i = queue.remove();
			System.out.println("->" + i);
			for (int j = 0; j < this.graph.getAdj()[i].size(); ++j) {
				int k = this.graph.getAdj()[i].get(j);
				inDegree[k]--;
				if (inDegree[k] == 0) {
					queue.add(k);
				}
			}
		}
	}
	
}

代碼就是根據我們上面說的思路實作的,比較簡單,大家可以做一個參考,

B. DFS 演算法

圖的深度優先搜索演算法在我之前的文章里寫過,有興趣或者有疑惑的同學可以跳轉過去看,

【資料結構與演算法】->演算法->深度優先搜索&廣度優先搜索

實際上,拓撲排序也可以用深度優先搜索演算法來實作,不過這里更準確的說法不是深度優先搜索,而是深度優先遍歷,遍歷圖中的所有頂點,而非只是搜索一個頂點到另一個頂點的路徑,

package com.tyz.about_topo.core;

import java.util.LinkedList;

/**
 * 拓撲排序
 * @author Tong
 */
public class TopoSort {
	private Graph graph; //有向無環圖
	private int vertex; //圖的頂點數
	
	public TopoSort(int vertex) {
		this.vertex = vertex;
		this.graph = new Graph(vertex);
	}
	
	/**
	 * 用 DFS演算法 實作拓撲排序
	 */
	public void topoSortByDFS() {
		@SuppressWarnings("unchecked")
		LinkedList<Integer> inverseAdj[] = new LinkedList[this.vertex]; //創建逆鄰接表
		for (int i = 0; i < this.vertex; ++i) {
			for (int j = 0; j < this.graph.getAdj()[i].size(); ++i) {
				int w = this.graph.getAdj()[i].get(j);
				inverseAdj[w].add(i);
			}
		}
		boolean[] visited = new boolean[this.vertex];
		for (int i = 0; i < this.vertex; ++i) { //深度優先遍歷圖
			if (visited[i] == false) {
				visited[i] = true;
				dfs(i, inverseAdj, visited);
			}
		}
	}
	
	/**
	 * 遞回實作深度優先遍歷
	 * @param vertex 當前頂點
	 * @param inverseAdj 逆鄰接表
	 * @param visited 頂點狀態
	 */
	private void dfs(int vertex, LinkedList<Integer> inverseAdj[], boolean[] visited) {
		for (int i = 0; i < inverseAdj[this.vertex].size(); ++i) {
			int w = inverseAdj[this.vertex].get(i);
			if (visited[w] == true) {
				continue;
			}
			visited[i] = true;
			dfs(w, inverseAdj, visited);
		}
		System.out.println("->" + vertex); //輸出完逆鄰接表中這個頂點所達到的所有頂點后輸出自己
	}

這個演算法包含兩個關鍵部分,

第一部分是通過鄰接表構造逆鄰接表,鄰接表中,邊 s->t 表示 s 先于 t 執行,也就是 t 要依賴 s,在逆鄰接表中,邊 s->t 表示 s 依賴于 t ,s 后于 t 執行,

第二部分是這個演算法的核心,也就是遞回處理每個頂點,對于頂點 vertex 來說,我們先輸出它可達的所有頂點,也就是說,先把它依賴的所有的頂點輸出了,然后再輸出自己,

大家可以想一下這個邏輯,深度優先遍歷是先找到這個頂點,然后輸出它指向的所有頂點,如果遇到死路再回溯回去,但是如果這樣的話,我們是沒辦法把一個頂點依賴的所有頂點都先輸出來的,但如果我們把鄰接表反過來,我們將一個頂點設定為最后執行的,這樣我們可以通過遞回遍歷找到它所有的子頂點,也就是它依賴的所有頂點,都先輸出完,最后再輸出自己,這樣就可以保證拓撲排序不會出錯,

C. 演算法時間復雜度

現在我們已經了解了 Kahn 演算法和 DFS 演算法求拓撲排序的原理,我們再來看看它們的時間復雜度,

從 Kahn 演算法代碼中可以看出來,每個頂點被訪問了一次,每個邊也都被訪問了一次,所以,Kahn 演算法的時間復雜度就說 O(V+E),V 表示頂點的個數,E 表示邊的個數,

DFS 演算法的時間復雜度在圖的搜索演算法中我詳細分析過,每個頂點被訪問了兩次,每條邊被訪問了一次,所以時間復雜度也是 O(V+E),

需要注意的是,這里的圖可能不是連通的,有可能是好幾個不連通的子圖構成,所以 E 并不一定大于 V,兩者的大小關系不確定,所以,在時間復雜度的表示里,V、E 都要考慮在內,

轉載請註明出處,本文鏈接:https://www.uj5u.com/ruanti/109243.html

標籤:其他

上一篇:淺談C++設計模式--單例模式

下一篇:史上最全的程式員職業晉升規劃,按照這規劃,我年薪達到43W!

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more