Database over skakafslutninger

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 7. februar 2022; checks kræver 4 redigeringer .

Skakslutspilsdatabasen  er en computeriseret database, der indeholder en forudberegnet udtømmende analyse af skakslutspil . En sådan database gemmer scores (sejr, uafgjort, nederlag) for hver mulig skak-slutposition, både når hvid flytter, og når sort flytter [1] . Nogle almindelige databaser indeholder også det antal træk, der skal til for at opnå et teoretisk resultat (skakmat, overgang til et mindre vundet slutspil osv.) med det bedste spil fra begge sider. Databaser over skakafslutninger oprettes ved retrospektiv analyse, bevæger sig fra alle mulige slutpositioner i den modsatte retning - mod at øge antallet af nødvendige træk for at nå disse endelige positioner.

Nalimovs tabeller

I computerskak er et af de mest populære formater til databaser med skakafslutninger Nalimovs slutspilstabeller. Denne database (bestående af mange separate tabelfiler) er opkaldt efter Novosibirsk - programmøren Evgeny Nalimov , som foreslog en effektiv algoritme til generering af slutspilsdatabaser. I Nalimovs tabeller er der helt nøjagtige varianter af udviklingen af ​​et skakspil i slutspillet. Ved hjælp af Nalimovs tabeller bestemmes alle mulige muligheder for at fortsætte spillet, alle mulige resultater og antallet af træk, hvorigennem spillet med optimalt spil vil komme til makkeren til den svageste side [2] .

Næsten alle moderne computerprogrammer til at spille skak har mulighed for at forbinde Nalimovs borde.

Længste sejre [3]

Antal figurer Skakmat i X-træk FEN
3-cifrede afslutninger. 28 8/8/8/1k6/8/8/K5P1/8 w - - 0 1
4-cifrede afslutninger. 43 8/5k2/2PK4/5r2/8/8/8/8 w - - 0 1
5-cifrede afslutninger. 127 8/8/8/8/1p2P3/4P3/1k6/3K4 w - - 0 1
6-cifrede afslutninger. 262 6k1/5n2/8/8/8/5n2/1RK5/1N6 w - - 0 1
7-cifrede afslutninger. 549 1n1k4/6Q1/5KP1/8/7b/1r6/8/8 w - - 0 1
8-cifrede afslutninger. 584 [4] R7/8/8/8/7q/2K1B2p/7P/2Bk4 w - - 0 1

Beregning

Beregningstiden og størrelsen af ​​skak-slutspilsdatabaser stiger eksponentielt med antallet af involverede brikker.

Antal figurer Antal positioner [5]
2 462
3 368 079
fire 125 246 598
5 25 912 594 054
6 3 787 154 440 416
7 423 836 835 667 331
otte 38 176 306 877 748 245

Nu er der databaser for alle tre-, fire-, fem-, seks- og syvdelte endelser (inklusive to konger). Ender med otte brikker beregnes: positioner uden bønder [6] og positioner med to bønder, der blokerer hinanden — hvid og sort [7] beregnes .

Størrelse

Størrelsen af ​​databaser afhænger både af antallet af figurer og af formatet på selve databasen.

Historie

I computerskakhistorien var der flere forskere, der udtrykte og implementerede ideen om at spille en computer i et lille stykke ved at bruge en forudberegnet udtømmende tabel over alle mulige positioner.

I 1965 var Richard Bellman den  første, der foreslog at bruge metoden til retrospektiv analyse til at skabe databaser til at løse skak- og damslutspil. I modsætning til den sædvanlige fremadsøgning , som starter fra en bestemt position på brættet, søger slutspilsdatabaser, som omfatter alle mulige arrangementer af brikker, i den modsatte retning : startende fra positioner, hvor en af ​​parterne allerede har modtaget et dødvande eller skakmat, og afslutte en specifik position på tavlen, hvilket giver dig mulighed for at få en løsning med absolut nøjagtighed. Skakcomputeren behøver således ikke længere at beregne slutspillet under spillet, men skal kun se på det forudberegnede resultat i databasen og foretage det perfekte træk.

I 1970 afsluttede Thomas Ströhlein sin  doktorafhandling , som analyserede slutninger som KQK, KRK, KPK, KQKR, KRKB og KRKN.

I 1977 præsenterede Ken ThompsonInternational Federation for Information Processing -konference i Toronto et bord, han havde konstrueret til alle mulige positioner i KRKQ-slutspillet "rook and king versus queen and king". Det samlede antal stillinger for det er omkring 4 millioner. Ken Thompson holdt flere demonstrationsforestillinger - computeren spillede for spilleren, der ejer tårnet. Dette slutspil er teoretisk tabende, en skakspiller på masterniveau, som har en dronning, vinder normalt let mod enhver modstander. Derfor fik computeren til opgave at forsinke sit teoretisk uundgåelige tab så meget som muligt. Resultaterne af eksperimenter, hvor en computer spillede skakspillere, var ret interessante. Mod programmet forsøgte Hans Berliner , den tidligere verdensmester i korrespondancespillet , og Lawrence Day , Canadas mester , at spille . Hverken den ene eller den anden kunne vinde programmet, selvom enhver position vandt for dem. Faktum er, at det teoretisk fejlfri computerspil ofte så ulogisk ud, var i modstrid med principperne i skakteorien (for eksempel anbefales det normalt ikke at flytte tårnet langt fra kongen for at undgå mulige gafler, men programmet gjorde ofte dette ), usædvanlige computertræk forvirrede skakspilleren, og han missede sejren, da han ikke havde tid til at matte eller vinde et tårn i 50 træk .

