又是一道概率问题，不过跟之前的题目一样，这也是一道非常简单的题目。
问题描述：假设我们有一堆数据（可能在一个链表里，也可能在文件里），数量未知。要求只遍历一次这些数据，随机选取其中的一个元素，任何一个元素被选到的概率相等。O(n)时间，O(1)辅助空间（n是数据总数，但事先不知道）。
如果元素总数为n，那么每个元素被选到的概率应该是1/n。然而n只有在遍历结束的时候才能知道，在遍历的过程中，n的值还不知道，可以利用乘法规则来逐渐凑出这个概率值。在《利用等概率Rand5产生等概率Rand3》中提到过，如果要通过有限步概率的加法和乘法运算，最终得到分子为1、分母为n的概率，那必须在某一次运算中引入一个n在分母上，而分母和分子上其他的因数则通过加法、乘法、约分等规则去除。
很容易能够想到这样一个简单的式子来凑出1/n：
pi=1i×ii+1×i+1i+2×⋯×n−1n=1n
下面用一段Python程序来实现这个过程，这里设计了一个类，叫做RandomSelector，提供方法AddItem，在遍历数据的时候把每个元素通过这个函数传进来，最后通过SelectedItem获取随机选择的元素。这么做主要是为了强调事先不知道元素的总数。
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
class RandomSelector:
def __init__ ( self , rand = None ):
self._selectedItem = None
self._count = 0
self._rand = rand
if self._rand is None:
self._rand = Random ( )
def SelectedItem ( self ):
return self._selectedItem
def Count ( self ):
return self._count
def AddItem ( self , item ):
if self._rand. randint ( 0 , self._count ) == 0:
self._selectedItem = item
self._count + = 1
在Python 2.5中，yield不仅是个语句，更是一个表达式（详见PEP 342 -- Coroutines via Enhanced Generators，查阅Generator和Coroutine，中文叫做“生成器”和“协程”），利用yield可以把程序写的更简洁一些：
2
3
4
5
6
7
8
9
10
11
12
13
def RandomSelect (rand = None ):
selection = None
count = 0
if rand is None:
rand = Random ( )
while True:
# Outputs the current selection and gets next item
item = yield selection
if rand. randint ( 0 , count ) == 0:
selection = item
count + = 1
下面这段程序示意了如何调用RandomSelect函数来测验其随机效果：
2
3
4
5
6
7
8
9
10
11
12
13
n = 10
repeat = 100000
occurrences = [ 0 for i in xrange (n ) ]
rand = Random ( )
for i in xrange (repeat ):
selector = RandomSelect (rand )
selector. next ( )
selection = None
for item in xrange (n ):
selection = selector. send (item )
occurrences [selection ] + = 1
print occurrences
十个元素，重复十万次，理论上每个元素会被选中恰好一万次。某次实验结果如下：
[10020, 10084, 10003, 10008, 9985, 10145, 9987, 9925, 9955, 9888]
可见每个元素被选中的次数相差不大，是等概率的。
如果用C#，就可以利用IEnumerable来实现，比如：
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
IEnumerable <tsource > source,
Random random,
out TSource selectedItem )
{
if (source == null )
{
throw new ArgumentNullException ( "source" ) ;
}
if (random == null )
{
random = new Random ( ) ;
}
selectedItem = default (TSource ) ;
int count = 0 ;
foreach (TSource item in source )
{
if (random . Next ( ++count ) == 0 )
{
selectedItem = item ;
}
}
return (count > 0 ) ;
}
核心代码也就那么两三行而已，时间复杂度为O(n)（并且只遍历一次），空间复杂度为O(1)。其中Python的random.randint(x, y)返回[x, y]之间的随机整数；C#的Random.Next(x)返回[0, x)之间的随机整数。
看一下概率，如果最终被选取的是第i个元素（1 <= i <= n），那就必须是遍历到它的时候，恰好被选中（random.randint(0, i - 1) == 0或者Random.Next(i) == 0），并且从此之后都恰好再也没有被其他元素替换掉。这些事件彼此独立，计算概率的方法正好是上面提到的式子，最终的概率就是1/n。
OK，问题解决了。结束之前再做个简单的扩展，改成等概率随机选取m个元素（可知每个元素被选中的概率都是m/n）。
解决办法也非常简单，只要在上面的代码中，把selectedItem（selection）改成一个长度为m的数组，稍作调整就可以了。
这里就给出Python的程序片段：
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
def RandomSample (m = 1 , rand = None ):
selection = [ ]
count = 0
if rand is None:
rand = Random ( )
while True:
# Outputs the current selection and gets next item
item = yield selection
if len (selection ) < m:
selection. append (item )
else:
idx = rand. randint ( 0 , count )
if idx < m:
selection [idx ] = item
count + = 1
时间复杂度O(n)，空间复杂度O(m)（不可能是O(1)的）。概率的计算方法为：
pi=⎧⎩⎨mi×ii+1×i+1i+2×⋯×n−1n=mn1×mm+1×m+1m+2×⋯×n−1n=mni>mi≤m
等概率问题通常都是比较简单的。下一次将会对这个问题做进一步的扩展，变成每个元素都有一个权重，要求任何一个元素被选取的概率正比于其权重。
4329
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
