• #186 path(容斥原理+状压dp+NTT)


      首先只有一份图时显然可以状压dp,即f[S][i]表示S子集的哈密顿路以i为终点的方案数,枚举下个点转移。

      考虑容斥,我们枚举至少有多少条原图中存在的边(即不合法边)被选进了哈密顿路,统计出这个情况下的哈密顿路数量就可以容斥了。

      考虑暴力,显然是枚举在每张图中选择了哪些不合法边。注意到当固定了某些边被选择后,可以将这些边两端的点缩掉,缩完点之后因为已经进行了容斥,可以假装这是个完全图,哈密顿路径数量显然就是剩余点数的阶乘了,于是只需要考虑选择边的方案数。

      先考虑在一张图中选择边的方案数。之前已经求出了某个子集用一条链串起来的方案数,于是再来一个子集状压dp就搞定了。现在固定了每张图选择边的数量之和,考虑一下生成函数之类的东西容易发现求个多项式快速幂即可。可以直接在点值表示下进行。

    #include<iostream> 
    #include<cstdio>
    #include<cmath>
    #include<cstdlib>
    #include<cstring>
    #include<algorithm>
    using namespace std;
    #define ll long long
    #define P 998244353
    #define N 14
    #define M 2100000
    char getc(){char c=getchar();while ((c<'A'||c>'Z')&&(c<'a'||c>'z')&&(c<'0'||c>'9')) c=getchar();return c;}
    int gcd(int n,int m){return m==0?n:gcd(m,n%m);}
    int read()
    {
    	int x=0,f=1;char c=getchar();
    	while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}
    	while (c>='0'&&c<='9') x=(x<<1)+(x<<3)+(c^48),c=getchar();
    	return x*f;
    }
    int n,m,k,a[N][N],f[1<<N][N],h[1<<N],g[N][1<<N],u[M],size[1<<N],fac[M],r[M],ans;
    void inc(int &x,int y){x+=y;if (x>=P) x-=P;}
    int ksm(int a,int k) 
    {
    	int s=1;
    	for (;k;k>>=1,a=1ll*a*a%P) if (k&1) s=1ll*s*a%P;
    	return s;
    }
    int inv(int a){return ksm(a,P-2);}
    void DFT(int *a,int n,int g)
    {
    	for (int i=0;i<n;i++) r[i]=(r[i>>1]>>1)|(i&1)*(n>>1);
    	for (int i=0;i<n;i++) if (i<r[i]) swap(a[i],a[r[i]]);
    	for (int i=2;i<=n;i<<=1)
    	{
    		int wn=ksm(g,(P-1)/i);
    		for (int j=0;j<n;j+=i)
    		{
    			int w=1;
    			for (int k=j;k<j+(i>>1);k++,w=1ll*w*wn%P)
    			{
    				int x=a[k],y=1ll*w*a[k+(i>>1)]%P;
    				a[k]=(x+y)%P,a[k+(i>>1)]=(x-y+P)%P;
    			}
    		}
    	}
    }
    int main()
    {
    	n=read(),k=read(),m=read();
    	for (int i=1;i<=m;i++)
    	{
    		int x=read(),y=read();
    		a[x][y]=a[y][x]=1;
    	}
    	for (int i=0;i<n;i++) f[1<<i][i]=1;
    	for (int i=0;i<(1<<n);i++)
    	{
    		for (int j=0;j<n;j++)
    		if (f[i][j])
    		{
    			for (int x=0;x<n;x++)
    			if (!(i&(1<<x))&&a[j][x]) inc(f[i|(1<<x)][x],f[i][j]);
    		}
    		for (int j=0;j<n;j++) inc(h[i],f[i][j]);
    	}
    	for (int i=1;i<(1<<n);i++) size[i]=size[i^(i&-i)]+1;
    	g[0][0]=1;
    	for (int i=0;i<n;i++)
    		for (int j=1;j<(1<<n);j++)
    			for (int x=j;x>0;x=x-1&j)
    			if ((j&-j)==(x&-x)&&i>=size[x]-1) inc(g[i][j],1ll*g[i-(size[x]-1)][j^x]*h[x]%P);
    	for (int i=0;i<n;i++) u[i]=g[i][(1<<n)-1];
    	int t=1;while (t<=k*n) t<<=1;
    	DFT(u,t,3);
    	for (int i=0;i<t;i++) u[i]=ksm(u[i],k);
    	DFT(u,t,inv(3));
    	int v=inv(t);
    	for (int i=0;i<t;i++) u[i]=1ll*u[i]*v%P;
    	fac[0]=1;for (int i=1;i<=k*n;i++) fac[i]=1ll*fac[i-1]*i%P;
    	for (int i=0;i<=k*n;i++)
    	if (i&1) inc(ans,P-1ll*fac[k*n-i]*u[i]%P);
    	else inc(ans,1ll*fac[k*n-i]*u[i]%P);
    	cout<<ans;
    	return 0;
    }
      
  • 相关阅读:
    C#神奇的扩展方法
    OCIEnvCreate 失败,返回代码为 -1,但错误消息文本不可用
    xslt格式化日期的方法
    c# 对象存cookie
    Oracle Client安装报错:引用数据不可用于验证此操作系统分发的先决条件
    Web.config中设置启用webservice远程调试访问 参数看不到
    ORA-12514: TNS: 监听程序当前无法识别连接描述符中请求的服务
    IIS无法加载字体文件(*.woff,*.svg)的解决办法
    word 里面没输入法
    photoshop cc 2018破解补丁(pscc2018注册机) 附使用方法
  • 原文地址:https://www.cnblogs.com/Gloid/p/10363393.html
Copyright © 2020-2023  润新知