题意:你有一个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