正题
题目链接:https://www.luogu.com.cn/problem/CF848E
题目大意
2n2n2n个花排成一个圆环,nnn种颜色每种两个,要求两个相同颜色之间最小距离为1,21,21,2或nnn。
对于一种染色方案的权值为:删除掉距离为nnn的颜色后,剩下的连续段长度的乘积。
求所有方案的染色之和对998244353998244353998244353取模。
1≤n≤500001\leq n\leq 500001≤n≤50000
解题思路
环好像很麻烦,先考虑线段上的,现在有两个长度为nnn的数列,然后距离为nnn的点之间对应。染色可以看为连接两个点。
然后设gig_igi表示不使用跨越数列的连线,涂iii个的方案数,那么有gi=gi−2+gi−4g_i=g_{i-2}+g_{i-4}gi=gi−2+gi−4(相邻的连接/两个都是隔着对方连)。
然后考虑有跨越数列的线的方案,且没有其他连线跨过这条线,f0if0_if0i表示第iii个是满足条件的线的权值和。f1if1_if1i则表示刚好有一对距离为222的点对跨越这个线的权值和。
那么有转移方程
f0i=gii2+∑j=0i−1gjj2f0i−j−1+∑j=0i−3gj(j+1)2f1i−j−3f0_i=g_ii^2+\sum_{j=0}^{i-1}g_jj^2f0_{i-j-1}+\sum_{j=0}^{i-3}g_j(j+1)^2f1_{i-j-3}f0i=gii2+j=0∑i−1gjj2f0i−j−1+j=0∑i−3gj(j+1)2f1i−j−3
(第一个是全程没有其他横跨边,第二个是上一条横跨边两边没有同色,第三个是上一条横跨边两边有同色)
同理可以得到f1f1f1的方程
f1i=gi(i+1)2+∑j=0i−1gj(j+1)2f0i−j−1+∑j=0i−3gj(j+2)2f1i−j−3f1_i=g_i(i+1)^2+\sum_{j=0}^{i-1}g_j(j+1)^2f0_{i-j-1}+\sum_{j=0}^{i-3}g_j(j+2)^2f1_{i-j-3}f1i=gi(i+1)2+j=0∑i−1gj(j+1)2f0i−j−1+j=0∑i−3gj(j+2)2f1i−j−3
得到f0f0f0和f1f1f1之后,看一下f0,f1f0,f1f0,f1都是最左边没有距离为222的边越过的,但是我们转换到环上的时候需要考虑这种情况,所以我们设f2if2_if2i表示左右两边的横跨边都有同色的,中间距离为iii的权值和。
方程是
f2i=gi(i+2)2+∑j=0i−1gj(j+1)2f0i−j−1+∑j=0j−3gj(j+2)2f1i−j−3f2_i=g_i(i+2)^2+\sum_{j=0}^{i-1}g_j(j+1)^2f0_{i-j-1}+\sum_{j=0}^{j-3}g_j(j+2)^2f1_{i-j-3}f2i=gi(i+2)2+j=0∑i−1gj(j+1)2f0i−j−1+j=0∑j−3gj(j+2)2f1i−j−3
然后考虑转换到行上。
如果只有一个点对距离是nnn,那么贡献是(n−1)(n-1)(n−1),有nnn种旋转方法,如果这个点对两边没有同色点,那么方案数是gn−1g_{n-1}gn−1,否则是gn−3g_{n-3}gn−3,所以这种情况的方案是(n−1)2n(gn−1+gn−3)(n-1)^2n(g_{n-1}+g_{n-3})(n−1)2n(gn−1+gn−3)
然后剩下的我们可以先固定1∼n+11\sim n+11∼n+1,然后枚举第二个距离为nnn的点对。设为iii,那贡献就是i(i−1)2(gi−1f0n−i−1+2gi−2f1n−i−2+gi−3f2n−i−3)i(i-1)^2(g_{i-1}f0_{n-i-1}+2g_{i-2}f1_{n-i-2}+g_{i-3}f2_{n-i-3})i(i−1)2(gi−1f0n−i−1+2gi−2f1n−i−2+gi−3f2n−i−3)
然后前面求f0,f1,f2f0,f1,f2f0,f1,f2都可以用分治NTTNTTNTT搞。
时间复杂度O(nlog2n)O(n\log^2 n)O(nlog2n)
如果用生成函数再推推可以分别得到O(n)O(n)O(n)和O(nlogn)O(n\log n)O(nlogn)的方法。
还有可以用生成函数发现这是一个161616项的线性递推式,打出前面的表再用高斯消元得到系数,可以把时间优化到logloglog级别
路还很长啊
code
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=2e5+10,P=998244353;
ll n,m,r[N],g[N],h[3][N],f[3][N];
ll t[3][N],T[2][N],z[4][N];
ll power(ll x,ll b){ll ans=1;while(b){if(b&1)ans=ans*x%P;x=x*x%P;b>>=1;}return ans;
}
void Glen(ll n){m=1;while(m<=n)m<<=1;for(ll i=0;i<m;i++)r[i]=(r[i>>1]>>1)|((i&1)?(m>>1):0);return;
}
void NTT(ll *f,ll op){for(ll i=0;i<m;i++)if(i<r[i])swap(f[i],f[r[i]]);for(ll p=2;p<=m;p<<=1){ll len=(p>>1),tmp=power(3,(P-1)/p);if(op==-1)tmp=power(tmp,P-2);for(ll k=0;k<m;k+=p){ll buf=1;for(ll i=k;i<k+len;i++){ll tt=buf*f[i+len]%P;f[i+len]=(f[i]-tt+P)%P;f[i]=(f[i]+tt)%P;buf=buf*tmp%P;}}}if(op==-1){ll inv=power(m,P-2);for(ll i=0;i<m;i++)f[i]=f[i]*inv%P;}return;
}
void CDQ(ll l,ll r){if(l==r){(f[0][l]+=h[0][l])%=P;(f[1][l]+=h[1][l])%=P;return;}ll mid=(l+r)>>1;CDQ(l,mid);Glen((r-l+1)*2);for(ll i=0;i<m;i++)t[0][i]=t[1][i]=t[2][i]=T[0][i]=T[1][i]=0;for(ll i=0;i<=r-l+1;i++)t[0][i]=h[0][i],t[1][i]=h[1][i],t[2][i]=h[2][i];for(ll i=0;i<=mid-l;i++)T[0][i]=f[0][i+l],T[1][i]=f[1][i+l];NTT(t[0],1);NTT(t[1],1);NTT(t[2],1);NTT(T[0],1);NTT(T[1],1);for(ll i=0;i<m;i++){z[0][i]=t[0][i]*T[0][i]%P,z[1][i]=t[1][i]*T[1][i]%P;z[2][i]=t[1][i]*T[0][i]%P,z[3][i]=t[2][i]*T[1][i]%P;}NTT(z[0],-1);NTT(z[1],-1);NTT(z[2],-1);NTT(z[3],-1);for(ll i=0;i<=r-l+1;i++){if(l+i+1>mid&&l+i+1<=r){f[0][l+i+1]=(f[0][l+i+1]+z[0][i])%P;f[1][l+i+1]=(f[1][l+i+1]+z[2][i])%P;}if(l+i+3>mid&&l+i+3<=r){f[0][l+i+3]=(f[0][l+i+3]+z[1][i])%P;f[1][l+i+3]=(f[1][l+i+3]+z[3][i])%P;}}CDQ(mid+1,r);return;
}
void solve(ll l,ll r){if(l==r){(f[2][l]+=h[2][l])%=P;return;}ll mid=(l+r)>>1;solve(l,mid);Glen((r-l+1)*2);for(ll i=0;i<m;i++)t[1][i]=t[2][i]=T[0][i]=T[1][i]=0;for(ll i=0;i<=r-l+1;i++)t[1][i]=h[1][i],t[2][i]=h[2][i];for(ll i=0;i<=mid-l;i++)T[0][i]=f[1][l+i],T[1][i]=f[2][l+i];NTT(t[1],1);NTT(t[2],1);NTT(T[0],1);NTT(T[1],1);for(ll i=0;i<m;i++){z[0][i]=t[1][i]*T[0][i]%P;z[1][i]=t[2][i]*T[1][i]%P;}NTT(z[0],-1);NTT(z[1],-1);for(ll i=0;i<r-l+1;i++){if(l+i+1>mid&&l+i+1<=r)(f[2][l+i+1]+=z[0][i])%=P;if(l+i+3>mid&&l+i+3<=r)(f[2][l+i+3]+=z[1][i])%=P;}solve(mid+1,r);return;
}
signed main()
{freopen("a.in","r",stdin);freopen("a.out","w",stdout);scanf("%lld",&n);g[0]=g[2]=1;for(ll i=4;i<=n;i++)g[i]=(g[i-4]+g[i-2])%P;for(ll i=0;i<=n;i++){h[0][i]=g[i]*i%P*i%P;h[1][i]=g[i]*(i+1)%P*(i+1)%P;h[2][i]=g[i]*(i+2)%P*(i+2)%P;}CDQ(0,n);solve(0,n);ll ans=(g[n-1]+g[n-3])*(n-1)%P*(n-1)%P*n%P;for(ll i=2;i<n-1;i++){ll tmp=g[i-1]*f[0][n-i-1]%P;tmp=(tmp+2*g[i-2]*f[1][n-i-2]%P)%P;tmp=(tmp+g[i-3]*f[2][n-i-3]%P)%P;tmp=tmp*i%P*(i-1)%P*(i-1)%P;ans=(ans+tmp)%P;}printf("%lld\n",ans);return 0;
}