\(\mathcal{Description}\)

  Link.

  打乱的 \(n\) 张编号 \(1\sim n\) 的数字排和 \(m\) 张鬼牌。随机抽牌,若抽到数字,将数字加入集合 \(S\);否则,还原牌堆(但不清空 \(S\))。若 \(S=[1,n]\) 且抽到鬼牌时结束抽牌。求期望抽牌次数。

  \(n,m\le2\times10^6\)。

\(\mathcal{Solution}\)

  称从初始牌堆开始抽牌一直到抽到鬼牌为一轮操作,发现结束时必然抽了若干个完整的轮且不能中途终止。所以“抽完一轮”和“结束抽牌”两事件独立,分别记二者的随机变量为 \(\xi_1\) 和 \(\xi_2\),则答案为 \(E(\xi_1\xi_2)=E(\xi_1)E(\xi_2)\)。

  \(E(\xi_1)\) 显然等于一轮抽到数字牌的期望张数 \(+1\)。 而由期望线性性,它也等于 \(n\times p+1\),其中 \(p\) 表示抽到某一张牌的概率,有:

\[p=\frac{1}{m+1}
\]

  一种直观的解释方法是,把每张数字牌和 \(m\) 张鬼牌绑为一组,每次拿出这样一组牌,再从中随机选出一张作为抽到的牌,其它牌丢掉,不难证明这和原操作等价。显然拿出某一张数字牌所在的组时,有 \(p=\frac{1}{m+1}\) 的概率真正拿到这张数字牌,不然就永远拿不到了。于是,我们求到了:

\[E(\xi_1)=\frac{n}{m+1}+1
\]

  求 \(E(\xi_2)\),令 \(f(i)\) 表示已有 \(|S|=n-i\),到结束时的期望轮数。方程有:

\[f(i)=\frac{m}{m+i}\left(f(i)+1\right)+\frac{i}{m+i}f(i-1)
\]

  特别留意上式,总牌数 \(m+i\) 是因为其他 \(n-i\) 张数字牌没有任何意义,可以忽略;前一项抽到鬼牌,轮数才要 \(+1\);后一项抽到有用数字牌,但是这一轮并没有结束,所以不用 \(+1\)。

  整理一下:

\[f(i)=f(i-1)+\frac{m}{i}
\]

  对于边界 \(f(1)\),即 \(m+1\) 张里挑出一张的期望,显然有 \(f(1)=m+1\)。代一代求出 \(f(n)\):

\[f(n)=1+m\sum_{i=1}^n\frac1{i}
\]

  综上,答案为:

\[\begin{aligned}
E(\xi_1\xi_2)&=E(\xi_1)E(\xi_2)\\
&=\left(\frac{n}{m+1}+1\right)f(n)\\
&=\left( \frac{n}{m+1}+1 \right)\left( 1+m\sum_{i=1}^n\frac1i \right)
\end{aligned}
\]

  计算即可。复杂度 \(\mathcal O(n+\log m)\)。

\(\mathcal{Code}\)

/* Clearink */

#include <cstdio>

const int MOD = 998244353, MAXN = 2e6;
int n, m, inv[MAXN + 5]; inline int qkpow ( int a, int b, const int p = MOD ) {
int ret = 1;
for ( ; b; a = 1ll * a * a % p, b >>= 1 ) ret = 1ll * ret * ( b & 1 ? a : 1 ) % p;
return ret;
} int main () {
scanf ( "%d %d", &n, &m );
int turn = ( n + m + 1ll ) * qkpow ( m + 1, MOD - 2 ) % MOD, times = 1;
for ( int i = 1; i <= n; ++ i ) {
inv[i] = i ^ 1 ? 1ll * inv[MOD % i] * ( MOD - MOD / i ) % MOD : 1;
times = ( times + 1ll * m * inv[i] ) % MOD;
}
printf ( "%d\n", int ( 1ll * turn * times % MOD ) );
return 0;
}

