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

题目分析：

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

代码：

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

const int maxn = 1002000;

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() == 0) f[now] = (1<<nb[now]-1);
    for(int i=0;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=1;i<=m;i++){
    int u,v; scanf("%d%d",&u,&v);
    g[u].push_back(v);
    in[v] ++;
    }
    for(int i=1;i<=n;i++) if(!g[i].size()) nb[i] = ++Num;
    Num = 0;
    for(int i=1;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 == 0) return;
    if(__builtin_popcount(dt) <= cho)flag = 1;
    }else{
    dfs(now+1,cho,dt);
    dfs(now+1,cho+1,dt|forw[now]);
    }
}

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

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