连串是指一个多于一个连续相同结果的序列,也称为聚集。
设 为在
次独立抛掷 硬币(即,
次 伯努利试验)中出现
次或更多连续正面的概率。这等同于从一个装有两个可区分物体的瓮中重复抽取,每次抽取后放回。设获得正面的概率为
。那么,关于
有一个漂亮的公式,以 生成函数 的系数给出
(1)
|
(Feller 1968,第 300 页)。那么
(2)
|
下表给出了数字三角形 ,对于
、2、... 和
、2、...、
(OEIS A050227)。
Sloane | A000225 | A008466 | A050231 | A050233 | ||||
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | |
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
2 | 3 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
3 | 7 | 3 | 1 | 0 | 0 | 0 | 0 | 0 |
4 | 15 | 8 | 3 | 1 | 0 | 0 | 0 | 0 |
5 | 31 | 19 | 8 | 3 | 1 | 0 | 0 | 0 |
6 | 63 | 43 | 20 | 8 | 3 | 1 | 0 | 0 |
7 | 127 | 94 | 47 | 20 | 8 | 3 | 1 | 0 |
8 | 255 | 201 | 107 | 48 | 20 | 8 | 3 | 1 |
特殊情况 给出了序列
(3)
|
其中 是一个 斐波那契数。类似地,在
次抛掷中不出现
次连续反面的概率由
给出,其中
是一个 斐波那契 k 步数。
Feller(1968,第 278-279 页)证明了对于 ,
(4)
|
其中
(5)
| |||
(6)
|
(OEIS A086253)是上述多项式的正根,并且
(7)
| |||
(8)
| |||
(9)
|
(OEIS A086254)是上述多项式的正根。对于 次正面连串,相应的常数是
,即
(10)
|
和
(11)
|
对于 和
的不公平硬币,这些常数被修改为
,即
(12)
|
和
(13)
|
(Feller 1968,第 322-325 页)。
给定 次 伯努利试验,成功的概率(正面)为
,则反面的期望数为
,因此反面连串
的期望数为
。继续,
(14)
|
是连串 的期望数。因此,最长的期望连串由下式给出
(15)
|
(Gordon et al. 1986,Schilling 1990)。给定 个 0 和
个 1,具有
个连串的可能排列数为
(16)
|
对于 为 整数,其中
是一个 二项式系数(Johnson 和 Kotz 1968,第 268 页)。那么
(17)
|
现在考虑从包含 个一种类型的不可区分物体和
个另一种类型的不可区分物体的
个物体的集合中不放回地抽取
个物体。设
表示这些物体的排列数,其中没有
连串出现。例如,类型
的两个物体和类型
的两个物体有 6 种排列。在这些排列中,
、
、
和
包含长度为 2 的连串,因此
。一般来说,
连串确实发生的概率由下式给出
(18)
|
其中 是一个 二项式系数。Bloom(1996)给出了
的以下递推序列,
(19)
|
其中当 或
为负数时,
,并且
(20)
|
另一个只有固定项数的递推式由下式给出
(21)
|
其中
(22)
|
(Goulden 和 Jackson 1983,Bloom 1996)。
这些公式可用于计算一副 52 张牌的牌组中获得 张相同颜色牌的连串的概率。对于
、2、...,这产生了序列 1, 247959266474051/247959266474052, ... (OEIS A086439 和 A086440)。通过乘以
进行归一化得到 495918532948104, 495918532948102, 495891608417946, 483007233529142, ... (OEIS A086438)。结果
(23)
|
反驳了 Gardner (1982) 的断言,即在普通牌组中“几乎总是会有六到七张相同颜色的牌聚集在一起”。
Bloom (1996) 给出了 连串(即,将序列分成相同值的最大聚集,并计算长度
的此类聚集的数量)在
个 0 和
个 1 的序列中的期望数,为
(24)
|
其中 是 递降阶乘。对于
,
近似服从 正态分布,其 均值 和 方差 为
(25)
| |||
(26)
|