有向图的拓扑排序

对于拓扑排序，即找到起始点 即入度等于0 ，的情况下到 最终的点的检索过程，但是其中图中不能有环路，如果有环路的情况下，将会出现入度都相互相等的情况，这样就会有点无法输出。

所以拓扑排序也可以用来检验有向图中那个是否有环（这还得引申一下）

首先先拓扑排序

1)继续利用，顶点， 边情况 ，即顶点容器vector , 来构建一个图

2）找到这个图的没有入度的那个点，即没有其他的点指向它，我定义这里开始本身的点算是本身的一个入度，因此我开始赋值都是1

3）然后从那点开始进行邻接点的统计，统计所有的点的所有的邻接点，并在vector中每个点出现的次数包括他本身的出现，和邻接点指向他的出现，

4）利用两个for循环，还是从起点处开始，这样从检测vector中的点 == 1 时（即一级一级的找到”源头“），并对这个“源”进行输出，并且对他所指的邻接点进行的vector所指的值进行相应的减一， 这样就可以得到最终的全部输出（无环情况）；

5）有环的话，那个vector的值总是为大于一的，就不会输出，这样在搜有情况遍历之后，输出点数小于输入的点数。

实现代码：

拓扑排序：

[cpp]  view plain copy

1. /* 
2. *  brief    topsort 其中不允许其中有环,这样可以判断出来里面没有环。 
3. */  
4.    bool outputTopSort(vector<int> &vec)  
5. {  
6.     for(int k = 0; k < iVertexNum; k++)  
7.     {  
8.         for(int i = 0; i < vec.size(); i++)  
9.         {  
10.             if(vec.at(i) == 1)  
11.             {  
12.                 cout << vecVertex.at(i).data << endl;  
13.                 vec.at(i)--;  
14.                 for(int j = 0; j < vecVertex.at(i).vecLoc.size(); j++)  
15.                 {  
16.                     vec.at(vecVertex.at(i).vecLoc.at(j))--;  
17.                 }  
18.             }  
19.         }  
20.     }  
21.     int num, count = 0;  
22.     for( num = 0; num < vec.size(); num++)  
23.     {  
24.         if(vec.at(num) < 1)  
25.             count++;  
26.     }  
27.   
28.     if(count == iVertexNum)  
29.         return true;  
30.     else   
31.         return false;  
32. }  
33.   
34. void TopSort()  
35. {  
36.     vector<int> vecCount;                     //找 入度 为1 的，及只有出度的顶点  
37.     for(int i = 0; i < iVertexNum; i++)  
38.     {     
39.         vecCount.push_back(0);  
40.     }  
41.     for(int i = 0; i < iVertexNum; i++)  
42.     {  
43.         vecCount.at(i) += 1;  
44.         for(int j = 0; j < vecVertex.at(i).vecLoc.size(); j++)  
45.             vecCount.at(vecVertex.at(i).vecLoc.at(j)) += 1;  
46.     }  
47.     //cout from the without primer object  
48.     if(outputTopSort(vecCount))  
49.         cout << "ok, no loop";  
50.     else   
51.         cout << "oh, no, it has loop!";  
52. }  

对应的图：

时的输出为：

附：前面说判断有向图是否有环，我看到一个定理可以进行相应的判断（举了几组的图作为例子，都是符合该定理的）：

记得图论里判断DAG（Directed Acyclic Graph，有向无环图）有一个定理：令M=A+I，A是该图的邻接矩阵，I是单位矩阵。如果M的所有特征值都大于0，那么A对应的图是个DAG，反之亦然。