CF - 711D 搜索环

题意：

给出n个点n条单向边的一个图，其中可以任意选择其中的某个边的集合，将其中的边反向，问可以选择多少种集合，使得整个图中不存在环?

思路：

初看这题可能会觉得无从下手，仔细读题之后会发现几点

1.一共只有n条边，可以证明n条边组成的图，在一个联通分量中不可能存在两个环，假设某一个联通分量中存在两个环，其中一个环大小为s1，另一个环大小为s2，因为只有s1+s2条边，所以两个环之间必定有公共点，这样联通分量的总点数就小于s1+s2,出现矛盾，所以不可能存在两个环。
2.根据输入可以发现，任意一个点的出度都不为0，这样，初始图中如果一个联通分量的有向图没有环，那无论怎样改变边的方向，都不会在这个连通分量中构造出环。

所以我们就可以找到图中的所有环只要选择其中的某些边（不全选或者不选）就可以把这个环清除掉，方案数为2^x-2，其中x为环的大小
另外所有不能组成环的点一共有y个，那么任意变化这些边都可以，方案数为2^y

dfs搜环

代码：

<pre name="code" class="cpp">
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MAXN = 2e5 + 10;
const ll MOD = 1e9 + 7;

ll ans;
vector <int> g[MAXN];
bool flag;
ll power[MAXN];
int a[MAXN], vis[MAXN], deep[MAXN], sum;

void init() {
    power[0] = 1;
    for (int i = 1; i <= 200000; i++)
        power[i] = power[i - 1] * 2 % MOD;
}

void dfs(int u, int dis, int k) {
    if (deep[u]) {
        if (vis[u] == k) {
            ans = (ans * (power[dis - deep[u]] - 2 + MOD)) % MOD;
            sum += dis - deep[u];
        }
        return;
    }
    deep[u] = dis; vis[u] = k;
    dfs(g[u][0], dis + 1, k);
}

int main() {
    //freopen("in", "r", stdin);
    init();
    int n;
    scanf("%d", &n);
    for (int i = 1; i <= n; i++) {
        scanf("%d", &a[i]);
        g[i].push_back(a[i]);
    }
    ans = 1; sum = 0;
    int k = 1;
    for (int i = 1; i <= n; i++) {
        if (deep[i]) continue;
        dfs(i, 1, ++k);
    }
    ans = (ans * power[n - sum]) % MOD;
    printf("%I64d\n", ans);
    return 0;
}