Codeforces1036G Sources and Sinks 【构造】【状态压缩】

题目分析：

考虑一个源点集合$S$，如果$S$能到的点$T$比$S$小，那么$T$全连到$S$里面，其它点就到不了$T$啦。否则我们全连完后$S$集合被迫扩大，所以总能扩大满。

代码：

 #include<bits/stdc++.h>
 using namespace std;

 const int maxn = ;

 int n,m,in[maxn],f[maxn],nb[maxn],Num;
 vector <int> g[maxn];
 int forw[maxn],flag;

 void dfs(int now){
     if(g[now].size() == ) f[now] = (<<nb[now]-);
     for(int i=;i<g[now].size();i++){
     if(!f[g[now][i]]) dfs(g[now][i]);
     f[now] |= f[g[now][i]];
     }
 }

 void read(){
     scanf("%d%d",&n,&m);
     for(int i=;i<=m;i++){
     int u,v; scanf("%d%d",&u,&v);
     g[u].push_back(v);
     in[v] ++;
     }
     for(int i=;i<=n;i++) if(!g[i].size()) nb[i] = ++Num;
     Num = ;
     for(int i=;i<=n;i++) if(!in[i]) dfs(i),forw[++Num]=f[i];
 }

 void dfs(int now,int cho,int dt){
     if(now > Num){
     if(cho == Num) return;
     if(cho == ) return;
     if(__builtin_popcount(dt) <= cho)flag = ;
     }else{
     dfs(now+,cho,dt);
     dfs(now+,cho+,dt|forw[now]);
     }
 }

 void work(){
     dfs(,,);
     if(flag){puts("NO");}
     else puts("YES");
 }

 int main(){
     read();
     work();
     return ;
 }