其他分享
首页 > 其他分享> > P4221 [WC2018]州区划分 无向图欧拉回路 FST FWT

P4221 [WC2018]州区划分 无向图欧拉回路 FST FWT

作者:互联网

LINK:州区划分

把题目中四个条件进行规约 容易想到不合法当前仅当当前状态是一个无向图欧拉回路.

充要条件有两个 联通 每个点度数为偶数.

预处理出所有状态.

然后设\(f_i\)表示组成情况为i的值.

枚举子集转移 可以发现利用FST进行优化.

FST怎么做?详见另一篇文章史上最详细FST解释

code
//#include<bits/stdc++.h>
#include<iostream>
#include<cstdio>
#include<ctime>
#include<cctype>
#include<queue>
#include<deque>
#include<stack>
#include<iostream>
#include<iomanip>
#include<cstdio>
#include<cstring>
#include<string>
#include<ctime>
#include<cmath>
#include<cctype>
#include<cstdlib>
#include<queue>
#include<deque>
#include<stack>
#include<vector>
#include<algorithm>
#include<utility>
#include<bitset>
#include<set>
#include<map>
#define ll long long
#define db double
#define INF 1000000000000000000ll
#define inf 100000000000000000ll
#define ldb long double
#define pb push_back
#define put_(x) printf("%d ",x);
#define get(x) x=read()
#define gt(x) scanf("%d",&x)
#define gi(x) scanf("%lf",&x)
#define put(x) printf("%d\n",x)
#define putl(x) printf("%lld\n",x)
#define rep(p,n,i) for(RE int i=p;i<=n;++i)
#define go(x) for(int i=lin[x],tn=ver[i];i;tn=ver[i=nex[i]])
#define fep(n,p,i) for(RE int i=n;i>=p;--i)
#define vep(p,n,i) for(RE int i=p;i<n;++i)
#define pii pair<int,int>
#define mk make_pair
#define RE register
#define P 1000000007ll
#define gf(x) scanf("%lf",&x)
#define pf(x) ((x)*(x))
#define uint unsigned long long
#define ui unsigned
#define EPS 1e-10
#define sq sqrt
#define S second
#define F first
#define mod 998244353
#define max(x,y) ((x)<(y)?y:x)
using namespace std;
char *fs,*ft,buf[1<<15];
inline char gc()
{
	return (fs==ft&&(ft=(fs=buf)+fread(buf,1,1<<15,stdin),fs==ft))?0:*fs++;
}
inline int read()
{
	RE int x=0,f=1;RE char ch=gc();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
	while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=gc();}
	return x*f;
}
const int MAXN=1<<21,maxn=22;
int n,m,p,maxx;
int f[maxn][MAXN],c[MAXN],g[maxn][MAXN],w[MAXN],in[MAXN];
int d[maxn],fa[maxn];
struct wy
{
	int x,y;
}t[MAXN];
inline int getfather(int x){return x==fa[x]?x:fa[x]=getfather(fa[x]);}
inline int ksm(int b,int p)
{
	int cnt=1;
	while(p)
	{
		if(p&1)cnt=(ll)cnt*b%mod;
		b=(ll)b*b%mod;p=p>>1;
	}
	return cnt;
}
inline void FWT(int *f,int op)
{
	for(int len=2;len<=maxx+1;len=len<<1)
	{
		int mid=len>>1;
		for(int j=0;j<=maxx;j+=len)
		{
			vep(0,mid,i)
			{
				if(op==1)f[i+j+mid]=(f[i+j+mid]+f[i+j])%mod;
				else f[i+j+mid]=(f[i+j+mid]-f[i+j]+mod)%mod;
			}
		}
	}
}
inline int pd(int x)
{
	if(c[x]<=1)return 0;
	int cnt=c[x];
	rep(1,n,i)fa[i]=i,d[i]=0;
	rep(1,m,i)
	{
		if(((1<<(t[i].x-1))&x)&&((1<<(t[i].y-1))&x))
		{
			d[t[i].x]^=1;d[t[i].y]^=1;
			int xx=getfather(t[i].x);
			int yy=getfather(t[i].y);
			if(xx==yy)continue;
			fa[xx]=yy;--cnt;
		}
	}
	if(cnt!=1)return 1;
	rep(1,n,i)if(d[i])return 1;
	return 0;
}
int main()
{
	//freopen("1.in","r",stdin);
	get(n);get(m);get(p);
	rep(1,m,i)
	{
		int get(x),get(y);
		t[i]=(wy){x,y};
	}
	rep(1,n,i)get(w[i]);
	maxx=1<<n;--maxx;
	rep(1,maxx,i)
	{
		int sum=0;c[i]=c[i>>1]+(i&1);
		rep(1,n,j)if(i&(1<<(j-1)))sum+=w[j];
		sum=ksm(sum,p);in[i]=ksm(sum,mod-2);
		//cout<<pd(i)<<' '<<i<<endl;
		//cout<<sum<<endl;
		if(pd(i))g[c[i]][i]=sum;
		//cout<<g[c[i]][i]<<endl;
	}
	rep(1,n,i)FWT(g[i],1);
	f[0][0]=1;FWT(f[0],1);
	rep(1,n,i)
	{
		vep(0,i,j)
		rep(0,maxx,k)f[i][k]=(f[i][k]+(ll)f[j][k]*g[i-j][k])%mod;
		FWT(f[i],-1);
		rep(0,maxx,k)f[i][k]=(ll)f[i][k]*in[k]%mod;
		FWT(f[i],1);
	}
	FWT(f[n],-1);
	put(f[n][maxx]);
	return 0;
}

标签:州区,ch,int,P4221,long,无向,FST,include,define
来源: https://www.cnblogs.com/chdy/p/13389052.html