查看“︁伯特兰投票问题”︁的源代码

在[[组合数学]]中，'''伯特兰投票问题'''（{{Lang-en|Bertrand's ballot theorem}}）是指，在一场选举中候选人A得到了p张选票，而候选人B得到了q张选票（p>q），那么在整个点票过程中A的票数都严格大于B的概率是多少。这个问题的答案是 

: <math>\frac{p-q}{p+q}</math>

这个结果首次由[[威廉·亚伦·维特沃斯]]（W·A·Whitworth）于1878年发布，但最终以在1887年重新发现这个问题的[[約瑟·伯特蘭|约瑟·伯特兰]]的名字命名。<ref>{{Citation|title=An Introduction to Probability Theory and its Applications, Volume I|first=William|last=Feller|author-link=William Feller|edition=3rd|publisher=Wiley|year=1968|page=69}}</ref><ref>J. Bertrand, Solution d'un problème, Comptes Rendus de l'Académie des Sciences, Paris 105 (1887), 369.</ref>

== 举例 ==
假设有5名选民，其中3名候选人投票给''A''，2名候选人投票给''B''（即''p'' = 3，''q'' = 2）， 则投票顺序有以下十种可能性： 

* ''<math>AAABB</math>'' 
* ''<math>AABAB</math>'' 
* ''<math>ABAAB</math>'' 
* ''<math>BAAAB</math>'' 
* ''<math>AABBA</math>'' 
* ''<math>ABABA</math>'' 
* ''<math>BAABA</math>'' 
* ''<math>ABBAA</math>'' 
* ''<math>BABAA</math>'' 
* ''<math>BBAAA</math>'' 

假设投票顺序为<math>AABAB</math>，则点票过程中点完每一票的结果为： 
{| class="wikitable" border="1"
! '''候选人''' 
!A
!A
!B
!A
!B
|-
|'''''A'''''
|1
| 2 
| 2 
| 3 
| 3 
|-
|'''''B'''''
| 0 
| 0 
|1
|1
| 2 
|}
对于每一列（即点完每一票后）， ''A''的票数始终大于''B''的票数，因此''A''的票数始终严格领先于''B。''而对于''AABBA''的顺序，随着选举的进行，选票总数为： 
{| class="wikitable" border="1"
! '''候选人''' 
!A
!A
!B
!B
!A
|-
| '''''A''''' 
|1
| 2 
| 2 
| 2 
| 3 
|-
| '''''B''''' 
| 0 
| 0 
|1
| 2 
| 2 
|}
对于这个投票顺序， ''B''在第四次投票后与''A''并列，因此''A''并不总是严格地领先于''B。''在10个可能的顺序中，只有''AAABB''和''AABAB''两个顺序满足''A''总是领先于''B。'' 因此，''A''始终严格领先的概率为 

: <math>\frac{2}{10}=\frac{1}{5},</math>

这与定理得出的<math>\frac{3-2}{3+2}</math>结果相符。 

== 问题的等价 ==
计算符合要求的选票顺序出现的概率可以通过使用满足要求的选票顺序数量除以可能的顺序总数来得到（这正是伯特兰锁使用的方法）。顺序的总数由[[二項式係數|二项式系数]] <math>\tbinom{p+q}{p}</math> 决定，伯特兰的证明显示，符合要求的选票顺序为<math>\tbinom{p+q-1}{p-1}-\tbinom{p+q-1}{p}</math> （尽管他没有明确给出这个数字）。 作除法后可以得到问题的答案： <math>\tfrac{p}{p+q}-\tfrac{q}{p+q}=\tfrac{p-q}{p+q}</math> 。 

另一个等价的问题是计算 ''n'' 个整数上的[[随机游走]]数量，从坐标原点开始到 ''m'' 点终止，且不到达负数的范围。假设 ''n'' 和 ''m'' 具有相同的奇偶性，且<math>n\ge m \ge 0</math>，则这个结果为

: <math>\binom{n}{\tfrac{n+m}2}-\binom{n}{\tfrac{n+m}2+1} = \frac{m+1}{\tfrac{n+m}2+1}\binom{n}{\tfrac{n+m}2}.</math>

令 ''n'' 为投票问题中的较大数 ''p'' ，''m'' 为两候选人票数之差 ''p-q''，即可得到该问题的结果。当''m = 0'' 且 ''n'' 为偶数时，可以通过[[卡塔兰数]]<math>\frac1{\tfrac{n}2+1}\binom{n}{\tfrac{n}2}</math> 确定结果。 

== 使用数学归纳法证明 ==

* 我们将条件<math>p > q</math>放缩至<math>p \ge q</math>，很明显，当<math>p=q</math>时这个定理是正确的，因为当所有票点完时候选人A将不再领先，此时这个问题的概率为<math>0</math>。 
* 当<math>p>0</math>且<math>q=0</math>时这个概率为<math>1</math>，因为候选人A收到了全部的选票，自然一直领先。 
* 假设当<math>p=a-1</math>且<math>q=b  \; (a>b>0)</math>，或者当<math>p=a</math>且<math>q=b-1 \; (a>b>0)</math>时这个定理均成立，则考虑<math>p=a, q=b</math>的情形，最后一票投给候选人A的概率为<math>\frac{a}{a+b}</math>，投给候选人B的概率为<math>\frac{b}{a+b}</math>，所以这种情形下A一直领先B的概率为 

:: <math>{a \over (a+b)}{(a-1)-b \over (a+b-1)}+{b \over (a+b)}{a-(b-1) \over (a+b-1)}={a-b \over a+b}.</math>

* 因此，对于所有<math>p>q>0</math>，这个定理均成立。 

==参考资料==
{{Reflist}}

[[Category:投票理论]]
[[Category:包含证明的条目]]
[[Category:组合计数]]