Preface :
In Section 24.3, we developed the depth-first method dfs(), which searches all of the vertices in a graph by using a series of calls to dfsVisit(). Method dfs() returns a list, called dfsList, that sequences the vertices in the reverse order of their finishing times. The order of vertices in dfsList depends on the selection of starting vertices for the calls to dfsVisit(). When the graph is acyclic, we will show that dfsList has a topological order implying that if P(v, w) is a path from v to w, then v must occur before w in the list. We say that dfs() produces a topological sort of the vertices.
A topological sort has important applications for graphs that define a precedence order in the scheduling of activities. For instance, a department at a university uses a graph to lay out the courses for its major. Edges in the graph define course prerequisites. Below figure is a graph of courses for a religious studies major. A student can elect courses R51 and R37 in any order, but R63 can be taken only after the student completes these two courses because they are prerequisites.
The previous examples are clearly acyclic graphs. A topological sort of the vertices provides the student a possible four-year schedule of courses or the contractor a schedule for the subconstractors.
Why It Works :
Assume a depth-first search returns a list that describes an order of visits to all of the vertices in an acyclic graph. We must show that for any pair of vertices v and w in the graph that are connected by a path P(v, w), v must appear before w in the list. We do this in two stages. We first establish that both v and w are visited by one of the dfsVisit() calls that were used by dfs() to create the list. Then we establish that within the sublist created by dfsVisit(), v must occur before w.
The dfs() algorithm builds the list of visits to vertices by making repeated calls to dfsVisit(). For some starting vertex vs, dfsVisit(vs) recursively scans down a path of neighbors and discovers v; that is, v is reachable from vs. Because there is a path P(v,w), we know that w is reachable from vs and thus is in the sublist of vertices returns by dfsVisit(vs) (Below Figure-a). Establishing that v must before w in the sublist relies on the fact the path is acyclic. Assume that v occurs after w in the list. This implies that dfsVisit(vs) discovers w before v. Equivalently, there is a path P(w, v) connecting w to v. By appending the path P(v, w), we have a cycle of length 2 or more connecting vertex w to itself, contrary to the fact that the graph is acyclic (Below Figure-b).
Implementing the topologicalSort() Method :
The static method topologicalSort() implements the topological sort algorithm. The output is dfsList from the depth-first search algorithm discussed in Chapter 24, so we use the code structure of that algorithm, with one modification: A topological sort requires an acyclic graph, so topologicalSort() checks for a cycle when calling dfsVisit(). This simply means setting the argument checkForCycle to true and including the call in a try block. The catch block catches an exception from dfsVisit() and throws a second IllegalPathStateException :
- Running Time for the Topological Sort :
The topological sort uses the algorithm for dfs(), so its running time is also O(V+E), where V is the number of vertices in the graph and E is the number of edges.
This is a blog to track what I had learned and share knowledge with all who can take advantage of them
標籤
- [ 英文學習 ]
- [ 計算機概論 ]
- [ 深入雲計算 ]
- [ 雜七雜八 ]
- [ Algorithm in Java ]
- [ Data Structures with Java ]
- [ IR Class ]
- [ Java 文章收集 ]
- [ Java 代碼範本 ]
- [ Java 套件 ]
- [ JVM 應用 ]
- [ LFD Note ]
- [ MangoDB ]
- [ Math CC ]
- [ MongoDB ]
- [ MySQL 小學堂 ]
- [ Python 考題 ]
- [ Python 常見問題 ]
- [ Python 範例代碼 ]
- [心得扎記]
- [網路教學]
- [C 常見考題]
- [C 範例代碼]
- [C/C++ 範例代碼]
- [Intro Alg]
- [Java 代碼範本]
- [Java 套件]
- [Linux 小技巧]
- [Linux 小學堂]
- [Linux 命令]
- [ML In Action]
- [ML]
- [MLP]
- [Postgres]
- [Python 學習筆記]
- [Quick Python]
- [Software Engineering]
- [The python tutorial]
- 工具收集
- 設計模式
- 資料結構
- ActiveMQ In Action
- AI
- Algorithm
- Android
- Ansible
- AWS
- Big Data 研究
- C/C++
- C++
- CCDH
- CI/CD
- Coursera
- Database
- DB
- Design Pattern
- Device Driver Programming
- Docker
- Docker 工具
- Docker Practice
- Eclipse
- English Writing
- ExtJS 3.x
- FP
- Fraud Prevention
- FreeBSD
- GCC
- Git
- Git Pro
- GNU
- Golang
- Gradle
- Groovy
- Hadoop
- Hadoop. Hadoop Ecosystem
- Java
- Java Framework
- Java UI
- JavaIDE
- JavaScript
- Jenkins
- JFreeChart
- Kaggle
- Kali/Metasploit
- Keras
- KVM
- Learn Spark
- LeetCode
- Linux
- Lucene
- Math
- ML
- ML Udemy
- Mockito
- MPI
- Nachos
- Network
- NLP
- node js
- OO
- OpenCL
- OpenMP
- OSC
- OSGi
- Pandas
- Perl
- PostgreSQL
- Py DS
- Python
- Python 自製工具
- Python Std Library
- Python tools
- QEMU
- R
- Real Python
- RIA
- RTC
- Ruby
- Ruby Packages
- Scala
- ScalaIA
- SQLAlchemy
- TensorFlow
- Tools
- UML
- Unix
- Verilog
- Vmware
- Windows 技巧
- wxPython
訂閱:
張貼留言 (Atom)
[Git 常見問題] error: The following untracked working tree files would be overwritten by merge
Source From Here 方案1: // x -----删除忽略文件已经对 git 来说不识别的文件 // d -----删除未被添加到 git 的路径中的文件 // f -----强制运行 # git clean -d -fx 方案2: 今天在服务器上 gi...
-
前言 : 為什麼程序管理這麼重要呢?這是因為: * 首先,本章一開始就談到的,我們在操作系統時的各項工作其實都是經過某個 PID 來達成的 (包括你的 bash 環境), 因此,能不能進行某項工作,就與該程序的權限有關了。 * 再來,如果您的 Linux 系統是個...
-
屬性 : 系統相關 - 檔案與目錄 語法 : du [參數] [檔案] 參數 | 功能 -a | 顯示目錄中個別檔案的大小 -b | 以bytes為單位顯示 -c | 顯示個別檔案大小與總和 -D | 顯示符號鏈結的來源檔大小 -h | Hum...
-
來源自 這裡 說明 : split 是 Perl 中非常有用的函式之一,它可以將一個字串分割並將之置於陣列中。若無特別的指定,該函式亦使用 RE 與 $_ 變數 語法 : * split /PATTERN/,EXPR,LIMIT * split /...
沒有留言:
張貼留言