http://blog.csdn.net/dm_vincent/article/details/7714519
对一个有向无环图(简称DAG)G进行拓扑排序，是将G中所有顶点排成一个线性序列，使得图中任意一对顶点u和v，若边(u,v)∈E(G)，则u出现在v之前。
充要条件：有向无环图。（不存在互相依赖的关系，能确定谁先谁后）
结果唯一性的条件：所有顶点之间都具有全序关系。
