题意:n个数ai,和n个计数器ci(初始都为0),每次等概率选一个计数器置0,其他计数器+1,求所有计数器变成ai的期望次数。(a1=0,n<=2e5,ai<=1e18,ai数组不减)
Solution:
\quad 设置一个状态state=max(ai−ci)state = max(a_i-c_i)state=max(ai−ci),当state = 0时就结束了,初始state = ana_nan。
\quad 设EkE_kEk表示state=k时到达state=0的期望次数。每次操作将某个ai−cia_i-c_iai−ci变成aia_iai,state变成max(ai,aj−cj−1),j≠imax(a_i,a_j-c_j-1),j\neq imax(ai,aj−cj−1),j=i
state=k时,如果选择ai<ka_i<kai<k去置0,则state不变。
如果选择ai>=k去置0,则state = k-> state = aia_iai。
设ar<k<=ar+1a_r<k<=a_{r+1}ar<k<=ar+1(即最大的ai,小于k),有Ek=1+1n(rEk−1+∑j=r+1nEaj)=>Ek−1=1r(n(Ek−1)−∑j=r+1nEaj)E_k =1+\frac{1}{n}(rE_{k-1}+\sum_{j=r+1}^n E_{a_j})=>E_{k-1} = \frac{1}{r}(n(E_k-1)-\sum_{j=r+1}^n E_{a_j})Ek=1+n1(rEk−1+∑j=r+1nEaj)=>Ek−1=r1(n(Ek−1)−∑j=r+1nEaj)。
然后我们已知E0=0,要求EanE_0=0,要求E_{a_n}E0=0,要求Ean,而这个递推式的顺序是反的。改写一下
设Tk=Ean−EkT_k = E_{a_n}-E_kTk=Ean−Ek,已知Tan=0要求T_{a_n}=0要求Tan=0要求 T0T_0T0
Ean−Ek−1=Ean−1r(n(Ek−1)−∑j=r+1nEaj)=Tk−1=1r(n(Tk+1)−∑j=r+1nTaj),ar<k<=ar+1E_{a_n}-E_{k-1} =E_{a_n}- \frac{1}{r}(n(E_k-1)-\sum_{j=r+1}^n E_{a_j})=\\
T_{k-1}=\frac{1}{r}(n(T_k+1)-\sum_{j=r+1}^n T_{a_j}),a_r<k<=a_{r+1}Ean−Ek−1=Ean−r1(n(Ek−1)−∑j=r+1nEaj)=Tk−1=r1(n(Tk+1)−∑j=r+1nTaj),ar<k<=ar+1
现在就可以倒着推了。
式子后面的∑j=r+1nTaj\sum_{j=r+1}^n T_{a_j}∑j=r+1nTaj,对于一些k是不会变的,也就是说只会变n-1次,所以可以看作常数,然后枚举这段变化。
设s=∑j=r+1nTaj,ar<k<=ar+1s =\sum_{j=r+1}^n T_{a_j},a_r<k<=a_{r+1}s=∑j=r+1nTaj,ar<k<=ar+1
上式 = Tk−1=1r(n(Tk+1)−s)=nrTk+n−srT_{k-1}=\frac{1}{r}(n(T_k+1)-s)=\frac{n}{r}T_k+\frac{n-s}{r}Tk−1=r1(n(Tk+1)−s)=rnTk+rn−s。
这里有个trick,当递推式是f(i)=A∗f(i−1)+B,可以改写成f(i)+D=Ai−j(f(j)+D),其中D=BA−1且A≠1f(i) = A*f(i-1)+B,可以改写成f(i)+D = A^{i-j}(f(j)+D),其中D=\frac{B}{A-1}且A\neq1f(i)=A∗f(i−1)+B,可以改写成f(i)+D=Ai−j(f(j)+D),其中D=A−1B且A=1。
这里D=n−sn−r,且A不会为0D=\frac{n-s}{n-r},且A不会为0D=n−rn−s,且A不会为0
有Tar+D=(nr)i−j(Tar+1+D)=>Tar=(nr)i−j(Tar+1+D)−DT_{a_r}+D=(\frac{n}{r})^{i-j}(T_{a_{r+1}}+D)=>T_{a_r}=(\frac{n}{r})^{i-j}(T_{a_{r+1}}+D)-DTar+D=(rn)i−j(Tar+1+D)=>Tar=(rn)i−j(Tar+1+D)−D,
递推的时候每次更新s−>s+Taj,其中san=0,Tan=0s->s+T_{a_j},其中s_{a_n}=0,T_{a_n}=0s−>s+Taj,其中san=0,Tan=0。
c神说可以直接设fkf_kfk表示第一次到达state=k的期望次数,然后可以直接得到上面T式子,似乎是用了期望的可加性,想了好久还不是很懂这个第一次的概念orz,QAQ
#define int long long
const int N=2e5+10;
const int mod=998244353;
const double eps=1e-8;
int n;
int a[N];
ll qsm(int a,int b){
ll ans = 1,tmp = a;
while( b ){
if( b&1 ) ans = ans * tmp%mod;
tmp = tmp * tmp%mod;
b>>=1;
}
return ans;
}
int ni(int x){return qsm(x,mod-2);}
signed main(){
#ifndef ONLINE_JUDGE
freopen("in.txt", "r", stdin);
#endif
IOS;
cin>>n;
_for(i,1,n) cin>>a[i];
int sr = 0 , E = 0;
_rep(i,n-1,1){
int r = i;
int t = n *ni(r)%mod;
int A = qsm(t,a[i+1] - a[i])%mod;
int B = (n - sr + mod)%mod * ni(n-r+mod)%mod;
E = A * (E + B)%mod - B + mod;
E %= mod;
sr = ( sr + E )%mod;
}
cout<<E<<endl;
}