给定一些关系,如a > b,要求生成拓扑序,即对于所有形如a > b 的关系,最后生成的点的序列中a 必须在b的前面
- 可以把每个关系看成一条有向边,很明显,如果可以生成序列,则这个图一定是无环的
- 所以问题转化成了遍历有向图,生成序列,后搜索到的节点一定在先搜索到的节点的后面
- 可以用dfs处理,每搜索到一个元素,如果他后面不会生成环,就把他放入队首,因为当当前dfs退出时,新的当前dfs的元素要放在上一个前面,所以在放在队首即可
- 如何判断是否形成了环呢?可以定义一个标记,如果u的指向v的标记值为-1,表示这个点正在dfs的上面某层中,即当前讨论的点u一定是从点v连过来的,(即递归调用dfs(v)正在栈帧中,尚未返回),就形成环了,直接return false
- 如果标记值为-1,表示没有讨论过
- 因为每个点只能进队一次,所以标记值为1时,表示已经进过队了,不再讨论
下面是代码
//拓扑排序
#include<cstdio>
#include<stack>
#include<cstdlib>
#include<iostream>
#include<algorithm>
using namespace std;
const int MAXN = 10000 + 10;
int n, m;
stack<int> s;
struct edge
{
int next, to;
} e[MAXN];
int head[MAXN], cnt;
void add(int u, int v)
{
e[++cnt].next = head[u];
head[u] = cnt;
e[cnt].to = v;
}
int vis[MAXN]; //在dfs中,判断点i的状态,如果为-1表示该点正在被访问,0表示为被访问过,1表示已经访问过
bool dfs(int u)
{
vis[u] = -1;
for(int i = head[u]; i; i = e[i].next)
{
int v = e[i].to;
if(vis[v] == -1) return false;
if(!vis[v] && !dfs(v)) return false;
}
vis[u] = 1;
s.push(u); //因为DFS会一直到底,所以到底后把元素放入队首,return后到上一层函数后在放入队首,可以保证正序
return true;
}
void print_ans()
{
while(!s.empty())
{cout << s.top() << " "; s.pop();}
}
bool tapo()
{
memset(vis, 0, sizeof(vis));
for(int i = 1; i <= n; i++) if(!vis[i])
if(!dfs(i)) return false;
return true;
}
int main()
{
cin >> n >> m;
for(int i = 1; i <= m; i++)
{
int u, v;
cin >> u >> v;
add(u, v);
}
if(tapo()) print_ans();
else cout << "NO";
return 0;
}