2011.5.7百度实习生笔试

题目描述：有一个任务处理器，需要定时处理N个任务（N<1000）。任务处理器每次只能处理一个任务。任务之间有依赖关系，比如A任务依赖B任务，则B任务需在A任务之前执行，但是没有循环依赖关系。请设计这个任务处理器，能够输出所有任务的执行顺序。

 

很久没看图论的部分了，当时想用树的结构来存储这些任务，用树的节点间祖先和子孙的关系来表示任务间的关系。想了很久，在具体的实现上都没思路。树来实现实现这种复杂的关系还是很困难，应该用有向图。确切地说这是有向无环图的一个应用，是拓扑排序问题。

 

算法思路：

1 把各个任务之间的依赖关系用有向无环图来表示，例如A任务依赖B任务，则建立一条B指向A的弧。（题目要求可以保证这个图无环）

2 计算有向无环图中各个节点的入度。

3 输出入度为0的节点，并删除该节点和所有以它为尾的弧。

4 重复第3步，直到所有节点都已输出。

5 输出的节点序列即为拓扑排序序列，也为任务的执行顺序。

 

值得注意的是，拓扑排序序列也可以用来验证各个任务间是否存在循环依赖，也就是有向图是否存在环。如果输出的拓扑排序序列中包含了所有的任务，则有向图肯定不存在环。

 

伪代码：

在实际的实现中，对于入度为0的节点，不需要真正删除节点以及所有以它为尾的弧，可以转换为对弧头节点入度减1操作。

 

//假设用邻接表存储有向图

status TopologicalSort(ALGraph G)

{

//对各个节点求入度，存储在indegree数组中

FindInDegree(G, indegree);

 

//初始化栈

InitStack(S);

 

//遍历所有节点，把入度为0的节点加入栈

for(i=0; i<G.vexnum; i++){

if(!indegree(i))

Push(S, i);

}

 

count = 0;

 

while(!StackEmpty(S)){

 

//出栈并输入之

Pop(S, i);

printf(i, G.vertices[i].data);

count++;

 

//对所有它的邻接点进行入度减一操作，如果入度减为0，则进栈

for(p=G.vertices[i].firstarc; p; p=p->nextarc){

k = p->adjvex;

if(!--indegree[k])

Push(S, k);

}

}

 

//判断所有的有向图节点是否在拓扑排序序列中，如果在，则有向图无环，否则有环

if(count < G.vexnum)

return ERROR;

else

return OK;

}

 

时间复杂度分析：

假设有n个节点，e条弧。求各个节点入度花费O(e)，把入度为0的节点加入栈花费O(n)，while循环中每次对入度减一的操作可以看作删除一条弧的操作，把所有弧删除完了，while循环也结束了，因此while循环花费O(e)。所以总的时间复杂度为O(n+e)。