「CF923E」Perpetual Subtraction

题目链接:https://codeforces.com/contest/923/problem/E

首先假设原概率的生成函数为$F(x)=\sum_{i=0}^{n}f_ix^i$,那么一次操作之后显然会变成:

然后对这个式子进行一些魔幻的操作,先简单变一下:

注意后面那一项看起来就很像积分公式,套进去试试:

上面那个积分下限是$1$,而且分母是$x-1$,看起来就很不爽,没法继续变了。

可以设$G(x)=F(x+1)$,那么可以得到:

这一来式子就简单多了,第$i$项变化之后可以很方便的写出来:

那么变$m$次之后就是:

最后就只需要考虑如何在$F,G​$之间转换了:

也就是说:

所以直接上$\rm NTT$就好了,换个方向也是同理。

复杂度$O(n\log n)$。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
#include<bits/stdc++.h>
using namespace std;

void read(int &x) {
x=0;int f=1;char ch=getchar();
for(;!isdigit(ch);ch=getchar()) if(ch=='-') f=-f;
for(;isdigit(ch);ch=getchar()) x=x*10+ch-'0';x*=f;
}

void print(int x) {
if(x<0) putchar('-'),x=-x;
if(!x) return ;print(x/10),putchar(x%10+48);
}
void write(int x) {if(!x) putchar('0');else print(x);putchar('\n');}

#define lf double
#define ll long long

#define pii pair<int,int >
#define vec vector<int >

#define pb push_back
#define mp make_pair
#define fr first
#define sc second

#define FOR(i,l,r) for(int i=l,i##_r=r;i<=i##_r;i++)

const int maxn = 1e6+10;
const int inf = 1e9;
const lf eps = 1e-8;
const int mod = 998244353;

int f[maxn],g[maxn],n,w[maxn],N,bit,pos[maxn],fac[maxn],ifac[maxn];
ll m;

int qpow(int a,int x) {
int res=1;
for(;x;x>>=1,a=1ll*a*a%mod) if(x&1) res=1ll*res*a%mod;
return res;
}

void init() {
for(N=1,bit=-1;N<=n<<1;N<<=1,bit++);
for(int i=1;i<N;i++) pos[i]=pos[i>>1]>>1|((i&1)<<bit);
w[0]=1,w[1]=qpow(3,(mod-1)/N);
for(int i=2;i<N;i++) w[i]=1ll*w[i-1]*w[1]%mod;
fac[0]=ifac[0]=1;
for(int i=1;i<=N;i++) fac[i]=1ll*fac[i-1]*i%mod;
ifac[N]=qpow(fac[N],mod-2);
for(int i=N-1;i;i--) ifac[i]=1ll*ifac[i+1]*(i+1)%mod;
}

void ntt(int *r,int op) {
for(int i=1;i<N;i++) if(pos[i]>i) swap(r[i],r[pos[i]]);
for(int i=1,d=N>>1;i<N;i<<=1,d>>=1)
for(int j=0;j<N;j+=i<<1)
for(int k=0;k<i;k++) {
int x=r[j+k],y=1ll*w[k*d]*r[i+j+k]%mod;
r[j+k]=(x+y)%mod,r[i+j+k]=(x-y+mod)%mod;
}
if(op==-1) {
int d=qpow(N,mod-2);reverse(r+1,r+N);
for(int i=0;i<N;i++) r[i]=1ll*r[i]*d%mod;
}
}

int main() {
read(n);scanf("%lld",&m);init();
for(int i=0;i<=n;i++) read(f[i]),f[i]=1ll*f[i]*fac[i]%mod,g[i]=ifac[i];
reverse(f,f+n+1);ntt(f,1),ntt(g,1);
for(int i=0;i<N;i++) g[i]=1ll*f[i]*g[i]%mod;
ntt(g,-1);
reverse(g,g+n+1);
for(int i=0;i<=n;i++) g[i]=1ll*g[i]*ifac[i]%mod;
for(int i=n+1;i<N;i++) g[i]=0;
for(int i=0;i<=n;i++) g[i]=1ll*g[i]*qpow(qpow(i+1,m%(mod-1)),mod-2)%mod;
for(int i=0;i<N;i++) f[i]=0;
for(int i=0;i<=n;i++) f[i]=1ll*ifac[i]*(i&1?mod-1:1)%mod,g[i]=1ll*g[i]*fac[i]%mod;
reverse(g,g+n+1);ntt(f,1),ntt(g,1);
for(int i=0;i<N;i++) f[i]=1ll*f[i]*g[i]%mod;
ntt(f,-1);reverse(f,f+n+1);
for(int i=0;i<=n;i++) printf("%d ",1ll*f[i]*ifac[i]%mod);puts("");
return 0;
}