算法竞赛入门经典：第六章 数据结构基础 6.13拓扑排序

/*
拓扑排序:
假设有n个变量，还有m个二元组(u,v),分别表示变量u小于v。那么，所有变量从小到大排列起来应该是什么样子的呢？例如有4个变量a,b,c,d。若一直a<b,c<b,d<c,则
这四个变量的排序可能是a <d < c <b。尽管还有其他可能（如d<a<c<b），你只需要找出其中一个即可。


思路：
拓扑排序的本质是，寻找一个入度为0的节点，然后将以该入度为0的节点为起始节点线段中删除该节点，将该线段中剩余为0的节点放入队列中，继续重复上述过程
*/
#include <stdio.h>
#include <stdlib.h>

#define MAXSIZE 1024

int iMark[MAXSIZE];
int loc;
int n;
int topo[MAXSIZE];
int Graph[MAXSIZE][MAXSIZE];


//对于被调函数，刚开始令访问标记为正在放分，遍历所有节点，找到以i为初始节点，以j为结束节点的所有节点，该节点值不能为
//如果j节点正在访问，说明i与j是同一个节点，表示存在有向环，如果弧尾节点未被访问并且调用递归失败，则说明失败
bool dfs(int i)
{
	iMark[i] = -1;//开始访问顶点
	for(int j = 0; j < n;j++)
	{
		if(Graph[i][j])
		{
			if(iMark[j] < 0)//iMark[j] = -1表示长在访问弧尾节点（即递归调用dfs(i)正在长在栈帧中(栈帧=未运行完函数),尚未返回）
			{
				return false;
			}
			else if(!iMark[j] && !dfs(j))//c[j]=0 && dfs(j)==false ,即不会走分支if,走的应该是else if，但又为假，说明没有后继节点即当前节点没有
			{
				return false;
			}
		}
	}
	iMark[i] = 1;//能走到这里说明没有后继节点
	topo[--loc] = i;
	return true;
	//topo[--loc] = 
}

//主调函数，对于n个变量，如果当前节点未被访问，就访问，但是如果访问失败，则返回失败
bool topologySort()
{
	for(int i = 0 ; i < n;i++)
	{
		if(!iMark[i])
		{
			if(!dfs(i))
			{
				return false;
			}
		}
	}
	return true;
}

int main(int argc,char* argv[])
{
	bool flag = topologySort();
	system("pause");
	return 0;
}