I 1970'erne og 1980'erne udviklede ideen om forudberegnede slutspil sig meget langsomt, da hastigheden og hukommelsen på de daværende computere var en væsentlig begrænsning og ikke tillod at få detaljerede databaser. Ken Thompson og andre entusiaster fortsatte dog langsomt med at generere slutninger med små figurer, og efter et stykke tid blev alle 4-delte slutninger talt, og i slutningen af ​​1980'erne blev alle 5-delte slutninger talt, inklusive så interessante positioner som KBBKN, KQPKQ og KRPKR.

I 1995 udgav Lewis Stiller en  undersøgelse af nogle 6-cifrede slutninger.

I 1998 skabte Evgeny Nalimov en skakafslutningsgenerator, der viste sig at være ekstremt effektiv. Takket være den nye effektive generator og stigningen i computerens ydeevne, blev alle 6-delte slutninger beregnet i begyndelsen af ​​2000'erne, hvilket gjorde en reel revolution i forståelsen af ​​nogle slutspil. Snart blev 6-cifrede slutninger offentligt tilgængelige på internettet og er det den dag i dag.

I 2012 er der beregnet 7-cifrede tabeller for følgende materialeforhold - fire cifre mod tre og fem cifre mod to. Beregningerne blev udført i foråret-sommeren 2012, forfatterne af tabellerne er Vladimir Makhnychev og Viktor Zakharov, ansatte i VMK MSU. Databasen kaldes "Lomonosovs tabeller", fordi de blev beregnet på Lomonosov og IBM Blue Gene/P supercomputere installeret på Lomonosov Moscow State University . 7-delte afslutningstabeller blev aktivt brugt for første gang i analysen af ​​partierne i World Chess Championship 2012 [8] [9] . Der er endnu ingen offentlig online adgang til 7-cifrede endetabeller. I 2016 blev gratis adgang til borde delvist åbnet, men kun for brugere med Android -operativsystemet , gennem en speciel applikation [10] .

I 2018 genererede Bojun Guo 7-delt slutspil i et syzygy-tables format, de er tilgængelige online gratis [11] [12] .

I 2021 blev der beregnet slutspil med 8 brikker uden bønder, samt positioner med to bønder, der blokerede hinanden - hvid og sort.

Se også

Noter

  1. Nogle databaser, såsom Nalimovs tabeller, indeholder positionsestimater for kun at flytte den ene side - kun hvid eller kun sort. Den samme position med en anden turrækkefølge er indeholdt i forskellige tabeller.
  2. Nalimovs tabeller har en DTM ( eng.  Depth to mate ) metrik - antallet af træk at parre er angivet i de vundne positioner.
  3. A260954 - OEIS . Hentet 16. april 2019. Arkiveret fra originalen 16. april 2019.
  4. www.arves.org - 8-mands Tablebase-udforskninger "modsat 1 bonde" slutspil . Hentet 23. februar 2022. Arkiveret fra originalen 2. februar 2022.
  5. A318266 - OEIS . Hentet 16. april 2019. Arkiveret fra originalen 16. april 2019.
  6. Otte figurer uden bønder.  (engelsk) . Hentet 20. september 2021. Arkiveret fra originalen 4. august 2021.
  7. Otte figurer med to sammenlåsende bønder.  (engelsk) . Hentet 20. september 2021. Arkiveret fra originalen 20. september 2021.
  8. Eksempler på at analysere komplekse situationer i syv-cifrede tabeller på 7TB-udviklerbloggen, (VMK MSU) . Dato for adgang: 15. december 2012. Arkiveret fra originalen 4. oktober 2013.
  9. Officiel offentliggørelse af kampens afgørende parti om titlen som verdensmester i skak 2012 Anand - Gelfand med kommentarer til spillets nøgleøjeblikke baseret på Lomonosovs tabeller Arkiveret den 2. juni 2012.
  10. https://play.google.com/store/apps/details?id=com.convekta.android.lomonosovtb&hl=da Arkiveret 5. oktober 2016 på Wayback Machine .
  11. KvK - Syzygy slutspils bordbaser . Hentet 9. august 2018. Arkiveret fra originalen 24. april 2022.
  12. Syzygy bordbaser i 7 dele er komplette  (russisk) , lichess.org . Arkiveret fra originalen den 13. juli 2020. Hentet 29. august 2018.

Links