Tavlanın matematiği

Tavla, biçimsel olarak iki oyunculu, sıfır toplamlı, tam bilgili bir stokastik oyundur; üzerine bir de ayarlanabilir bahis çarpanı ve equity asimetrisi eklenir. Hantal görünen bu tanım önemlidir çünkü her bileşen oyunun matematiğinin ayrı bir koluna karşılık gelir:

• İki oyunculu, sıfır toplamlı. Standart oyun teorisi geçerlidir. Her pozisyonda her oyuncu için iyi tanımlanmış optimal bir strateji vardır. Equity iki taraf arasında korunur.
• Stokastik. İki altı yüzlü zarın 36 eşit ağırlıklı sonucu hamleler üzerinde bir olasılık dağılımı üretir. Çoğu pozisyon, her zar sonucu için birden fazla yasal hamleye izin verir.
• Tam bilgi. Tahtanın tüm durumu her iki oyuncuya da görünürdür. Gizli kart, özel değer yoktur.
• Ayarlanabilir bahis çarpanı ve equity asimetrisi. Katlama küpü her pozisyonu bahsi sınırsız büyüyebilen bir equity kararına dönüştürür ve hamle seçim sorununun üzerine ikinci bir oyun teorisi sorunu daha ekler.

Bu sayfa, rekabetçi oyuncuların bu mekanizmayı yönetmek için kullandığı matematiksel aygıtı kapsar: pip count, race equity formülleri, match equity tabloları, küpün Janowski formülü ve resmî matematiği masa üzerinde zihinden yapılabilen hesaplamalara sıkıştıran sezgisel kısayollar (Neil's Numbers).

Alt sayfalar:

• Match Equity Tabloları (MET) — eksiksiz Rockwell-Kazaross pre-Crawford MET, Janowski formülü, gammon fiyatları, kabul noktası hesabı.
• Neil's Numbers — masa üzerinde MWC hesabı için kanonik zihinsel sezgisel kurallar.

1. Pozisyon sayıları ve durum uzayı

Yasal tavla pozisyonlarının sayısı yaklaşık $1{,}85 \times 10^{19}$ mertebesindedir — 30 pulun oynanabilir konumlara (24 hane, 2 toplama tepsisi, 2 bar konumu) dağıtılma yolu sayısı olarak, taraf başına 15 pul kısıtı ve karışık doluluk kısıtı altında, geçersiz örtüşen yapılandırmalar için uygun düzeltmelerle hesaplanabilir. Bu sayı, tüm oyunun tam tablo araması yoluyla kaba kuvvetle çözülemeyecek kadar büyüktür; ancak yarış pozisyonlarının (temas dışı) tam bearoff veritabanlarıyla işlenebileceği kadar küçüktür.

Tom Keith'in bearoff veritabanları yarış aşaması pozisyonları için tam equity değerlerini saklar ve GNU Backgammon ile eXtreme Gammon tarafından yarış aşaması orakülü olarak kullanılır. Dağıtılan veritabanları pul sayısı ve derinliğe göre farklı büyüklüktedir: tipik iki-taraflı, 11 pullu, temassız veritabanları 1-2 GB mertebesindedir; daha küçük alt kümeler istemci tarafı kullanımı için dağıtılır. Veritabanları, özyinelemeli bearoff durumu üzerinde dinamik programlamayla inşa edilir.

2. Pip count

Pip count her tavla pozisyonunun temel ölçüsüdür. Bir oyuncunun tüm pulları üzerinde, her pulun toplama tepsisine ulaşmak için kat etmesi gereken pip mesafesinin toplamıdır. Resmî olarak:

$\text{Pip count} = \sum_{i=1}^{15} d_i$

burada $d_i$, $i$. pulun mevcut hanesinden o oyuncunun toplama tepsisine olan mesafedir (pip cinsinden).

Başlangıç pip count'u her oyuncu için 167'dir:

$2 \times 24 + 5 \times 13 + 3 \times 8 + 5 \times 6 = 48 + 65 + 24 + 30 = 167$

Tavlada ortalama atış bir oyuncuyu tur başına 8⅙ pip ilerletir (çiftleri dört kez sayan dubl konvansiyonuna göre ağırlıklı 21 ayrı atış üzerinde beklenen değer). Başlangıç pozisyonundan tüm pulları eve getirip toplamak için beklenen tur sayısı bu nedenle yaklaşık $167 / 8{,}17 \approx 20{,}4$ turdur.

Saf bir yarışta önde olan pip count doğrudan kazanma olasılığına dönüşür. Birçok kapalı biçimli yaklaşım yayımlanmıştır. En çok atıfta bulunulan ikisi Thorp Count ve Keith Count'tur.

3. Thorp Count ve Keith Count

Thorp Count (Edward Thorp, Backgammon: The Cube in the Money Game, 1978) ham pip count'u, race equity'yi saf pip mesafesinin ötesinde etkileyen yapısal etkenler için düzeltir:

$T = P + 2 \times C - O + S - 5 \times G$

burada $P$ ham pip count, $C$ pul sayısıdır (başlangıçta 15), $O$ tutulan hane sayısıdır (2 ya da daha fazla pul içerenler), $S$ gereken crossover sayısıdır (yapısal düzleştirme terimi), $G$ ise boşluk sayısıdır. Thorp Count her taraf için hesaplanır ve iki Thorp Count arasındaki fark küp eylemini öngörür.

Keith Count (Tom Keith) daha doğru, sonraki bir geliştirmedir:

$K = P + \max(0, 4 - \text{hane-7'deki-konum}) + \dots$

hane 1 ve hane 2'deki yığılmış pul sayısı için düzeltmeler içerir (bu hanelerde pip count, toplama wastage'ı nedeniyle yarış hızını fazla tahmin eder). Keith Count modern rekabetçi oyunda önerilen manuel race equity formülüdür.

Çok hassas race equity için oyuncular yayımlanmış Tom Keith bearoff veritabanı'na ya da sinir ağı motorlarına dayanır; ancak hem Thorp hem Keith kanonik zihinsel araçlar olarak kalır.

4. Race equity ve 8-9-12 kuralı

Standart yarış küp karar kuralları her iki taraf da temas dışıyken geçerlidir. Yarış liderinin yaygın olarak alıntılanan 8-9-12 kuralı, on yıllarca süren rollout analizini üç eşiğe sıkıştırır:

• İlk katlama: Liderin yarış avantajı ≥ kendi pip count'unun %8'i.
• Yeniden katlama: Liderin yarış avantajı ≥ kendi pip count'unun %9'u.
• Bırakma / katlamak için çok güçlü: Liderin yarış avantajı ≥ kendi pip count'unun %12'si (alıcı bırakmalıdır).

Bu eşikler yaklaşımdır. Hassas race-equity tabloları (Snowie, GNUbg, XG) bunları pozisyon başına rafine eder; wastage, crossover ve bearoff yapısının düzgünlüğünü hesaba katar.

5. Küp equity'si: kabul noktası

Tavla matematiğinde en çok atıfta bulunulan tek sonuç, %25 oranındaki ölü küp kabul noktasıdır. Resmî olarak:

$C$ değerindeki bir küp önerilen oyuncuya: kabul edip kazanmak $+2C$ puan getirir, kabul edip kaybetmek $-2C$ puana mal olur; bırakmak koşulsuz $-C$ puandır. Kabul etmenin beklenen değerini bırakmaktan kaybedilene eşitleyelim:

$p \cdot (+2C) + (1-p) \cdot (-2C) = -C$ $2pC - 2C + 2pC = -C$ $4pC - 2C = -C$ $p = \frac{1}{4} = \%25$

Yani alıcı, yeniden katlama değerini göz ardı edersek, kazanma olasılığı $p \geq \%25$ olan her katlamayı kabul etmelidir.

Yeniden katlama vigorish'i ile — alıcının yeniden katlayabilme avantajının değeri — pratik kabul noktası çoğu pozisyonda %21-22'ye düşer. Tam azalma, küpün ileriki dönüm noktalarındaki verimliliğine bağlıdır ve modern motor analizinde rollout yoluyla hesaplanır.

Katlayan için karşılık gelen katlama noktası — katlamanın doğru olduğu equity — küp verimliliği (zamanlama) ve gammon fiyatlarına bağlıdır ve match equity sayfasında ayrıntılı işlenir.

6. Match equity

Maç oyununda basit para oyunu equity'sinin yerini match equity alır: mevcut pozisyondan maçı kazanma olasılığı; mevcut oyun sonucunu, ulaşılabilir tüm skorlardaki tüm sonraki oyunlarla bütünleştirir. Match equity her skorda Match Equity Tablosu (MET) üzerinden hesaplanır; bu, her iki oyuncunun away-skorlarına göre indekslenen iki boyutlu bir tablodur.

Modern standart Rockwell-Kazaross MET'tir; match equity sayfasında 9×9 çekirdek olarak verilmektedir, eksiksiz 25×25 kanonik tablo GNU Backgammon üzerinden erişilebilir.

Kabul noktası, katlama noktası ve gammon fiyatı, yalnızca mevcut oyunun kazanma şansına değil, skora da bağlıdır. Para oyununda bırakma olan %22'lik bir kazanma olasılığı, belirli maç skorlarında net bir kabul olabilir; %50'lik bir kazanan pozisyon başka skorlarda "katlamak için çok güçlü" olabilir.

7. Janowski formülleri

Eksiksiz MET, türetildiği rollout hassasiyeti dahilinde tam doğrudur ama ezberlemek zordur. Janowski-stili kapalı biçim yaklaşımları, Rick Janowski'nin çalışmasından ve sonraki iyileştirmelerden türetilmiştir; çoğu hücrede tabloya yaklaşık %1-2 içinde uyan kullanışlı yaklaşımlar sağlar. İki farklı formül gerekir — biri normal pre-Crawford skorları, diğeri Crawford oyunu skorları için.

Pre-Crawford (her iki oyuncu ≥ 2-away, küp oyunda):

$M = 0{,}5 + 0{,}87 \times \frac{D}{T + 6}$

Crawford'a özgü (bir oyuncu 1-away, küp dışarıda):

$M = 0{,}525 + 0{,}57 \times \frac{D}{T + 2}$

İkisinde de $D$ liderin puan üstünlüğüdür (takipçinin away-skoru eksi liderin away-skoru) ve $T$ takipçinin away-skorudur. Tam türetme, çözümlü örnek ve kaçınılması gereken yaygın hata (liderin away'ini $T$ olarak kullanmak) match equity sayfasında yer alır.

8. Sinir ağı equity'si

Modern motorlar equity'yi kapalı biçim formüllerden hesaplamaz. Eğitilmiş sinir ağları kullanır; pozisyon vektörünü — tipik olarak hane başına pul sayısı, bearoff'a mesafe, doğrudan ve dolaylı atışlara maruziyet, prime yapısı, bağlantılar, builder'lar ve daha fazlasını kodlayan ~250 özellik — alır ve bir equity değeri ya da kazanma/gammon/backgammon sonuçları üzerinde bir dağılım verir.

TD-Gammon'dan (Tesauro, 1992) Jellyfish, Snowie, GNU Backgammon, eXtreme Gammon (XG), BGBlitz ve Wildbg'ye uzanan zincir Bot ve YZ sayfasında ele alınır. 2026 itibarıyla referans standart XG2 rollout'ları olup, birkaç ply'lık ileri arama ile sinir ağı yaprak değerlendirmesini ve kesme ufkundaki Monte Carlo zar örneklemesini birleştirir.

9. Varyans

Bir tek tavla oyunu, sonuç skoru üzerinde yaklaşık 1,2 puan standart sapmaya sahiptir (para oyunu, Jacoby yok). 7 puanlık bir maçta varyans birikir ve yetenek ölçümünün standart hatası maç başına 2,5-3,0 puan mertebesindedir — bu, bireysel kısa maçların küçük yetenek farklarını güvenilir biçimde ayıramayacağı anlamına gelir. Standart ayırma aracı, bir referans bota karşı hamle başına hatayı ölçen Performance Rating (PR)'dir. Yüzlerce hamle boyunca PR varyansı küçük millipuan kesirlerine düşer; bu da birkaç bin hamle üzerinden güvenilir yetenek karşılaştırmasına olanak verir. Bkz. PR ve ELO.

Ayrıca bakınız

• Match Equity Tabloları — eksiksiz Rockwell-Kazaross MET ve Janowski formülü türetilmesi.
• Neil's Numbers — zihinsel MWC sezgisel kuralları.
• Crawford kuralı — maç oyununda küp askıya alınması.
• Bot ve YZ — sinir ağı motor zinciri.
• Sözlük — pip count, kabul noktası, gammon fiyatı, MET terimlerinin resmî tanımları.

Dipnotlar