uoj 348&LibreOJ 2340 [WC2018]州区划分 状压dp+FMT

本文探讨了一种针对特定图论问题的动态规划算法优化方案,通过使用或卷积技术将时间复杂度从O(3^n)降低至O(n^22^n)。该问题涉及图的点集划分及欧拉回路判断。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题意

给出一个n个点m条边的无向图,要求把点集分成若干个集合,满足每个集合非空且其导出子图中不存在欧拉回路。
给定一个数组wiwi,求对于所有合法的划分{S1,S2..Sk}{S1,S2..Sk},下面式子之和:

(i=1kxSiwxij=1xSjwx)p(∏i=1k∑x∈Siwx∑j=1i∑x∈Sjwx)p

n21,0p2n≤21,0≤p≤2

分析

O(3n)O(3n)的dp就十分显然了,现在考虑如何将其优化到O(n22n)O(n22n)
g(S)=0/1g(S)=0/1表示SS这个集合是否合法,sum(S)表示SS这个集合的权值和。
我们设f(i,S)表示选了若干个集合出来,其中一个点可以在多个集合内,他们的并集为SS,且每个集合的元素数量和为i时的贡献和。
显然f(n,2n1)f(n,2n−1)就是答案。
推一下不难发现转移

f(i,S)=j|T|=jA[A|T=S]f(ij,A)g(T)(sum(T)sum(S))pf(i,S)=∑j∑|T|=j∑A[A|T=S]f(i−j,A)g(T)(sum(T)sum(S))p

现在就好办了,我们可以枚举一个ii,枚举一个j,然后把f(ij)f(i−j)gg进行或卷积就好了,其中要求g中集合的大小均为jj
如果把数组均保存为FMT后的形式,那么或卷积一次的时间复杂度是O(2n),这时总的复杂度就是O(n22n)O(n22n)了。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

typedef long long LL;

const int N=25;
const int M=2100005;
const int MOD=998244353;

int n,m,p,ny[4410005],sum[M],g[N][M],bin[N],f[N][M],cnt[M],fa[N],deg[N];
struct edge{int x,y;}e[N*N];

int find(int x)
{
    if (fa[x]==x) return x;
    else return fa[x]=find(fa[x]);
}

int ksm(int x,int y)
{
    int ans=1;
    while (y)
    {
        if (y&1) ans=(LL)ans*x%MOD;
        x=(LL)x*x%MOD;y>>=1;
    }
    return ans;
}

void FMT(int *f,int c)
{
    for (int i=0;i<n;i++)
        for (int j=bin[n]-1;j>=0;j--)
            if (j&bin[i]) (f[j]+=c*f[j-bin[i]])%=MOD;
}

bool check(int s)
{
    for (int i=0;i<n;i++) fa[i]=i,deg[i]=0;
    for (int i=1;i<=m;i++)
    {
        int x=e[i].x-1,y=e[i].y-1;
        if (!(s&bin[x])||!(s&bin[y])) continue;
        deg[x]^=1;deg[y]^=1;
        if (find(x)!=find(y)) fa[find(x)]=find(y);
    }
    int s1=0,s2=0;
    for (int i=0;i<n;i++) if (s&bin[i]) s1+=deg[i],s2+=(fa[i]==i);
    return s1||s2>1;
}

void prework()
{
    ny[0]=ny[1]=1;
    for (int i=2;i<=n*100*n*100;i++) ny[i]=(LL)(MOD-MOD/i)*ny[MOD%i]%MOD;
    for (int i=1;i<bin[n];i++) g[0][i]=check(i),sum[i]=sum[i-(i&(-i))]+sum[i&(-i)],cnt[i]=cnt[i>>1]+(i&1);
    for (int i=1;i<bin[n];i++) sum[i]=ksm(sum[i],p),g[0][i]*=sum[i],g[cnt[i]][i]=g[0][i];
    for (int i=1;i<=n;i++) FMT(g[i],1);
}

void solve()
{
    f[0][0]=1;
    FMT(f[0],1);
    for (int i=1;i<=n;i++)
    {
        for (int j=1;j<=i;j++)
            for (int k=0;k<bin[n];k++)
                (f[i][k]+=(LL)f[i-j][k]*g[j][k]%MOD)%=MOD;
        FMT(f[i],-1);
        for (int j=0;j<bin[n];j++) f[i][j]=(LL)f[i][j]*ny[sum[j]]%MOD;
        FMT(f[i],1);
    }
    FMT(f[n],-1);
    printf("%d",(f[n][bin[n]-1]+MOD)%MOD);
}

int main()
{
    scanf("%d%d%d",&n,&m,&p);
    bin[0]=1;
    for (int i=1;i<=n;i++) bin[i]=bin[i-1]*2;
    for (int i=1;i<=m;i++) scanf("%d%d",&e[i].x,&e[i].y);
    for (int i=0,x;i<n;i++) scanf("%d",&x),sum[bin[i]]=x;
    prework();
    solve();
    return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值