专栏文章

CF1392H ZS Shuffles Cards Solution

CF1392H题解参与者 4已保存评论 3

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
3 条
当前快照
1 份
快照标识符
@mir0cyul
此快照首次捕获于
2025/12/04 13:41
3 个月前
此快照最后确认于
2025/12/04 13:41
3 个月前
查看原文
n+mn+m 张牌,其中前 nn 张牌上分别标着 1,2,,n1,2,\cdots,n 的数字,后 mm 张牌是鬼牌。现在我们打乱这些牌,然后开始抽牌游戏,每一轮你可以抽一张牌:
  • 如果抽到了一张标有数字 xx 的牌,就移除这张牌,并将数字 xx 加入一个集合 SS
  • 如果抽到了鬼牌,就把移除的牌重新加入牌堆,再次打乱所有牌的顺序,重新开始抽牌,所以洗完牌后牌堆里仍然有 n+mn+m 张牌。如果你抽到了鬼牌,并且集合 SS 已经包括了 1,2,,n1,2,\cdots,n 中全部 nn 个数,那么抽牌游戏结束。
询问抽牌游戏结束的期望轮数(即抽出的牌数)。
特别提醒:抽到鬼牌不会清空数字集合 SS
NOIP 模拟赛 T3 出 3000 是什么构式场。
可能是作为原来 第一篇题解 的补充,也可能是写给我自己看的。
首先,我们发现,每一轮抽到的牌数,即第一步执行的次数,它是和集合 SS 无关的,也就是说,每一轮你抽到的牌数和当前是哪一轮,集合 SS 包含什么都无关。所以抽卡游戏期望的抽牌数为:
E=Erounds×Ecards in every round.E=E_{\text{rounds}} \times E_{\text{cards in every round}}.
然后考虑分别怎么求这两个。首先求后者吧。
我们发现,数字牌和数字牌之间是互不影响的。我们记 P0P_0 表示数字牌之前没有出现鬼牌的概率,那么他等于 1m+1\frac{1}{m+1}。原因如下:
数字牌间不干扰,所以我们只考虑这张数字牌和其他 mm 张鬼牌,一共有 Am+1m+1A_{m+1}^{m+1} 种排列,而数字牌之前没有鬼牌,即数字牌在第一个,一共有 AmmA_m^m 种,则概率 P0P_0 等于两者之商就是 1m+1\frac{1}{m+1}。这里第一篇题解貌似没讲为什么,导致我想了好久,大概是我太菜了。
一张牌在这一轮种被抽到当且仅当它之前没有鬼牌,则抽到牌数的期望是:
E0=nP0=nm+1.E_0=nP_0=\frac{n}{m+1}.
所以每轮抽到牌数的期望是数字牌的期望加上一张鬼牌。
Ecards in every round=E0+1=nm+1+1.E_{\text{cards in every round}}=E_0+1=\frac{n}{m+1}+1.
然后求前者,轮数的期望。
我们记 EiE_i 表示还有 ii 张数字牌没抽到时抽到一张新牌的期望轮数。则:
Erounds=i=1nEi+1E_{rounds}=\sum_{i=1}^n E_i+1。
最后加一是因为抽到最后一张新牌以后还要一直抽到鬼牌结束这一轮。
考虑求解 EiE_i。首先已经抽到的牌不考虑,则一共还有 m+im+i 张牌,其中新数字牌 ii 张,则抽到新牌的概率是 im+i\frac{i}{m+i},那么抽新牌的期望抽牌数就是倒数,为 m+1i=1+mi\frac{m+1}{i}=1+\frac{m}{i}。然后它对应的轮数就是抽牌数减一,原因是除了最后一张牌是新牌以外,前面抽到的肯定是鬼牌,标志开启新一轮,所以开启的轮数是:
Ei=1+mi1=mi.E_i=1+\frac{m}{i}-1=\frac{m}{i}.
所以:
Erounds=i=1nmi+1=mi=1n1i+1=mHn+1.E_{\text{rounds}}=\sum_{i=1}^n\frac{m}{i}+1=m\sum_{i=1}^n\frac{1}{i}+1=mH_n+1.
其中 HnH_n 是调和级数和。
再把 Erounds,Ecards in every roundE_{\text{rounds}},E_{\text{cards in every round}} 回带入一开始的式子得到:
E=(mHn+1)(nm+1+1).E=(mH_n+1)\left(\frac{n}{m+1}+1\right).
时间复杂度 O(nlogn)O(n\log n),瓶颈是求调和级数和以及快速幂求逆元。

评论

3 条评论,欢迎与作者交流。

正在加载评论...