Bertrand Oy Problemi: Bir Adayın Hep Önde Kalması Olasılığı

Bir seçim, iki aday, bir merak

Düşünün: iki aday seçim için yarışıyor. A adayı $a$ oy alıyor, B adayı $b$ oy alıyor; varsayalım $a > b$, yani A kazandı. Sayım yapılırken oylar rastgele sırayla sayım masasına geliyor.

Soru: Sayım boyunca A her zaman önde mi kaldı? Bir an bile B'nin önüne geçmedi mi?

Sezgi şu der: A kazandıysa muhtemelen sayımın çoğu zamanı önde olmuştur. Ama "tek bir an bile geri düşmeme" olasılığı çok daha sıkı bir koşul. Tam olarak ne?

Bertrand'ın 1887 cevabı

Fransız matematikçi Joseph Bertrand 1887'de bu problemi formüle etti ve şaşırtıcı sade bir cevap verdi:

$P(\text{A hep önde}) = \frac{a - b}{a + b}$

Bu kadar. Toplam oy farkını toplam oya bölün. Hiçbir faktöriyel yok, hiçbir binom katsayısı yok — sadece bir kesir.

Birkaç sayısal örnek:

• A: 6 oy, B: 4 oy → $P = 2/10 = 0.2$ (yani %20 olasılıkla A hep önde)
• A: 8 oy, B: 2 oy → $P = 6/10 = 0.6$
• A: 100 oy, B: 99 oy → $P = 1/199 \approx 0.005$ (yarı yarıya yakın olunca neredeyse imkânsız)

"Yansıtma yöntemi"yle ispat (Désiré André, 1887)

Bertrand sonucu açıkladı ama ispatı yıllar sonra Désiré André tarafından şaşırtıcı bir teknikle verildi.

Sayımı bir yol olarak düşünelim. A için bir oy = sağa adım, B için bir oy = sola adım. $a + b$ adımdan sonra son nokta $a - b$ pozisyonunda. Tüm olası sıralamalar:

$\binom{a+b}{a}$

Hangileri "A her zaman önde" koşulunu sağlar? Bunu doğrudan saymak zordur. Ama tersini saymak kolay: A'nın bir an geri düştüğü yolların sayısı.

Yansıtma argümanı: A'nın geri düştüğü her yolda ilk sıfır geçişi noktasına kadar olan kısmı yansıtırsak, başlangıçta A'nın değil B'nin oyu olan bir yol elde ederiz. Bu eşleme bire-bir'dir. Sonuç: A'nın geri düştüğü yol sayısı = ilk oyu B alan yol sayısı = $\binom{a+b-1}{a}$.

Daha temiz, ilk oyunun A olduğu yol sayısı $\binom{a+b-1}{a-1}$. Geri kalan kombinatorik biraz aritmetik:

$P(\text{A hep önde}) = \frac{\binom{a+b-1}{a-1} - \binom{a+b-1}{a}}{\binom{a+b}{a}} = \frac{a-b}{a+b}$

İspat bitti.

Rastgele yürüyüş ve Catalan sayıları

Bu problem rastgele yürüyüş teorisinin doğum belgelerinden biridir. Bir parçacık her adımda eşit olasılıkla sağa veya sola gider; "ne kadar sürede sıfıra geri döner?", "kaç adımda en yüksek noktaya ulaşır?" gibi sorular hep aynı kombinatorik yapıya dayanır.

Özellikle: A'nın tam $n$ oy, B'nin tam $n$ oy aldığı ve A'nın hep önde kaldığı yol sayısı Catalan sayısı $C_n$'dir:

$C_n = \frac{1}{n+1}\binom{2n}{n}$

Bu da Bertrand'ın yaklaşımının matematiğin başka köşelerine açıldığı bir kapı. Catalan sayıları parantez dengeleme, ikili ağaçlar, çokgen üçgenleme gibi sorularda hep çıkar — kökenleri Bertrand-tipi problemlere uzanır.

Genelleştirme: $k$-Bertrand

Eğer "A her zaman B'den en az $k$ önde olmalı" koşulu konursa:

$P = \frac{a - kb}{a + b}$

($a > kb$ olmak koşuluyla.) $k=1$ alındığında klasik Bertrand. Bu genelleme oylama matematiği, kuyruk teorisi, finansta ödeme akışlarının modellenmesi gibi konularda kullanılır.

Pratik uygulamalar

1) Kuyruk teorisi (Queueing Theory)

Bir bankamatik veya gişede müşteri akışı modelliyorsanız: "Kuyrukta hiç boşluk olmadan müşterilerin sürekli geldiği olasılık nedir?" gibi sorular Bertrand mantığıyla cevaplanır.

2) Finans: rastgele yürüyüş ve bariyerli opsiyonlar

Bir hisse senedi fiyatının belirli bir seviyenin altına hiç inmediği olasılık — barrier options fiyatlandırmasının matematiksel altyapısı.

3) Genetik: koalsesans teorisi

Popülasyon genetiğinde alel frekanslarının zaman içinde belirli bir eşiğin üstünde kalma olasılığı.

4) Sıralama algoritmaları

Bilgisayar biliminde belirli sıralama algoritmalarının performans analizinde benzer kombinatorik argümanlar.

Tek bir formülün gizemi

Olasılık problemleri genellikle karmaşık formüller verir; toplama, çarpma, integral sembolleriyle dolu. Bertrand'ın cevabı bu yüzden ayrıcalıklıdır: tek bir kesir. Aritmetiğin lise seviyesinde anlaşılabilen bir formülü ama altında yatan ispatın derinliği matematik tarihinin paslı köşelerine kadar uzanıyor.

Bir adayın hep önde kalması — küçük bir merak, ama matematiğin böyle "rastgelelik" sorularına ne kadar zarif cevaplar verebileceğinin en güzel kanıtlarından biri.