Solution -「CF 1392H」ZS Shuffles Cards的更多相关文章

  1. Solution -「CF 1342E」Placing Rooks

    \(\mathcal{Description}\)   Link.   在一个 \(n\times n\) 的国际象棋棋盘上摆 \(n\) 个车,求满足: 所有格子都可以被攻击到. 恰好存在 \(k\ ...

  2. Solution -「CF 1622F」Quadratic Set

    \(\mathscr{Description}\)   Link.   求 \(S\subseteq\{1,2,\dots,n\}\),使得 \(\prod_{i\in S}i\) 是完全平方数,并最 ...

  3. Solution -「CF 923F」Public Service

    \(\mathscr{Description}\)   Link.   给定两棵含 \(n\) 个结点的树 \(T_1=(V_1,E_1),T_2=(V_2,E_2)\),求一个双射 \(\varph ...

  4. Solution -「CF 923E」Perpetual Subtraction

    \(\mathcal{Description}\)   Link.   有一个整数 \(x\in[0,n]\),初始时以 \(p_i\) 的概率取值 \(i\).进行 \(m\) 轮变换,每次均匀随机 ...

  5. Solution -「CF 1586F」Defender of Childhood Dreams

    \(\mathcal{Description}\)   Link.   定义有向图 \(G=(V,E)\),\(|V|=n\),\(\lang u,v\rang \in E \Leftrightarr ...

  6. Solution -「CF 1237E」Balanced Binary Search Trees

    \(\mathcal{Description}\)   Link.   定义棵点权为 \(1\sim n\) 的二叉搜索树 \(T\) 是 好树,当且仅当: 除去最深的所有叶子后,\(T\) 是满的: ...

  7. Solution -「CF 623E」Transforming Sequence

    题目 题意简述   link.   有一个 \(n\) 个元素的集合,你需要进行 \(m\) 次操作.每次操作选择集合的一个非空子集,要求该集合不是已选集合的并的子集.求操作的方案数,对 \(10^9 ...

  8. Solution -「CF 1023F」Mobile Phone Network

    \(\mathcal{Description}\)   Link.   有一个 \(n\) 个结点的图,并给定 \(m_1\) 条无向带权黑边,\(m_2\) 条无向无权白边.你需要为每条白边指定边权 ...

  9. Solution -「CF 599E」Sandy and Nuts

    \(\mathcal{Description}\)   Link.   指定一棵大小为 \(n\),以 \(1\) 为根的有根树的 \(m\) 对邻接关系与 \(q\) 组 \(\text{LCA}\ ...

随机推荐

  1. 第10组 Alpha冲刺 (5/6)

    1.1基本情况 ·队名:今晚不睡觉 ·组长博客:https://www.cnblogs.com/cpandbb/p/13996848.html ·作业博客:https://edu.cnblogs.co ...

  2. MASA Framework - 整体设计思路

    源起 年初我们在找一款框架,希望它有如下几个特点: 学习成本低 只需要学.Net每年主推的技术栈和业务特性必须支持的中间件,给开发同学减负,只需要专注业务就好 个人见解:一款好用的框架应该是补充,而不 ...

  3. JVM调优2-远程监控

    监控远程JVM VisualJVM不仅是可以监控本地jvm进程,还可以监控远程的jvm进程,需要借助于JMX技术实现. 什么是JMX JMX(Java Management Extensions,即J ...

  4. Android官方文档翻译 十六 4.Managing the Activity Lifecycle

    Managing the Activity Lifecycle 管理activity的生命周期 Dependencies and prerequisites 依赖关系和先决条件 How to crea ...

  5. 《剑指offer》面试题21. 调整数组顺序使奇数位于偶数前面

    问题描述 输入一个整数数组,实现一个函数来调整该数组中数字的顺序,使得所有奇数位于数组的前半部分,所有偶数位于数组的后半部分. 示例: 输入:nums = [1,2,3,4] 输出:[1,3,2,4] ...

  6. [CISCN2019 华东南赛区]Web11

    [CISCN2019 华东南赛区]Web11 写在前面 参考文章:Smarty SSTI 1.{php}{/php} Smarty已经废弃{php}标签,强烈建议不要使用.在Smarty 3.1,{p ...

  7. C#进阶——记一次USB HID的各种坑(x86,x64,win10,win7)

    一.简叙 写工控上位机的搬砖人,难免会遇到USB通讯,在一个项目中,我写的上位机使用USB HID协议和STM32通讯传输数据,从零大概花了几天找例程,找资料,最后是各种搬砖修补,终于出来了一个出版D ...

  8. Cesium入门7 - Adding Terrain - 添加地形

    Cesium入门7 - Adding Terrain - 添加地形 Cesium中文网:http://cesiumcn.org/ | 国内快速访问:http://cesium.coinidea.com ...

  9. golang中闭包讲解

    1. 非闭包时的结果 package main import "fmt" func main() { var funcSlice []func() for i := 0; i &l ...

  10. zabbix-server3.4安装

    1.安装yum源 rpm -ivh http://repo.zabbix.com/zabbix/3.4/rhel/7/x86_64/zabbix-release-3.4-1.el7.noarch.rp ...