P3043 [USACO12JAN]牛联盟Bovine Alliance

题目描述

Bessie and her bovine pals from nearby farms have finally decided that they are going to start connecting their farms together by trails in an effort to form an alliance against the farmers. The cows in each of the N (1 <= N <= 100,000) farms were initially instructed to build a trail to exactly one other farm, for a total of N trails. However months into the project only M (1 <= M < N) of these trails had actually been built.

Arguments between the farms over which farms already built a trail now threaten to split apart the cow alliance. To ease tension, Bessie wishes to calculate how many ways the M trails that exist so far could have been built. For example, if there is a trail connecting farms 3 and 4, then one possibility is that farm 3 built the trail, and the other possibility is that farm 4 built the trail. Help Bessie by calculating the number of different assignments of trails to the farms that built them, modulo 1,000,000,007. Two assignments are considered different if there is at least one trail built by a different farm in each assignment.

给出n个点m条边的图，现把点和边分组，每条边只能和相邻两点之一分在一组，点可以单独一组，问分组方案数。

输入输出格式

输入格式：

Line 1: Two space-separated integers N and M
Lines 2..1+M: Line i+1 describes the ith trail. Each line contains two space-separated integers u_i and v_i (1 <= u_i, v_i <= N, u_i != v_i) describing the pair of farms connected by the trail.

输出格式：

Line 1: A single line containing the number of assignments of trails to farms, taken modulo 1,000,000,007. If no assignment satisfies the above conditions output 0.

输入输出样例

输入样例#1：复制

输出样例#1：复制

说明

Note that there can be two trails between the same pair of farms.

There are 6 possible assignments. Letting {a,b,c,d} mean that farm 1 builds trail a, farm 2 builds trail b, farm 3 builds trail c, and farm 4 builds trail d, the assignments are:

{2, 3, 4, 5}

{2, 3, 5, 4}

{1, 3, 4, 5}

{1, 3, 5, 4}

{1, 2, 4, 5}

{1, 2, 5, 4}

/*

可以并查集维护

可以发现，某个联通快出现大于等于2个环，一定无法分配。

有解要么一个环，要么没有环。

一个环时答案等于点数乘2(顺时针或逆时针)。

没有环是树，对于一个n个点的树，方案一定有n种(不连某个点)。

*/

#include<iostream>

#include<cstdio>

#include<cstring>

#define N 100007

#define mod 1000000007

#define ll long long

using namespace std;

ll n,m,ans,cnt;

ll fa[N],siz[N],num[N];

bool vis[N];

inline ll read()

{

    ll x=,f=;char c=getchar();

    while(c>''||c<''){if(c=='-')f=-;c=getchar();}

    while(c>=''&&c<=''){x=x*+c-'';c=getchar();}

    return x*f;

}

ll find(ll x){return x==fa[x]?x:fa[x]=find(fa[x]);}

void merge(ll x,ll y)

{

    fa[y]=x;

    siz[x]+=siz[y];num[x]+=num[y];

}

int main()

{

    ll x,y;ans=;

    n=read();m=read();

    for(ll i=;i<=n;i++) fa[i]=i,siz[i]=;

    for(ll i=;i<=m;i++)

    {

        x=read();y=read();

        ll r1=find(x),r2=find(y);

        if(r1!=r2) merge(r1,r2);

        else num[r1]++;

    }

    for(ll i=;i<=n;i++)

    {

        ll now=find(i);

        if(vis[now]) continue;vis[now]=;

        if(num[now]>) continue;

        if(num[now]==) ans=(ans*)%mod;

        if(!num[now]) ans=(ans*siz[now])%mod;

    }

    printf("%lld\n",ans%mod);

    return ;

}