「HAOI2018」反色游戏

题目描述

小C和小G经常在一起研究搏弈论问题，有一天他们想到了这样一个游戏．

有一个 $n$ 个点 $m$ 条边的无向图，初始时每个节点有一个颜色，要么是黑色，要么是白色．现在他们对于每条边做出一次抉择：要么将这条边连接的两个节点都反色（黑变白，白变黑），要么不作处理．他们想把所有节点都变为白色，他们想知道在 $2^m$ 种决策中，有多少种方案能达成这个目标．

小G认为这个问题太水了，于是他还想知道，对于第 $i$ 个点，在删去这个点及与它相连的边后，新的答案是多少．

由于答案可能很大，你只需要输出答案对 $10^9+7$ 取模后的结果．

数据范围

$1\le T\le 5,1\le n,m\le 10^5,1\le u,v\le n$

题解

考虑连通块内如果有奇数个黑点，则答案为 $0$

考虑只有一个连通块的情况，如果这个连通块是棵树，那么它只有一种染色方案。所以考虑建出这个连通块的 $dfs$ 树，那每条返祖边可以对答案有 $2$ 的贡献，即把这条返祖边连接的两个端点间的树边以及该返祖边一起染色，所以一个连通块的答案是 $2^{m-n+1}$ ，自然多个连通块的答案就是 $2^{m-n+c}$ ，其中 $c$ 为连通块个数

考虑删掉一个点，那就分割点或者非割点讨论一下，如果是割点，要注意连通块个数会增加，如果是单独一个点，则连通块个数会 $-1$ ，然后再计算一下有奇数个黑点的连通块个数有多少即可

代码

#include 
using namespace std;
const int N=2e5+5,P=1e9+7; char ch;
int T,n,m,hd[N],V[N],nx[N],t,is[N],sz[N];
int a[N],dp[N],s[N],pw[N],A,C,R,g[N],sn[N];
void add(int u,int v){
	nx[++t]=hd[u];V[hd[u]=t]=v;
}
void dfs(int x,int fr){
	sz[x]=is[x];s[x]=dp[x]=dp[fr]+1;
	for (int i=hd[x];i;i=nx[i]){
		if (V[i]==fr) continue;
		if (dp[V[i]])
			s[x]=min(s[x],dp[V[i]]);
		else
			dfs(V[i],x),sn[x]++,
			sz[x]^=sz[V[i]],
			a[x]+=(s[V[i]]<dp[x]),
			s[x]=min(s[x],s[V[i]]);
	}
}
void work(int x,int fr){
	int w=0,v,u=0,y=(fr>0),z=0;
	for (int i=hd[x];i;i=nx[i]) w++;
	if (a[x]==sn[x]){
		v=A-sz[R]+(sz[R]^is[x]);
		if (!v) g[x]=pw[m-w-n+1+C];
	}
	else{
		for (int i=hd[x];i;i=nx[i])
			if (dp[V[i]]==dp[x]+1 && s[V[i]]>=dp[x])
				u+=sz[V[i]],z^=sz[V[i]],y++;
		u+=(sz[R]^z^is[x]);v=A-sz[R]+u;
		if (!v) g[x]=pw[m-w-n+1+C-1+y];
	}
	for (int i=hd[x];i;i=nx[i])
		if (dp[V[i]]==dp[x]+1) work(V[i],x);
}
void work(){
	scanf("%d%d",&n,&m);t=C=A=0;
	for (int i=1;i<=n;i++)
		hd[i]=s[i]=sn[i]=a[i]=dp[i]=g[i]=0;
	for (int i=1,x,y;i<=m;i++)
		scanf("%d%d",&x,&y),
		add(x,y),add(y,x);t=0;
	for (int i=1;i<=n;i++)
		scanf(" %c",&ch),is[i]=(ch^48);
	for (int i=1;i<=n;i++)
		if (!dp[i])
			dfs(i,0),A+=sz[i],C++;
	printf("%d",A?0:pw[m-n+C]);
	for (int i=1;i<=n;i++){
		if (dp[i]==1){
			if (!sn[i]){
				if (A==sz[i]) g[i]=pw[m-n+C];
			}
			else R=i,work(i,0);
		}
		printf(" %d",g[i]);
	}
	putchar('\n');
}
int main(){
	pw[0]=1;
	for (int i=1;i<N;i++)
		pw[i]=(pw[i-1]<<1)%P;
	for (scanf("%d",&T);T--;work());
	return 0;
}