C. Quantifier Question（思维+建图+拓扑dfs)

https://codeforces.com/contest/1344/problem/C

---

题意：

从x1开始按顺序执行条件。是从小的序号点开始。而不是按照度数。

可以发现对于x1,x2

x1<---x2.  任意X1，存在X2 true

x1--->x2,  任意X1,  存在X2 true

且其他情况都是存在

对于一个A，能到他的点和他能到的点都是E。

对于他能到的点。dfs

对于能到他的点，反边dfs

然后topo判一下有无环

#include<iostream>
#include<vector>
#include<queue>
#include<cstring>
#include<cmath>
#include<map>
#include<set>
#include<cstdio>
#include<algorithm>
#define debug(a) cout<<#a<<"="<<a<<endl;
using namespace std;
const int maxn=2e5+1000;
typedef long long LL;
inline LL read(){LL x=0,f=1;char ch=getchar();	while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}while (isdigit(ch)){x=x*10+ch-48;ch=getchar();}
return x*f;}
vector<LL>g1[maxn],g2[maxn];
LL in[maxn];
bool vis1[maxn],vis2[maxn];
void dfs1(LL u){
     vis1[u]=true;
     for(LL i=0;i<g1[u].size();i++){
         LL v=g1[u][i];
         if(vis1[v]) continue;
         dfs1(v);
     }
}
void dfs2(LL u){
     vis2[u]=true;
     for(LL i=0;i<g2[u].size();i++){
         LL v=g2[u][i];
         if(vis2[v]) continue;
         dfs2(v);
     }
}
int main(void){
   cin.tie(0);std::ios::sync_with_stdio(false);
   LL n,m;cin>>n>>m;
   for(LL i=1;i<=m;i++){
       LL u,v;cin>>u>>v;
       g1[u].push_back(v);in[v]++;
       g2[v].push_back(u);
   }
   queue<LL>que;
   for(LL i=1;i<=n;i++){
       if(in[i]==0) que.push(i);
   }
   while(!que.empty()){
      LL u=que.front();que.pop();
      for(LL i=0;i<g1[u].size();i++){
          LL v=g1[u][i];
          if(--in[v]==0) que.push(v);
      }
   }
   for(LL i=1;i<=n;i++){
       if(in[i]){
          cout<<"-1"<<"\n";return 0;
       }
   }
   ///按照编号从小到大
   string ans="";LL sum=0;
   for(LL i=1;i<=n;i++){
       if(vis1[i]||vis2[i]){
          ans+="E";
       }
       else ans+="A",sum++;
       dfs1(i);
       dfs2(i);
   }
   cout<<sum<<"\n";
   cout<<ans<<"\n";
   return 0;
}