210. 课程表 II
210. 课程表 II
现在你总共有 n 门课需要选,记为 0 到 n-1。
在选修某些课程之前需要一些先修课程。
例如,想要学习课程 0 ,你需要先完成课程 1 ,我们用一个匹配来表示他们: [0,1]
给定课程总量以及它们的先决条件,返回你为了学完所有课程所安排的学习顺序。
可能会有多个正确的顺序,你只要返回一种就可以了。如果不可能完成所有课程,返回一个空数组。
示例 1:
输入: 2, [[1,0]]
输出: [0,1]
解释: 总共有 2 门课程。要学习课程 1,你需要先完成课程 0。因此,正确的课程顺序为 [0,1] 。
示例 2:
输入: 4, [[1,0],[2,0],[3,1],[3,2]]
输出: [0,1,2,3] or [0,2,1,3]
解释: 总共有 4 门课程。要学习课程 3,你应该先完成课程 1 和课程 2。
并且课程 1 和课程 2 都应该排在课程 0 之后。
因此,一个正确的课程顺序是 [0,1,2,3] 。另一个正确的排序是 [0,2,1,3] 。
说明:
输入的先决条件是由边缘列表表示的图形,而不是邻接矩阵。详情请参见图的表示法。
你可以假定输入的先决条件中没有重复的边。
提示:
这个问题相当于查找一个循环是否存在于有向图中。如果存在循环,
则不存在拓扑排序,因此不可能选取所有课程进行学习。
通过 DFS 进行拓扑排序 - 一个关于Coursera的精彩视频教程(21分钟),介绍拓扑排序的基本概念。
拓扑排序也可以通过 BFS 完成。] 分析
经典拓扑排序。
可以用 BFS 或 DFS 两种方法解决。
BFS
可以先用一个数组记录每门课程还未修的前置课程数目,可称为各个节点的入度数组,记为 degree。
之后逐一把入度为 0 的节点加入结果,并及时更新其相邻节点的入度,这样可能有新的节点的入度变成 0。
循环直到所有入度为 0 的节点都加入了结果。
func findOrder(numCourses int, prerequisites [][]int) []int {
degree := make([]int, numCourses)
nexts := make([][]int, numCourses)
for _, req := range prerequisites {
degree[req[0]]++
nexts[req[1]] = append(nexts[req[1]], req[0])
}
queue := list.New()
for i := 0; i < numCourses; i++ {
if degree[i] == 0 {
queue.PushBack(i)
}
}
res := make([]int, 0, numCourses)
for queue.Len() > 0 {
course := queue.Remove(queue.Front()).(int)
res = append(res, course)
for _, next := range nexts[course] {
degree[next]--
if degree[next] == 0 {
queue.PushBack(next)
}
}
}
if len(res) == numCourses {
return res
}
return nil
}时间复杂度 O(n+m),n 和 m 分别为节点数量和边的数量。
空间复杂度 O(n)。
DFS
也可以用 dfs 来解决拓扑排序问题。dfs 过程中,除了要判断一个节点是否已经访问过,还需要判断当次 dfs 是否形成了环, 这可以给每个节点增加两个状态来标记:
func findOrder(numCourses int, prerequisites [][]int) []int {
dependency := make([][]int, numCourses)
for _, req := range prerequisites {
dependency[req[0]] = append(dependency[req[0]], req[1])
}
flags := make([]int, numCourses)
var result []int
var dfs func(course int) bool
dfs = func(course int) bool {
// 1.节点已经被访问过
if flags[course] != 0 {
return flags[course] == 1 // 1 代表之前 dfs 访问该点无环
}
// 2.节点还没有被访问过,先假设有环
flags[course] = 2
for _, neighbor := range dependency[course] {
if !dfs(neighbor) { // 真的有环
return false
}
}
// 所有相邻节点都 dfs 搜索过了,可以确定当次 dfs 无环,加入结果
flags[course] = 1
result = append(result, course)
return true
}
for i := 0; i < numCourses; i++ {
if !dfs(i) {
return nil
}
}
return result
}复杂度同 BFS。