Posts

Satranç Motoru Mimarisi: 64-Bit Bitboard Temsili, Magic Bitboard, Alfa-Beta Budaması ve Quiescence Arama Ağaçları

Modern satranç motorlarının (chess engine) tasarımı ve yazılım mimarisi, uygulamalı bilgisayar bilimleri, Boole cebri ve tam bilgili deterministik oyun teorisinin kesişim noktasındaki en sofistike alanlardan biridir. Yaklaşık 10 120 olası yasal tahta durumundan oluşan Shannon sayısı ve semihamle (ply) başına ortalama 35 dallanma katsayısı, kaba kuvvet (brute-force) arama algoritmalarını pratik olarak imkânsız kılar. Arama alanındaki bu devasa kombinatoryal patlamayı kontrol altına almak ve gerçek zamanlı analizlerde 25–35 ply derinliğe ulaşabilmek için modern satranç algoritmaları; 64-bit Bitboard temsilleri, sabit zamanlı Magic Bitboard ışın sorguları, Alfa-Beta / PVS (Principal Variation Search) arama mekanizmaları ve ufk etkisini (horizon effect) ortadan kaldıran Quiescence Search (Durgunluk Araması) tekniklerinden yararlanır. 1. 64-Bit Bitboard Temsili ve Mikro Mimari Paralelizmi Standart bir satranç tahtası tam olarak 64 kareden oluşur. Bu geometrik yapı, modern 64-bit ...
Post a Comment
Read more

Markov Karar Süreçleri, Expectiminimax Arama Ağaçları ve Modern Tavlada Katlama Zarının Finansal Opsiyon Değerlemesi

Markov Karar Süreçleri, Expectiminimax Arama Ağaçları ve Modern Tavlada Katlama Zarının Finansal Opsiyon Değerlemesi Oyun teorisi, stokastik optimizasyon, karar bilimi ve yapay zekâ literatüründe modern tavla ( backgammon ); kusursuz bilgiye sahip, ancak stokastik belirsizlik içeren sistemlerin modellenmesinde temel bir referans yapısı olan Markov Karar Süreçleri ( Markov Decision Processes — MDPs ) için en ideal matematiksel platformdur. Satranç, dama veya go gibi deterministik kombinatoryal oyunlarda durum geçişleri yalnızca tarafların stratejik tercihlerine bağlıyken; tavla oyununda her hamle döngüsü, altı yüzlü iki bağımsız zarın atılmasıyla üretilen ayrık bir olasılık dağılımının süzgecinden geçer. Bu rassal yapı, tahtanın uzamsal geometrisi ile istatistiksel varyans yönetimi arasında kesintisiz bir dinamik denge kurar. Bu çalışmada çağdaş tavla analiz motorlarının algoritmik temellerini derinlemesine inceliyoruz: şans düğümlerine sahip Expectiminimax arama ağaçları, tem...
Post a Comment
Read more

Ur Kraliyet Oyunundan Roma Tabulasına ve Klasik Tavlaya: Beş Bin Yıllık Arkeolojik ve Kombinatoryal Evrim

Ur Kraliyet Oyunundan Roma Tabulasına ve Klasik Tavlaya: Beş Bin Yıllık Arkeolojik ve Kombinatoryal Evrim İki oyunculu doğrusal yarış oyunlarının ( race games ) tarihi, kentsel uygarlığın şafağıyla ve insanoğlunun sembolik düşünce dünyasının gelişimiyle iç içe geçmiştir. Satranç ya da go gibi tamamen deterministik ve soyut kombinatoryal strateji sistemleri saray elitlerinin gözdesi haline gelmeden binlerce yıl önce; Mezopotamya, Nil Vadisi ve Akdeniz havzasındaki kadim toplumlar kozmolojilerini, ilahi adalet telakkilerini ve kaderle olan varoluşsal hesaplaşmalarını rastlantısallık ve coğrafi hareketin harmanlandığı tahta oyunları üzerinden somutlaştırmışlardır. Yaklaşık beş bin yıllık kesintisiz bir tasarım evrimi; Sümerlerin Ur Kraliyet Oyunu ndan Antik Mısır'ın Senet ine, Roma İmparatorluğu'nun Tabula sından Sasani İmparatorluğu'nun Nard ına ve nihayetinde günümüzün Modern Tavlası na ( Backgammon ) uzanan organik bir gelişim çizgisini gözler önüne serer. Bu incelemede...
Post a Comment
Read more

Klasik Dama Motorlarının Hesaplamalı Mimarisi: 32-Bit Bitboard Temsili, Zorunlu Taş Alma Kuralı ve Çözülmüş Oyunlar Teorisi

Klasik Dama Motorlarının Hesaplamalı Mimarisi: 32-Bit Bitboard Temsili, Zorunlu Taş Alma Kuralı ve Çözülmüş Oyunlar Teorisi Kombinatoryal oyun teorisi, sonlu durum otomatları ve kuramsal bilgisayar biliminde kusursuz bilgiye dayalı iki kişilik sonlu oyunlar arasında klasik dama (özellikle 8×8 tahta üzerinde icra edilen standart kurallı Anglo-Amerikan daması — English Draughts veya Straight Checkers ), epistemolojik açıdan anıtsal bir dönüm noktasını teşkil eder. Shannon sayısı yaklaşık 10^120 olan ve yasal durum uzayı 10^43 gibi devasa bir büyüklüğe ulaşan satrancın analitik olarak çözülmesi günümüz teknolojisi ve matematiksel sınırlarıyla imkânsızlığını korurken; klasik dama, 2007 yılında Alberta Üniversitesi bünyesinde Profesör Jonathan Schaeffer ve araştırma ekibinin geliştirdiği Chinook projesi vasıtasıyla kesin olarak çözülmüştür ( solved game ). İleri sürülen matematiksel ispat, her iki tarafın mükemmel oynaması durumunda oyunun kaçınılmaz biçimde beraberlikle ( dr...
Post a Comment
Read more