图的拓扑排序

拓扑排序是对有向无圈图的一种排序，在这个排序中，任何靠后元素都没有通向靠前元素的路径。

借助队列的实现

初始化时，将所有入度为0的结点入队，每次取出队首元素访问，并将所有未访问的相邻顶点入队，当队列为空时，序列生成完毕。这种算法没有多余的操作。

/*                     /
/ 图的拓扑遍历 #C++实现 /
/                     */
typedef int element; 
const int N;//结点数 
element vis[N]={0};//访问标记 
queue<element> Q; //待访问队列 
vector<element> G[N];//邻接表形式保存的图 
while(!Q.empty()){//队列为空标志操作结束 
	element temp=Q.front();//读取队首元素 
	Q.pop();//队首元素已经提取，将其删除 
	vis[temp]=1;//标记为已访问 
	/*此处附加对temp进行的操作*/ 
	for(int i=0;i<G[temp].size();i++)//遍历G[temp]的相邻结点 
		if(!vis[i])Q.push(i);//如果尚未访问，将其入队 
}

上述代码没有涉及如何将入度为0的结点入队，对此做一个简单的介绍。

如果采用直接遍历，对于邻接矩阵保存的图，遍历需要的时间为，对于邻接表保存的图，遍历需要的时间为，这个时间尚可接受，不过还有另外的思路。

借助一个规模的数组，可以在读入时边将具有入度的结点剔除，之后再进行一次扫描，需要的时间是。

借助集合，初始加入所有结点，再在读入时提出具有入度的结点，最后集合中的剩余结点均符合入度为0的要求，不再需要遍历。但这种方法在加入结点时便已具有规模了，而且结点的移入、移出的开销也不容忽略，因此反不如前一种方法可取。