LXII.CF908D New Year and Arbitrary Arrangement

思路：

期望题果然还是恶心呀……

我们设\(f[i][j]\)表示当串中有\(i\)个a和\(j\)个ab时的方案数。为了方便，设\(A=\dfrac{P_a}{P_a+P_b},B=\dfrac{P_b}{P_a+P_b}\)。

显然，可以这样转移：

\(f[i][j]=f[i+1][j]*A+f[i][i+j]*B\)

因为，如果串后面加上一个a，概率是\(A\)，并且加完后唯一的影响就是\(i+1\)；如果加入一个b，概率是\(B\)，加完后前面每一个a都会与这个b形成一对ab。

那么边界条件呢？

显然，当\(i+j\geq k\)时，只要再往后面加入一个b，过程就停止了。

则这个的期望长度应该是：

\(B*\sum\limits_{a=0}^{\infty}(i+j+a)*A^a\)

其中，枚举的这个\(a\)是在终于搞出一个b前，所刷出的a的数量。

为了方便，我们设\(i+j=c\)，并用\(i\)替换\(a\)。即：

\(B*\sum\limits_{i=0}^{\infty}(c+i)*A^i\)

因为\(A+B=1\)，我们可以用\((1-A)\)代\(B\)。

即：

\((1-A)*\sum\limits_{i=0}^{\infty}(c+i)*A^i\)

拆开括号得

\(\sum\limits_{i=0}^{\infty}(c+i)*A^i-\sum\limits_{i=0}^{\infty}(c+i)*A^{i+1}\)

一上来直接\(\infty\)有些不直观，我们用\(n\)替换掉。

\(\sum\limits_{i=0}^n(c+i)*A^i-\sum\limits_{i=0}^n(c+i)*A^{i+1}\)

在第二个式子里面用\(i+1\)代掉\(i\)

\(\sum\limits_{i=0}^n(c+i)*A^i-\sum\limits_{i=1}^{n+1}(c+i-1)*A^i\)

将第一个\(\Sigma\)中\(i=0\)的情况和第二个\(\Sigma\)中\(i=n+1\)的情况分别提出

\(c+\sum\limits_{i=1}^n(c+i)*A^i-\sum\limits_{i=1}^n(c+i-1)*A^i-(c+n)*A^{n+1}\)

合并两个\(\Sigma\)

\(c+\sum\limits_{i=1}^nA^i-(c+n)*A^{n+1}\)

套等比数列求和公式（注意要先提出一个\(A\)使首项为\(1\)）

\(c+A*\dfrac{1-A^n}{1-A}-(c+n)*A^{n+1}\)

注意到\(1-A=B\)

\(c+A*\dfrac{1-A^n}{B}-(c+n)*A^{n+1}\)

现在，考虑\(n\rightarrow\infty\)的情况。即：

\(\lim\limits_{n\rightarrow\infty}c+A*\dfrac{1-A^n}{B}-(c+n)*A^{n+1}\)

注意到\(0<A<1\)，因此\(\lim\limits_{n\rightarrow\infty}A^n=0\)

带入发现

\(c+A*\dfrac{1-0}{B}-(c+n)*0\)

处理一下

\(c+\dfrac{A}{B}\)

注意到我们一开始的定义了吗？

\(A=\dfrac{P_a}{P_a+P_b},B=\dfrac{P_b}{P_a+P_b}\)

以及\(c=i+j\)

代入得

\(i+j+\dfrac{P_a}{P_b}\)

也就是说，边界条件就是\(f[i][j]=i+j+\dfrac{P_a}{P_b}(i+j\geq k)\)！！！

再搬出我们一开始的转移式

\(f[i][j]=f[i+1][j]*A+f[i][i+j]*B\)

完事。

哦，另外，还要思考一下答案到底是\(f[0][0]\)还是\(f[1][0]\)。

因为一开始的那些b，无论来多少个都是没用的，因此不如直接从\(f[1][0]\)开始。（事实上，你如果把转移式代回去或者打个表的话，你会发现就有\(f[0][0]=f[1][0]\)）

复杂度\(O(k^2+\log mod)\)。

代码：

#include<bits/stdc++.h>
using namespace std;
int n,a,b,A,B,f[1010][1010],c;
const int mod=1e9+7;
int ksm(int x,int y){
    int z=1;
    for(;y;x=(1ll*x*x)%mod,y>>=1)if(y&1)z=(1ll*z*x)%mod;
    return z;
}
int dfs(int x,int y){
    if(x+y>=n)return x+y+c;
    if(f[x][y]!=-1)return f[x][y];
    int &res=f[x][y];res=0;
    (res+=1ll*dfs(x+1,y)*A%mod)%=mod;
    (res+=1ll*dfs(x,x+y)*B%mod)%=mod;
    return res;
}
int main(){
    scanf("%d%d%d",&n,&a,&b),A=1ll*a*ksm(a+b,mod-2)%mod,B=1ll*b*ksm(a+b,mod-2)%mod,c=1ll*a*ksm(b,mod-2)%mod,memset(f,-1,sizeof(f));
    printf("%d\n",dfs(1,0));
    return 0;
}

标签：infty,limits,int,dfrac,sum,Arrangement,Arbitrary,New,mod
来源： https://www.cnblogs.com/Troverld/p/14597525.html