İşte başlangıçta /cstheory/6563/what-is-the-computational-complexity-of-solving-chess/38102#38102 adresinde yazdığım bir cevap .
Mükemmel bir satranç oyuncusu her zaman bir kazanmaya zorlayabildiğinde kazanmaya zorlar ve bir çekilişi zorlayabildiğinde berabere zorlar. Elbette, herhangi bir noktada kazanmaya zorlayabilirlerse, berabere zorlayabilirler. Ayrıca, bir oyuncu kazanmaya zorlayamadığında, diğer oyuncu berabere zorlayabilir. 50 hamle kuralı veya 3 kat tekrarlı kuralı olmayan satranç, düşündüğünüz kadar zor olmayabilir. 3 kat tekrar kuralına eklenmenin bir oyuncunun kazanmaya ya da berabere kalmaya zorlayabileceği konusunda bir fark yaratmadığı gösterilebilir. Bir oyunun n hamleden sonra gidebileceği olası yol sayısı n ile katlanarak büyümeye devam ediyor. Diğer taraftan n hareket ettikten sonra ortaya çıkabilecek durumların sayısı katlanarak büyümeye devam etmemektedir, çünkü yasal bir oyunda oluşabilecek toplam olası durum sayısını aşamaz. Görehttps://en.wikipedia.org/wiki/Game_complexity , yasal bir satranç oyununda gerçekleşebilecek yaklaşık 10 ^ 47 eyalet var.
Satranç şu şekilde çözülebilir: 3 katı tekrarlama kuralı veya 50 hamle kuralı olmadan yasal bir satranç oyununda gerçekleşebilecek tüm durumları içerdiğini ispatlayabileceğimiz bir dizi devlet al. İki farklı devlet aynı satranç taşları dizilimine sahip olabilir ve sırası geldiğinde, en büyücü tarafından ele geçirme hakkına sahip olup olmadığınız ve belirli bir kral veya kalenin tekrar şatoya sahip olma hakkı olup olmadığına göre farklılık gösterebilir. Ardından, beyazın kazanmaya zorlayabileceği minimum hamle sayısının, beyaza dönmesi gereken 1 olduğu tüm durumları ele alalım. Daha sonra, beyazın kazanmaya zorlayabileceği minimum hamle sayısının 2 olduğu tüm durumları alın; bu, siyahın sırası ve hangi hamle yapmaları pahasına olursa olsun, beyaz 1 hamlede kazanmaya zorlayabilir. Sonra, beyazın kazanmaya zorlayabileceği minimum hamle sayısının 3 olduğu tüm halleri alın. bu, beyazın 2 hamlede onlara zorla kazanacak, ancak 1 hamlede kazanmaya zorlayamayacağı bir hamle olduğu anlamına gelir. Sonra, beyazın kazanmaya zorlayabileceği minimum hamle sayısının 4 olduğu tüm durumları alın; bu, siyahın sırası ve hangi hamle olursa olsun, beyaz 3 hamlede kazanmaya zorlayabilir, ancak beyaz şu anda kazanmaya zorlayamaz. 2 hamle. Bir sayıya ulaştığımızda, beyazın kazanmaya zorlayabileceği minimum hamle sayısının bu sayı olduğu bir durum olmadığı zaman, beyazın kazanmaya zorlayabileceği tüm halleri zaten bulduk. siyah kazanmaya benzer şekilde zorlayabilir. Kalan tüm devletler, her iki oyuncunun berabere zorlayabileceği durumlardır. bu, siyahın sırası ve hangi hamleyi yaparsa yapsın, beyaz 3 hamlede kazanmaya zorlayabilir ama beyaz şu anda 2 hamlede kazanmaya zorlayamaz. Bir sayıya ulaştığımızda, beyazın kazanmaya zorlayabileceği minimum hamle sayısının bu sayı olduğu bir durum olmadığı zaman, beyazın kazanmaya zorlayabileceği tüm halleri zaten bulduk. siyah kazanmaya benzer şekilde zorlayabilir. Kalan tüm devletler, her iki oyuncunun berabere zorlayabileceği durumlardır. bu, siyahın sırası ve hangi hamle yaparsa yapsın, beyaz 3 hamlede kazanmaya zorlayabilir, ancak beyaz şu anda 2 hamlede kazanmaya zorlayamaz. Bir sayıya ulaştığımızda, beyazın kazanmaya zorlayabileceği minimum hamle sayısının bu sayı olduğu bir durum olmadığı zaman, beyazın kazanmaya zorlayabileceği tüm halleri zaten bulduk. Siyah, kazanmaya benzer şekilde zorlayabilir. Kalan tüm eyaletler, her iki oyuncunun berabere zorlayabileceği durumlardır. Siyahın kazanmaya zorlayabileceği bütün devletleri benzer şekilde bulabiliriz. Kalan tüm eyaletler, her iki oyuncunun berabere zorlayabileceği durumlardır. Siyahın kazanmaya zorlayabileceği bütün devletleri benzer şekilde bulabiliriz. Kalan tüm eyaletler, her iki oyuncunun berabere zorlayabileceği durumlardır.
Yasal bir satranç oyununda ortaya çıkabilecek yaklaşık 10 ^ 47 durum olduğundan, nasıl oynayacağına bakılmaksızın mükemmel bir şekilde satranç oynayacak bir bilgisayar oluşturmak için kaba kuvvet kullanmak ömür boyu sürecektir. Rakibinizin nasıl oynadığı önemli değil, size mükemmel bir şekilde nasıl oynayacağınızı söyleyen çok daha kısa bir algoritma olmadığı kanıtlanmadı. Örneğin, belki de yasal bir oyunda oluşabilecek küçük bir devlet kesiti, algoritmanın oynamanızı söyleyeceği bir oyunda ortaya çıkabilir, böylece algoritma sadece tüm durumlarda mükemmel şekilde nasıl oynayacağınızı söylese de çalışabilir. Oyunun başlangıcından beri bu algoritmayı her zaman takip ettiğinizde ortaya çıkabilir, ancak yasal bir oyunda oluşabilecek her durumda değil. Belki buna ek olarak, Bu algoritma, her zaman takip ettiğiniz bir oyunda meydana gelebilecek her durum için, her zaman takip ettiğiniz bir oyunda oluşabilecek durum sayısından daha uygun bir hareketi hesaplamak için daha az adım attığı karmaşık bir algoritmadır. Görehttp://onlinelibrary.wiley.com/doi/10.1002/sres.2171/abstractevrimsel öğrenme laboratuvarları karmaşık sorunları çözmeyi planlıyor. Belki bir gün, mükemmel satranç oynamak için karmaşık bir strateji bulurlar. Belki de çok kısa bir algoritma ve her zaman izlemiş olduğunuz bir oyunda meydana gelebilecek herhangi bir durumda optimal bir hareketi hesaplamak için çok az adım atsa da, algoritmanın bulunmadığını, yine de bir insanın kabiliyetini durduramayacağını mükemmel satranç oynamayı öğrenmek. Belki bir insan sürekli olarak olayları çözebilir ve bulduklarını ellerinde tutabilir, daha önce çözdüklerinden daha fazla şey bulup bunları karmaşık bir yöntemle elde edebilir.
Bir oyuncunun, rakibi mükemmel oynarsa, mükemmel oynamasını sağlayan bir stratejiye sahip olması da muhtemelen daha kolaydır. Her iki oyuncunun da oyunun başlangıcından itibaren zorla çekildiğinden şüpheleniyorum. Çekilişi zorlayan bir stratejiye sahip olmak, rakibinizin size zorla kazanma şansı vermesi durumunda kaybetmeyeceğinizi garanti eden bir stratejiden daha kolaydır. Çekilişi zorlayan bir strateji aynı zamanda rakibiniz mükemmel oynarsa, mükemmel oynamanızı sağlayan bir stratejidir. Mükemmel oynarlarsa, ilk etapta size zorla bir kazanç kazandırmazlar, böylece size bir zorla kazandıktan sonra bir zorla kazanmazsınız.