Kattis-Chess Tournament(有向图判环)

题目链接：点击打开链接

题目大意：

给定一些标号，与标号之间的大小关系，判断所有给出的关系是否能同时成立。

解题思路：

其实看到题目就觉得是一个判断是否存在环的问题，但是有点区别就是点与点之间可以有相等的关系，这样的话就貌似不好直接判环：我当时是想非等于关系用单向边连接，而相等关系用双向边连接，然而实际上没什么卵用，等于关系直接成环了...。后面看了标程才知道自己的理解还是很肤浅啊：相等的关系其级别相同，那么我们把所有在同一个级别的点标一个编号，把所有的点重新标号后，根据原来点与点之间的关系在新的编号之间连边。假如有这样的一些关系：1=2=3=4，5=6=7，2>5，3>7，6>2，首先编号：(1,2,3,4)在一个级别，编号为1，(5,6,7)在一个级别，标号为2，则2>5，3>7，6>2 分别为1->2，1->2，2->1，其他情况以此类推。可以想到这样建成的一个新的图，就可以直接进行判环了。

代码：

#include<iostream>
#include<string>
#include<vector>
#include<queue>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=5e4+10;
vector<int>equ[maxn];
vector<int>gre[maxn];
vector<int>Gra[maxn];
int vis[maxn];
int Newlv[maxn];
int n,m;
void Getlv(int u,int lv){
    if(vis[u])return;
    Newlv[u]=lv;
    vis[u]=1;
    int sz=equ[u].size();
    for(int i=0;i<sz;i++){
        int v=equ[u][i];
        Getlv(v,lv);
    }
}
int ok=1;
bool Top_sort(int u){
    vis[u]=-1;
    for(int i=0;i<Gra[u].size();i++){
        int v=Gra[u][i];
        if(vis[v]==-1)return false;
        else if(!vis[v]&&!Top_sort(v))return false;
    }
    vis[u]=1;
    return true;
}
int main(){
    cin.tie(0);
    ios_base::sync_with_stdio(0);
 //   freopen("in.txt","r",stdin);
    int x,y;
    char ch;
    cin>>n>>m;
    for(int i=0;i<m;i++){
        cin>>x>>ch>>y;
        if(ch=='='){
            equ[x].push_back(y);
            equ[y].push_back(x);
        }
        else gre[x].push_back(y);
    }
    int lv=0;
    for(int i=0;i<n;i++){
        if(!vis[i]){
            Getlv(i,lv);++lv;
        }
    }
    for(int i=0;i<n;i++){
        int sz=gre[i].size();
        for(int j=0;j<sz;j++){
            int k=gre[i][j];
            int u=Newlv[i],v=Newlv[k];
            Gra[u].push_back(v);
        }
    }
    memset(vis,0,sizeof vis);
    for(int i=0;i<lv;i++){
        if(!vis[i]){
            if(!Top_sort(i)){ok=0;break;}
        }
    }
    if(ok)cout<<"consistent\n";
    else cout<<"inconsistent\n";
    return 0;
}

其实做这个题以前并没有很仔细地去看拓扑排序，然后每次就直接抄模板。大概看了题解之后，就直接DFS去搜了一遍——WA...，然后想想才明白有向图判环和无向图判环的区别：一个可以重复搜到同一个点，只要这个点已经出栈了；一个只要搜到同一个点，就可以判断有环。