在組合數學中,伯特蘭投票問題(英語:Bertrand's ballot theorem)是指,在一場選舉中候選人A得到了p張選票,而候選人B得到了q張選票(p>q),那麼在整個點票過程中A的票數都嚴格大於B的概率是多少。這個問題的答案是
![{\displaystyle {\frac {p-q}{p+q}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d378b729ecfd9ac9be015e663e167d83b5f36748)
這個結果首次由威廉·亞倫·維特沃斯(W·A·Whitworth)於1878年發布,但最終以在1887年重新發現這個問題的約瑟·伯特蘭的名字命名。[1][2]
假設有5名選民,其中3名候選人投票給A,2名候選人投票給B(即p = 3,q = 2), 則投票順序有以下十種可能性:
![{\displaystyle AAABB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b381678fa269125e3f68a32e250e8c181ac570d3)
![{\displaystyle AABAB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a87da384c945a2b5ec000bce50d37fb4a82dab8c)
![{\displaystyle ABAAB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2557f3597b6000fcdbf2e7ff684d9ca605265ce7)
![{\displaystyle BAAAB}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1197f37776722a60047e3706e7623c242134caa4)
![{\displaystyle AABBA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7355e07ee73dd46fbd4e4a0a31f3bc640cc07af)
![{\displaystyle ABABA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/80535bc3b84b5826ed71d7c8315f3b8a294b8e26)
![{\displaystyle BAABA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2812e312ef498c20cd7be6b747a63f4bd1403760)
![{\displaystyle ABBAA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/030cf268e6af273eaab23d6207005d34449b3373)
![{\displaystyle BABAA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/112ffdbc93bccc3e5c1ed1638bc0bc1de87e51b4)
![{\displaystyle BBAAA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/395e1afa1b89227472656c45178c0d0417a61c29)
假設投票順序為
,則點票過程中點完每一票的結果為:
候選人
|
A
|
A
|
B
|
A
|
B
|
A
|
1
|
2
|
2
|
3
|
3
|
B
|
0
|
0
|
1
|
1
|
2
|
對於每一列(即點完每一票後), A的票數始終大於B的票數,因此A的票數始終嚴格領先於B。而對於AABBA的順序,隨着選舉的進行,選票總數為:
候選人
|
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始終嚴格領先的概率為
![{\displaystyle {\frac {2}{10}}={\frac {1}{5}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/944a11ab0bc785d1b135bdc867bdf17b91a9578b)
這與定理得出的
結果相符。
計算符合要求的選票順序出現的概率可以通過使用滿足要求的選票順序數量除以可能的順序總數來得到(這正是伯特蘭鎖使用的方法)。順序的總數由二項式係數
決定,伯特蘭的證明顯示,符合要求的選票順序為
(儘管他沒有明確給出這個數字)。 作除法後可以得到問題的答案:
。
另一個等價的問題是計算 n 個整數上的隨機遊走數量,從坐標原點開始到 m 點終止,且不到達負數的範圍。假設 n 和 m 具有相同的奇偶性,且
,則這個結果為
![{\displaystyle {\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}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/093ef8f05a016130f4b5dd348e264f7b147912e0)
令 n 為投票問題中的較大數 p ,m 為兩候選人票數之差 p-q,即可得到該問題的結果。當m = 0 且 n 為偶數時,可以通過卡塔蘭數
確定結果。
- 我們將條件
放縮至
,很明顯,當
時這個定理是正確的,因為當所有票點完時候選人A將不再領先,此時這個問題的概率為
。
- 當
且
時這個概率為
,因為候選人A收到了全部的選票,自然一直領先。
- 假設當
且
,或者當
且
時這個定理均成立,則考慮
的情形,最後一票投給候選人A的概率為
,投給候選人B的概率為
,所以這種情形下A一直領先B的概率為
![{\displaystyle {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}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2474f53a7ca1ebcff33a83546b05b76f9709184a)
- 因此,對於所有
,這個定理均成立。
- ^ Feller, William, An Introduction to Probability Theory and its Applications, Volume I 3rd, Wiley: 69, 1968
- ^ J. Bertrand, Solution d'un problème, Comptes Rendus de l'Académie des Sciences, Paris 105 (1887), 369.