题目描述
由某个集合上的一个偏序得到该集合上的一个全序,这个操作被称为拓扑排序。偏序和全序的定义分别如下:
若集合X上的关系R是自反的、反对称的和传递的,则称R是集合X上的偏序关系。
设R是集合X上的偏序,如果对每个x,y∈X必有xRy或yRx,则称R是集合X上的全序关系。
由偏序定义得到拓扑有序的操作便是拓扑排序。
拓扑排序的流程如下:
- 在有向图中选一个没有前驱的顶点并且输出之;
- 从图中删除该顶点和所有以它为尾的弧。
重复上述两步,直至全部顶点均已输出,或者当前图中不存在无前驱的顶点为止。后一种情况则说明有向图中存在环。
采用邻接表存储有向图,并通过栈来暂存所有入度为零的顶点,可以描述拓扑排序的算法如下:
在本题中,读入一个有向图的邻接矩阵(即数组表示),建立有向图并按照以上描述中的算法判断此图是否有回路,如果没有回路则输出拓扑有序的顶点序列。
输入
输入的第一行包含一个正整数n,表示图中共有n个顶点。其中n不超过50。
以后的n行中每行有n个用空格隔开的整数0或1,对于第i行的第j个整数,如果为1,则表示第i个顶点有指向第j个顶点的有向边,0表示没有i指向j的有向边。当i和j相等的时候,保证对应的整数为0。
输出
如果读入的有向图含有回路,请输出“ERROR”,不包括引号。
如果读入的有向图不含有回路,请按照题目描述中的算法依次输出图的拓扑有序序列,每个整数后输出一个空格。
请注意行尾输出换行。
样例
输入:
4
0 1 0 0
0 0 1 0
0 0 0 0
0 0 1 0
输出:
3 0 1 2
解题思路:
在本题中,需要严格的按照题目描述中的算法进行拓扑排序,并在排序的过程中将顶点依次储存下来,直到最终能够判定有向图中不包含回路之后,才能够进行输出。
另外,为了避免重复检测入度为零的顶点,可以通过一个栈结构维护当前处理过程中入度为零的顶点。
使用拓扑排序算法来求解
关键是求出每个结点的入度
然后
1、将入度为0的结点放入栈中,
2、每次从栈中弹出一个结点后,然后将该结点所有连接的结点的入度都减一,
3、若结点的度为0,则将其加入到栈中。
4、将该结点的所有出边全部删掉。
5、重复执行,知道栈为空
6、判断拓扑序列的结点数是否等于图中结点,若等于,则输出拓扑序列,若不等于,则表示该图中存在环,返回false
下面为AC代码:
/*
* @Description: 拓扑排序
* @Author:
* @Date: 2020-04-28 20:12:18
* @LastEditTime: 2020-04-28 21:21:06
* @LastEditors: Please set LastEditors
*/
#include <iostream>
#include<stack>
#include <vector>
using namespace std;
const int logic_max_num = 50;
vector<int> G[logic_max_num];//邻接表
int n,in_degree[logic_max_num];//结点个数n,每个结点的入度in_degree
vector<int> res;//拓扑序列
/**
* @description: 拓扑排序
* @param :
* @return: 返回是否为拓扑排序
*/
bool to_po_logical_sort()
{
int num = 0; //记录加入拓扑排序的顶点数
stack<int> s;
for (int i = 0; i < n; i++)
{
if (in_degree[i] == 0)
{
s.push(i); //将所有入度为0的点加入栈
}
}
while (!s.empty())
{
int top = s.top();
res.push_back(top);
s.pop();
for (int i = 0; i < G[top].size(); i++)
{
int v = G[top][i];
in_degree[v]--;
if (in_degree[v] == 0)
{
s.push(v);
}
}
G[top].clear();
num++;
}
if (num == n)
{
return true;
}
return false; //表示有环
}
int main()
{
cin >> n;
int data;
for (int i = 0; i < n; i++)
{
for (int j = 0; j < n; j++)
{
cin>>data;
if(data != 0){
G[i].push_back(j);
}
}
}
//求出 in_degree 数组
for (int i = 0; i < n; i++)
{
in_degree[i] = 0;
for(int j = 0;j < n;j++){
for(int k = 0;k < G[j].size();k++){
if(G[j][k] == i){
in_degree[i]++;
}
}
}
}
bool flag = to_po_logical_sort();
if (flag)
{
for (vector<int>::iterator it = res.begin(); it != res.end(); it++)
{
cout << (*it) << " ";
}
}
else
{
cout << "ERROR";
}
cout << endl;
system("pause");
return 0;
}