算法期中1004. Kahn算法求解有向无环图拓扑排序

算法期中1004. 拓扑序[Special judge]

有向无环图

有向无环图（Directed Acyclic Graph, DAG）是有向图的一种，字面意思的理解就是图中没有环。常常被用来表示事件之间的驱动依赖关系，管理任务之间的调度。
拓扑排序是对DAG的顶点进行排序，使得对每一条有向边(u, v)，均有u（在排序记录中）比v先出现。亦可理解为对某点v而言，只有当v的所有源点均出现了，v才能出现。

Kahn算法

具体流程：
1. 记录每个点的入度
2. 从 DAG 图中选择一个 没有前驱（即入度为0）的顶点并输出。
3. 从图中删除该顶点和所有以它为起点的有向边。
4. 重复2和3直到当前的 DAG 图为空或当前图中不存在无前驱的顶点为止。

Note:
该算法的实现十分直观，关键在于需要维护一个入度为0的顶点的集合：每次从该集合中取出(没有特殊的取出规则，随机取出也行，使用队列/栈也行，下面示例使用的是queue)一个顶点，将该顶点放入保存结果的List中。
紧接着循环遍历由该顶点引出的所有边，从图中移除这条边，同时获取该边的另外一个顶点，如果该顶点的入度在减去本条边之后为0，那么也将这个顶点放到入度为0的集合中。然后继续从集合中取出一个顶点。当集合为空之后，检查图中是否还存在任何边，如果存在的话，说明图中至少存在一条环路。不存在的话则返回结果List，此List中的顺序就是对图进行拓扑排序的结果。

算法分析

唯一性：
如果一个DAG的拓扑排序中任意连续的两点都是可连通的，那么这个序列也就是DAG的Hamiltonian路径，而且如果DAG图的Hamiltonian路径存在，那么拓扑排序就是唯一的。否则如果一个拓扑排序结果不是Hamiltonian路径，那么就存在多个拓扑排序结果。
通常，一个有向无环图可以有一个或多个拓扑排序序列。取顶点的顺序不同会得到不同的拓扑排序序列，当然前提是该图存在多个拓扑排序序列。
拓扑排序中，结果具有唯一性的条件也是其所有顶点之间都具有全序关系。如果没有这一层全序关系，那么拓扑排序的结果也就不是唯一的了。如果拓扑排序的结果唯一，那么该拓扑排序的结果同时也代表了一条哈密顿路径。

复杂度分析：
初始化入度为0的集合需要遍历整张图，检查每个节点和每条边，因此复杂度为O