c++学习笔记（40）- 有向图的拓扑排序

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

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

首先先拓扑排序

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

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

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

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

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

实现代码：

拓扑排序：

	/*
	*  brief    topsort 其中不允许其中有环,这样可以判断出来里面没有环。
	*/
    bool outputTopSort(vector<int> &vec)
	{
		for(int k = 0; k < iVertexNum; k++)
		{
			for(int i = 0; i < vec.size(); i++)
			{
				if(vec.at(i) == 1)
				{
					cout << vecVertex.at(i).data << endl;
					vec.at(i)--;
					for(int j = 0; j < vecVertex.at(i).vecLoc.size(); j++)
					{
						vec.at(vecVertex.at(i).vecLoc.at(j))--;
					}
				}
			}
		}
		int num, count = 0;
		for( num = 0; num < vec.size(); num++)
		{
			if(vec.at(num) < 1)
				count++;
		}

		if(count == iVertexNum)
			return true;
		else 
			return false;
	}

	void TopSort()
	{
		vector<int> vecCount;                     //找 入度 为1 的，及只有出度的顶点
		for(int i = 0; i < iVertexNum; i++)
		{	
			vecCount.push_back(0);
		}
		for(int i = 0; i < iVertexNum; i++)
		{
			vecCount.at(i) += 1;
			for(int j = 0; j < vecVertex.at(i).vecLoc.size(); j++)
				vecCount.at(vecVertex.at(i).vecLoc.at(j)) += 1;
		}
		//cout from the without primer object
		if(outputTopSort(vecCount))
			cout << "ok, no loop";
		else 
			cout << "oh, no, it has loop!";
	}
	

对应的图：

时的输出为：

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

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