P1347 排序(topo)

加深了对topo的理解。

情况1：就是稳定的topo，层数为n的链。

情况2：有环，判环的方法就是存在节点未入队。

情况3：非情况1和2，就是3。

值得注意的是情况1是针对n个节点，情况2是针对当前的前x个节点的判环。

// Problem: P1347 排序
// Contest: Luogu
// URL: https://www.luogu.com.cn/problem/P1347
// Memory Limit: 125 MB
// Time Limit: 1000 ms
// Date: 2022-06-22 10:02:38
// --------by Herio--------

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull; 
const int N=1e3+5,M=2e4+5,inf=0x3f3f3f3f,mod=1e9+7;
const int hashmod[4] = {
    402653189,805306457,1610612741,998244353};
#define mst(a,b) memset(a,b,sizeof a)
#define db double
#define PII pair<int,int>
#define PLL pair<ll,ll>
#define x first
#define y second
#define pb emplace_back
#define SZ(a) (int)a.size()
#define rep(i,a,b) for(int i=a;i<=b;++i)
#define per(i,a,b) for(int i=a;i>=b;--i)
#define IOS ios::sync_with_stdio(false),cin.tie(nullptr) 
void Print(int *a,int n){
    
	for(int i=1;i<n;i++)
		printf("%d ",a[i]);
	printf("%d\n",a[n]); 
}
template <typename T>		//x=max(x,y) x=min(x,y)
void cmx(T &x,T y){
    
	if(x<y) x=y;
}
template <typename T>
void cmn(T &x,T y){
    
	if(x>y) x=y;
}
vector<int>e[N];
int _in[N],in[N];
bitset<N>vis;
int d[26];
int n,m;
void topo(int r){
    
	queue<int>q;
	memcpy(in,_in,sizeof in);
	int cnt = 0;
	vector<int>ans;
	mst(d,0);
	int _n = 0;
	for(int i=0;i<26;i++) if(vis[i]) _n++;
	for(int i=0;i<26;i++)
		if(vis[i] &&  !in[i]){
    
			q.push(i);
			cnt++;
		}
	int mx = 0;
	while(!q.empty()){
    
		int u = q.front();q.pop();
		ans.pb(u);
		cmx(mx,d[u]);
		for(int v:e[u]){
    
			if(!--in[v]){
    
				q.push(v);
				d[v] = d[u] + 1;
				cnt++;
			}
		}
	}
	if(mx==n-1){
    
		printf("Sorted sequence determined after %d relations: ",r);
		for(int x:ans) printf("%c",x+'A');
		puts(".");
		exit(0);
	}
	else if(cnt<_n){
    
		printf("Inconsistency found after %d relations.",r);
		exit(0);
	}
}
int main(){
    
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
    
		string s;
		cin>>s;
		e[s[0]-'A'].pb(s[2]-'A');
		vis[s[0]-'A'] = vis[s[2]-'A'] = true;
		_in[s[2]-'A']++;
		topo(i);
	}
	puts("Sorted sequence cannot be determined.");
	return 0;
}