ProjectEuler-436 - Unfair wager

\newcommand{\D}[0]{\mathrm{d}} 卡着第 50 名过……

谁来教教我如何用微积分算期望啊,我算着简直要疯了。。

Solution

其实只要算出这两个随机变量的 pdf 就好了。但是我觉得算起来特别恶心……主要是对这货不熟吧,时不时就卡住了。

首先算第一个的 pdf 。我们枚举累加器是在第 nn 次累加时超过 1 ,我们计算出 nn 个变量的和为 tt 的 pdf f(x)=tn1(n1)!f(x) = \frac{t^{n - 1}}{(n - 1)!} ,则第一个值的密度分布函数为

P(x)=n=11x1f(t)\Dt=n=11x1tn1(n1)!\Dt=n=11(1x)nn!=n=11n!n=1(1x)nn!=(e1)(e1x1)=ee1x\begin{aligned} P(x) & = \sum_{n = 1}^\infty \int_{1 - x}^{1} f(t) \D{t} \\ & = \sum_{n = 1}^\infty \int_{1 - x}^{1} \frac{t^{n - 1}}{(n - 1)!} \D{t} \\ & = \sum_{n = 1}^\infty \frac{1 - (1 - x)^n}{n!} \\ & = \sum_{n = 1}^\infty \frac{1}{n!} - \sum_{n = 1}^\infty \frac{(1 - x)^n}{n!} \\ & = (e - 1) - (e^{1 - x} - 1) \\ & = e - e^{1 - x} \\ \end{aligned}

第二个值的 pdf 就比较恶心了。还是同样的思想,我们令 gn(x)g_n(x) 表示 nn 个 0 到 1 的变量的和为 1+x1 + x 的 pdf ,可以得到 g1(x)=0g_1(x) = 0 。可以求出 gn(x)g_n (x) 递推式:

gn+1(x)=0xgn(t)\Dt+x1f(t)\Dt=0xgn(t)\Dt+1xnn!\begin{aligned} g_{n+1}(x) & = \int_{0}^x g_n(t) \D{t} + \int_{x}^1 f(t) \D{t} \\ & = \int_{0}^x g_n(t) \D{t} + \frac{1 - x^n}{n!} \\ \end{aligned}

求出 gn(x)g_n(x) 通项似乎是比较困难的,但是注意,第二个值的 pdf 我们只关心 n=1gn(x)\sum_{n=1}^\infty g_n(x)

对于递推式 vn+1(x)=0xvn(t)\Dt,v0(x)=1v_{n+1}(x) = \int_0^x v_n(t) \D{t}, v_{0}(x) = 1 ,我们可以得到 vn(x)=xnn!v_n(x) = \frac{x^n}{n!} ,则 n=0vn(x)=ex\sum_{n=0}^\infty v_n(x) = e^x

我们考虑 gn+1(x)=0xgn(t)\Dt+1xnn!g_{n+1}(x) = \int_0^x g_n(t) \D{t} + \frac{1 - x^n}{n!} 里面的 1n!\frac{1}{n!} 。这个数会被连续积分无数次,最后对 n=1gn(x)\sum_{n = 1}^\infty g_n (x) 的贡献是 exn!\frac{e^x}{n!}xnn!\frac{x^n}{n!} 也会被积分无数次,注意到对于 kk 来说,所有 xkx \leq kxnn!\frac{x^n}{n!} 积分时都会得到过一个 xkk!\frac{x^k}{k!} ,所以这部分对于和的贡献是 k=1kxkk!=xex\sum_{k = 1}^\infty k \frac{x^k}{k!} = x e^x 。所以我们有:

n=1gn(x)=n=1exn!xex=ex(e1x)\sum_{n = 1}^\infty g_n(x) = \sum_{n = 1}^\infty \frac{e^x}{n!} - x e^x = e^x (e - 1 - x)

现在要开始求第二个值的 pdf 了。令 pdf 为 Q(x)Q(x) ,则有 :

Q(x)=1x1ex(e1x)\DxQ(x) = \int_{1-x}^1 e^x(e-1-x)\D{x}

知道了 P(x)P(x)Q(x)Q(x) ,答案就是:

ans=01Q(x)0xP(y)\Dy\Dxans = \int_{0}^1 Q(x) \int_0^x P(y) \D{y} \D{x}

Q(x)Q(x)ansans 的具体表达式我用的 sage 暴力算的,就没写出来了。

nonsense

看着 forum 里面各种高大上的积分感觉被虐傻了。

@dyh 求你的做法。