其他分享
首页 > 其他分享> > P3750 - 分手是祝愿

P3750 - 分手是祝愿

作者:互联网

草,到现在才知道概率期望 DP 这样一个科技啊……


与其它 DP 不同的是,概率期望 DP 往往是列出有后效性的转移式,然后根据概率期望的客观确定性,解出这个方程组从而得到所有 DP 值。我以前只会暴列无穷级数,现在知道自己 sb 了吧……知道这个事情后,我们来做这一题。

首先考虑原状态的最优方案。你每次肯定要熄灭最大的那个灯,而且肯定不要额外开更大的灯吧,所以每部一定是按下当前最大的灯的编号的开关。随便模拟一下就能出来。(所以 B 君为啥觉得难呢)

然后我们考虑随便按上去一个按钮后,剩下来的情况的最优解是什么样的。如果恰好按到原计划的话,由于这个操作是有交换律的,所以最优解就是去掉它。否则如果按到了不该按的,不难知道就是在原最优解中加上它以还原。

于是问题就转化成:当前有 \(x\) 个计划,你每次随机一个值,要减到 \(m\) 个计划的期望次数。(\(x<m\) 直接输出就可以了吧?)

这时候考虑期望 DP。然而我还是走向了歧途。我考虑的是设 \(f_i(i\geq m)\) 为 \(i\) 减到 \(m\) 的期望次数。容易知道 \(f_m=0\),转移为 \(f_i=1+\dfrac inf_{i-1}+\left(1-\dfrac in\right)f_{i+1}\)。这个怎么解呢?考虑从 \(i=m+1\) 往上代入消元,每次求出 \(f_i\) 关于 \(f_{i+1}\) 的表达式(记录常数项和一次项)。然后发现 \(f_n\) 只和 \(f_{n-1}\) 有关,然后结合 \(f_{n-1}\) 关于 \(f_n\) 的表达式解出来然后倒推。容易发现每一步的分母都是 \(\in(0,1]\) 的,不用担心 \(=0\) 的问题。但是问题来了,这里面不仅有乘法,还掺着加法,而分目与一次项有关,有可能 \(\bmod p=0\)!这时候已经不可做了。

于是只能参照题解搞出一个分母必定不为 \(0\) 的更神仙的做法。考虑设 \(f_i(i>m)\) 为 \(i\to i-1\) 的期望步数(统计答案就全加起来即可),那么容易得到 \(f_n=1\),转移 \(f_i=1+\left(1-\dfrac in\right)(f_{i+1}+f_i)\)。考虑从 \(i=n-1\downarrow\) 倒推,这样分母是 \(i\),不可能是 \(0\),就可以做了。

标签:期望,dfrac,祝愿,分母,P3750,考虑,分手,最优,DP
来源: https://www.cnblogs.com/ycx-akioi/p/solution-p3750.html