Co nowego
Od 18 września 2026 Board Analysis na ChessRank.org korzysta z tablic końcówek Syzygy. Gdy tylko na szachownicy stoi siedem bierek lub mniej, wliczając króle, szukamy pozycji w tablicach. Gdy nadejdzie odpowiedź, panel zamiast oceny silnika pokazuje dokładny wynik: Białe wygrywają, Czarne wygrywają albo Remis, razem z ruchami, które ten wynik utrzymują.
W takich pozycjach końcówkowych analiza staje się dzięki temu szybsza i dokładniejsza. Szybsza, bo wynik jest odczytywany, a nie obliczany, więc nie musisz czekać, aż silnik policzy głębiej. Dokładniejsza, bo to w ogóle nie jest szacunek. To udowodniony wynik pozycji.
Stockfish nadal uruchamia się przy każdej pozycji dokładnie tak jak wcześniej. Gdy na szachownicy jest więcej niż siedem bierek, nic się nie zmienia, a gdy tablice są niedostępne, na przykład gdy jesteś offline, szachownica po prostu zostaje przy Stockfishu.
Silnik a tablice
Stockfish przelicza ograniczoną liczbę ruchów do przodu, a potem ocenia pozycje, do których dotarł. Jego ocena jest szacunkiem: bardzo dobrym, ale wraz z większą głębokością wciąż może się zmienić. W końcówkach ma to znaczenie, bo dużej przewagi materialnej czasem w ogóle nie da się zamienić na wygraną. Król, goniec i skrajny pion przeciwko samotnemu królowi, gdy goniec nie kontroluje pola przemiany, a broniący się król stoi już w tym rogu, to remis, mimo że białe mają całego gońca i piona więcej.
Tablice działają odwrotnie. Dla danego zestawu bierek, na przykład króla i wieży przeciwko królowi i skoczkowi, komputer przechodzi przez każdą legalną pozycję, jaką te bierki mogą utworzyć, i dla każdej ustala wynik przy perfekcyjnej grze obu stron. Nic nie jest szacowane i nic nie jest pomijane.
Jak powstają tablice
Metoda nazywa się analizą retrogradną. Zaczyna od pozycji, których wynik jest już znany: matów, patów i pozycji, w których bicie lub promocja prowadzi do innej, już rozwiązanej końcówki. Stamtąd komputer idzie wstecz:
- Pozycja jest wygrana, jeśli strona na posunięciu ma co najmniej jeden ruch do pozycji przegranej dla przeciwnika.
- Pozycja jest przegrana, jeśli każdy legalny ruch prowadzi do pozycji wygranej dla przeciwnika.
- Te dwa kroki powtarza się, aż żadna nowa pozycja nie otrzyma wyniku. Każda pozycja, która wtedy pozostaje nierozstrzygnięta, jest remisowa, bo żadna ze stron nie może z niej wymusić wygranej.
Dlaczego wynik jest matematycznie pewny
Ponieważ sprawdzana jest każda pozycja, werdykt tablic nie jest ani opinią, ani prawdopodobieństwem. To dowód przez wyczerpanie przypadków, ten sam rodzaj dowodu, którego matematycy używają, gdy twierdzenie da się rozstrzygnąć tylko przez sprawdzenie każdej możliwości. Gdy Board Analysis pokazuje „Białe wygrywają”, jest udowodnione, że białe wymuszą wygraną przy każdej obronie. Gdy pokazuje „Remis”, jest udowodnione, że żadna ze stron nie może wymusić wygranej.
To samo dotyczy ruchów. Każdy ruch z zieloną kropką utrzymuje najlepszy wynik, na jaki pozwala pozycja: wygrana zostaje wygraną, remis remisem. To również jest udowodnione, a nie oszacowane. Szara kropka oznacza ruch, który wypuszcza wygraną, ale wciąż trzyma remis, a czerwona kropka ruch, który przegrywa.
Ściśle rzecz biorąc, jak każdy dowód wspomagany komputerowo, ten również opiera się na tym, że programy, które wygenerowały tablice, zadziałały poprawnie. Dlatego pliki Syzygy mają sumy kontrolne, a do generatora dołączone jest narzędzie, które sprawdza wewnętrzną spójność tablic.
I dwie rzeczy, których „poprawny” nie oznacza:
- Poprawnych ruchów może być kilka. Często wygraną utrzymuje więcej niż jeden ruch. Board Analysis pokazuje do czterech ruchów, najlepszy jako pierwszy.
- Najlepszy ruch nie zawsze daje najszybszego mata. Syzygy porządkuje wygrywające ruchy według DTZ (distance to zeroing): liczby półruchów przy najlepszej grze do najbliższego bicia, ruchu pionem lub mata. Właśnie to chroni wygraną przed zasadą 50 ruchów. Inny ruch może prowadzić do mata szybciej, więc ruch z tablic może różnić się od tego, który preferuje Stockfish, nawet gdy oba wygrywają.
Wygrana, remis i przeklęta wygrana
Tablice uwzględniają też zasadę 50 ruchów. Zgodnie z nią partia może zakończyć się remisem, gdy każdy z graczy wykonał 50 kolejnych ruchów bez bicia i bez ruchu pionem. Przy szachownicy gracz musi zażądać remisu. Online zasada jest zwykle stosowana automatycznie.
Niektóre końcówki są teoretycznie wygrane, ale wygrana wymaga odcinka dłuższego niż 50 ruchów bez bicia i bez ruchu pionem. Syzygy nazywa to przeklętą wygraną (cursed win): pozycja wygrana przy perfekcyjnej grze, ale broniąca się strona może utrzymać remis dzięki zasadzie 50 ruchów. Z perspektywy broniącej się strony ta sama pozycja jest błogosławioną przegraną (blessed loss). Board Analysis pokazuje przeklętą wygraną jako osobny werdykt i ustawia pasek oceny pośrodku, bo zgodnie z przepisami gry jest to remis.
Jak długa może być perfekcyjnie rozegrana końcówka? W 2012 roku, gdy kończono siedmiobierkowe tablice Łomonosowa, znaleziono pozycję, w której najszybszy wymuszony mat trwa 549 ruchów. To daleko poza tym, co silnik może zobaczyć, licząc do przodu.
Kto to wymyślił
- 1913, Ernst Zermelo. Niemiecki matematyk opublikował pracę o zastosowaniu teorii mnogości do szachów („Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels”), często uważaną za pierwszą pracę z teorii gier. Wynik nazwany jego imieniem mówi, że w szachach albo białe mogą wymusić wygraną, albo czarne mogą wymusić wygraną, albo obie strony mogą wymusić co najmniej remis. Tablice dają konkretną odpowiedź, końcówka po końcówce.
- 1970, Thomas Ströhlein. W swojej rozprawie doktorskiej na Politechnice Monachijskiej opisał pierwszą komputerową implementację analizy retrogradnej dla szachów i rozwiązał kilka końcówek z trzema i czterema bierkami, w tym króla i hetmana przeciwko królowi i wieży.
- Koniec lat 70. i lata 80., Ken Thompson. Informatyk z Bell Labs, znany jako jeden z twórców Uniksa, zbudował tablice dla wielu końcówek z maksymalnie pięcioma bierkami. Jego baza króla i hetmana przeciwko królowi i wieży zasłynęła, gdy arcymistrz Walter Browne, grając stroną z hetmanem przeciwko perfekcyjnej obronie komputera, w pierwszej próbie nie zdołał wygrać w 50 ruchach, choć pozycja była wygrana.
- 1991, Lewis Stiller. Na masowo równoległym komputerze rozwiązał niektóre końcówki z sześcioma bierkami.
- Od końca lat 90., Eugene Nalimov. Jego tablice, które podają odległość do mata, szeroko rozpowszechniły się w programach szachowych, najpierw dla wszystkich końcówek pięciobierkowych, a później dla wszystkich sześciobierkowych.
- 2012, tablice Łomonosowa. Władimir Machnyczew i Wiktor Zacharow z Moskiewskiego Uniwersytetu Państwowego obliczyli siedmiobierkowe tablice na superkomputerze Łomonosow.
- 2013, Ronald de Man i Syzygy. W kwietniu 2013 Ronald de Man udostępnił tablice Syzygy dla wszystkich końcówek z maksymalnie sześcioma bierkami. Zamiast odległości do mata Syzygy przechowuje dwie rzeczy: wynik z uwzględnieniem zasady 50 ruchów (WDL, od win, draw, loss, czyli wygrana, remis, przegrana) oraz DTZ. Dzięki temu tablice są znacznie mniejsze i na tyle szybkie, że silniki mogą z nich korzystać bezpośrednio podczas przeszukiwania.
- 2018, siedem bierek. W sierpniu 2018 Bojun Guo i Ronald de Man ukończyli siedmiobierkowe tablice Syzygy. Były to pierwsze kompletne tablice siedmiobierkowe, ponieważ tablice Łomonosowa pomijały końcówki sześciu bierek przeciwko samotnemu królowi. Zestaw obejmuje ponad 423 biliony pozycji i zajmuje 18,4 TB, a Lichess udostępnił go wszystkim za darmo.
Skąd pochodzą odpowiedzi
Siedmiobierkowe tablice są zdecydowanie za duże, by pobrać je do przeglądarki, dlatego Board Analysis pyta darmową, publiczną usługę tablic końcówek prowadzoną przez Lichess. Zapytanie zawiera tylko samą pozycję, żadnych danych konta ani partii. Każda odpowiedź jest zapamiętywana, dopóki strona pozostaje otwarta, więc gdy wrócisz do pozycji, którą już widziałeś, wynik pojawi się od razu.
Dokładne ograniczenia
- Najwyżej siedem bierek, wliczając króle. Przy ośmiu i więcej bierkach Board Analysis zostaje przy Stockfishu.
- Bez prawa do roszady i bicia w przelocie. Syzygy nie obejmuje pozycji, w których roszada jest jeszcze dozwolona, dlatego Board Analysis szuka pozycji bez prawa do roszady, a także bez możliwości bicia w przelocie. W prawdziwej końcówce ma to znaczenie tylko w rzadkich przypadkach.
- Licznik 50 ruchów od zera. Pozycja ustawiona na szachownicy nie ma historii ruchów, więc jest wyszukiwana tak, jakby licznik 50 ruchów dopiero co ruszył. Jeśli w twojej prawdziwej partii rozegrano już wiele ruchów bez bicia i bez ruchu pionem, pokazana tu wygrana może w rzeczywistości przyjść za późno wobec zasady 50 ruchów.
Co dalej
Na dzień 18 września 2026 tablice działają w Board Analysis. Planujemy rozszerzyć je także na inne części ChessRank.org, w tym Game Analysis, Report, Blunder Puzzles, Play Bots, Opponent Prep i kolejne. Od 23 września 2026 odpowiadają też w Game Analysis, przez opcjonalny przycisk Głębiej (włączysz go w Ustawieniach, w sekcji Game Analysis). Tam tylko pokazują pozycję i nigdy nie zmieniają twojego raportu.
Wypróbuj sam: ustaw w Board Analysis dowolną końcówkę z co najwyżej siedmioma bierkami, na przykład króla i hetmana przeciwko królowi i wieży, a zobaczysz dokładny werdykt zamiast oceny silnika.