【LOJ】#2340. 「WC2018」州区划分

题解

学习一个全世界人都会只有我不会的东西

子集变换!
难道我要把这题当板子讲?等等这题好像是板。。。WC出板题好刺激啊= =

假装我们都做过HAOI2015的FMT题,我们都知道一些FMT怎么解决或卷积的理论(似乎FMT本质就是FWT的或卷积方式)

子集变换是什么呢,就是把FMT带一个多项式
什么意思呢,就是我们需要
(h_{S} = sum_{T subseteq S} g_{T}f_{S - T})
算h,怎么算,显然或卷积不成立啊,因为可能有交集
那么考虑到(|S| + |S - T| = |S|)绝对值符号指元素个数,也就是1的个数
我们就……套上一个多项式!
(g_{T}x^{|T|})(g_{T})是有值的
这样我们对每个N都做一遍FMT,相乘之后做一遍IFMT,我们需要的就是(h_{S}x^{|S|})

那么……我们再来看这道题
显然就是
(dp_{S} = frac{1}{g_{S}}sum_{T subseteq S}g_{T}dp_{S - T})
g就是集合里人数的总和的p次方
啥,自己和自己卷积……
我们处理的时候从dp[1 - N][S]开始处理,就是每次算好每一层的dp值,还原回来乘上前面的系数,再FMT回去

代码

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <ctime>
#include <vector>
//#define ivorysi
#define MAXN 100005
#define eps 1e-7
#define mo 974711
#define pb push_back
#define mp make_pair
using namespace std;
typedef long long int64;
typedef unsigned int u32;
typedef double db;
const int64 MOD = 998244353;
int N,M,p;
int g[25][25],ind[25],cnt[1 << 21],w[25],fa[25];
int64 F[23][1 << 21],inv[1 << 21],dp[23][1 << 21];
bool vis[25];
int getfa(int x) {
	return fa[x] == x ? x : fa[x] = getfa(fa[x]);
}
int64 fpow(int64 x,int64 c) {
	int64 res = 1,t = x;
	while(c) {
		if(c & 1) res = res * t % MOD;
		t = t * t % MOD;
		c >>= 1;
	}
	return res;
}
int64 calc(int64 v) {
	if(p == 0) return 1;
	else if(p == 1) return v;
	else return v * v % MOD;
}
void FMT(int64 *a,int64 ty) {
	for(int i = 1 ; i < (1 << N) ; i <<= 1) {
		for(int j = 0 ; j < (1 << N) ; ++j) {
			if(j & i) a[j] = (a[j] + ty * a[j ^ i] + MOD) % MOD;
		}
	}
}
void Init() {
	scanf("%d%d%d",&N,&M,&p);
	int u,v;
    for(int i = 1 ; i <= M ; ++i) {
    	scanf("%d%d",&u,&v);
    	g[u][v] = g[v][u] = 1;
    }
    for(int i = 1 ; i <= N ; ++i) scanf("%d",&w[i]);
    for(int i = 1 ; i < (1 << N) ; ++i) cnt[i] = cnt[i - (i & -i)] + 1;
    for(int S = 1 ; S < (1 << N) ; ++S) {
    	memset(vis,0,sizeof(vis));
    	memset(ind,0,sizeof(ind));
    	int sum = 0,v = 0;
    	for(int i = 1 ; i <= N ; ++i) {
    		fa[i] = i;
    		if((S >> i - 1) & 1) {
    			vis[i] = 1,sum += w[i];
    			if(v == 0) v = i;
    		}
    	}
    	for(int i = 1 ; i <= N ; ++i) {
    		if(!vis[i]) continue;
    		for(int j = i + 1 ; j <= N ; ++j) {
    			if(!vis[j]) continue;
    			if(g[i][j] == 1) {
    				fa[getfa(i)] = getfa(j);
    				++ind[i];++ind[j];
    			}
    		}
    	}
    	bool flag = 1;
    	for(int i = 1 ; i <= N ; ++i) {
    		if(vis[i]) {
    			if(ind[i] & 1) {flag = 0;break;}
    			if(getfa(v) != getfa(i)) {flag = 0;break;}
    		}
    	}
    	F[cnt[S]][S] = (flag ^ 1) * calc(sum);
    	inv[S] = fpow(calc(sum),MOD - 2);
    }
}
void Solve() {
	for(int i = 1 ; i <= N ; ++i) FMT(F[i],1);
	dp[0][0] = 1;
	FMT(dp[0],1);
	for(int i = 1 ; i <= N ; ++i) {
		for(int j = 1 ; j <= i ; ++j) {
			for(int S = 0 ; S < (1 << N) ; ++S) {
				(dp[i][S] += dp[i - j][S] * F[j][S]) %= MOD;
			}
		}
		FMT(dp[i],-1);
		for(int S = 0 ; S < (1 << N) ; ++S) dp[i][S] = dp[i][S] * inv[S] % MOD;
		FMT(dp[i],1);
	}
	FMT(dp[N],-1);
	printf("%lld
",dp[N][(1 << N) - 1]);
}
int main() {
#ifdef ivorysi
    freopen("f1.in","r",stdin);
#endif
    Init();
    Solve();
}
原文地址:https://www.cnblogs.com/ivorysi/p/9058065.html