arc 093 E Bichrome Spanning Tree

         题意：你有一个n个点m条边的有向图，你需要给每条边染黑色或者白色，要求，原图必须存在一个由黑边和白边组成的生成树，且在那些由黑边与白边构成的生成树中，最小的生成树的边权为x，问有多少种染色方案。

         首先我们可以求一棵原图的最小生成树，令它的权值为 t，显然如果x大于t是无解的，接着我们来讨论t=x 与t<x 的情况。

         当t=x的时候，只要某条边在任意一棵最小生成树上，我们可以随意染色，只要不是同一种颜色即可。而对于不在任意一棵最小生成树上的边，是可以随便选的。所以设在最小生成树上的边有 a条，不在的有b条，那么对于t=x的情况，总方案数就为

                   ((2^a) -2 ) * (2^b)   （在最小生成树上的随便选-同染成黑色与白色)×(不在最小生成树上的随便选）

          当t<x的的时候， 对于某条边 如果包含它的最小生成树<x ， 我们都要把它们染成一种颜色，因为如果某一个颜色与其他颜色不同了，这些边就能组合成一棵生成树了。 对于某条边，如果包含它的最小生成树=x，那它肯定是和同样 等于 与 小于x的边组合成最小生成树，所以对于这些边来说，我们是可以随便选的，但是全部和 在<x的生成树的边的集合同一种颜色，对于 在>x的最小生成树的边上的边，我们随便染色就好了，反正选不到，所以设在最小生成树上的边有 a条，在大于x的最小生成树上的有b条，总方案数就为:

            2* (2^a -1 ) *(2^b)    (第一种随意染黑白) × (第二种随意染 但是不能全部与第一种相同) × （在大于x上的随便选）

            下附AC代码。

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#define maxn 2005
#define _x1 x1
#define _x2 x2
using namespace std;
typedef long long ll;
const ll mod=1e9+7;
int n,m;
ll v;
int fa[maxn],id[maxn],x[maxn],y[maxn];
ll w[maxn];
int getfa(int now)
{
	return fa[now]==now ? now : fa[now]=getfa(fa[now]);
}
int cmp(int i,int j)
{
	return w[i]<w[j];
}
ll kruskal(int now)
{
	for(int i=1;i<=n;i++) fa[i]=i;
	ll ans=0;
	if(now)
		fa[x[now]]=y[now],ans+=w[now];
	for(int i=1;i<=m;i++)
	{
		int pos=id[i];
		int x1=getfa(x[pos]),y1=getfa(y[pos]);
		if(x1!=y1)
		{
			ans+=w[pos];
			fa[x1]=y1;
		}
	}
	return ans;
}
ll quickpow(ll p,ll k)
{
	ll ans=1;
	while(k)
	{
		if(k&1)
			ans=(ans*p)%mod;
		p=(p*p)%mod;
		k>>=1;
	}
	return ans;
}
int main()
{
	scanf("%d%d%lld",&n,&m,&v);
	for(int i=1;i<=m;i++)
		scanf("%d%d%lld",&x[i],&y[i],&w[i]),id[i]=i;
	sort(id+1,id+1+m,cmp);
 
	ll temp=kruskal(0);
 
	if(temp>v)
	return printf("0\n"),0;
 
	if(temp==v)
	{
		int cnt1=0,cnt2=0;
		for(int i=1;i<=m;i++)
		{
			if(kruskal(i)==temp)
				cnt1++;
			else
				cnt2++;
		}
		ll res1=(quickpow(2,cnt1)-2+mod)%mod;
		ll res2=quickpow(2,cnt2)%mod;
		return printf("%lld\n",res1*res2%mod),0;
	}
	else
	{
		int cnt1=0,cnt2=0;
		for(int i=1;i<=m;i++)
		{
			ll res1=kruskal(i);
			if(res1==v)
				cnt1++;
			else if(res1>v)
				cnt2++;
		}
		ll res1=2ll*((quickpow(2,cnt1)-1+mod)%mod)%mod;
		ll res2=quickpow(2,cnt2);
		printf("%lld\n",res1*res2%mod);
	}
}

Especially For U wh 

By ZRX