O que há de novo
Desde 18 de setembro de 2026, o Board Analysis no ChessRank.org usa as tabelas de finais Syzygy. Sempre que há sete peças ou menos no tabuleiro, reis incluídos, procuramos a posição nas tabelas. Quando a resposta chega, o painel deixa de mostrar uma estimativa do motor e mostra o resultado exato: Brancas ganham, Pretas ganham ou Empate, juntamente com os lances que mantêm esse resultado.
Nestas posições de final, a análise fica assim mais rápida e mais precisa. Mais rápida, porque o resultado é consultado em vez de calculado, por isso não precisas de esperar que o motor procure mais fundo. Mais precisa, porque não é de todo uma estimativa. É o resultado demonstrado da posição.
O Stockfish continua a arrancar em cada posição exatamente como antes. Com mais de sete peças no tabuleiro nada muda, e se as tabelas não estiverem acessíveis, por exemplo quando estás offline, o tabuleiro fica simplesmente com o Stockfish.
Motor versus tabelas
O Stockfish calcula um número limitado de lances à frente e depois avalia as posições a que chega. A sua avaliação é uma estimativa: muito boa, mas ainda pode mudar à medida que o motor aprofunda. Nos finais isso importa, porque uma grande vantagem material às vezes não pode ser convertida de todo. Rei, bispo e peão de torre contra rei sozinho, com um bispo que não controla a casa de promoção e o rei defensor já instalado nesse canto, é empate, embora as brancas tenham um bispo e um peão a mais.
As tabelas funcionam ao contrário. Para um dado conjunto de peças, por exemplo rei e torre contra rei e cavalo, um computador percorre cada posição legal que essas peças podem formar e determina o resultado de cada uma com jogo perfeito de ambos os lados. Nada é estimado e nada fica de fora.
Como se constroem as tabelas
O método chama-se análise retrógrada. Parte das posições cujo resultado já é conhecido: xeque-mates, afogamentos e posições em que uma captura ou uma promoção leva a outro final já resolvido. A partir daí, o computador trabalha para trás:
- Uma posição está ganha se o lado que joga tem pelo menos um lance para uma posição perdida para o adversário.
- Uma posição está perdida se cada lance legal leva a uma posição ganha para o adversário.
- Estes dois passos repetem-se até nenhuma posição nova receber um resultado. Cada posição ainda por decidir nesse momento é empate, porque nenhum dos lados consegue forçar a vitória a partir dela.
Porque é que o resultado é matematicamente certo
Como cada posição é verificada, o veredicto das tabelas não é uma opinião nem uma probabilidade. É uma demonstração por exaustão, o tipo de prova que os matemáticos usam quando uma afirmação só pode ser decidida analisando todos os casos. Quando o Board Analysis mostra «Brancas ganham», está demonstrado que as brancas conseguem forçar a vitória contra qualquer defesa. Quando mostra «Empate», está demonstrado que nenhum dos lados consegue forçar a vitória.
O mesmo vale para os lances. Cada lance com um ponto verde mantém o melhor resultado que a posição permite: uma vitória continua a ser vitória, um empate continua a ser empate. Também isto está demonstrado, não estimado. Um ponto cinzento assinala um lance que deita fora a vitória mas ainda empata, e um ponto vermelho um lance que perde.
Para sermos totalmente precisos: como qualquer demonstração assistida por computador, esta depende de os programas que geraram as tabelas terem funcionado corretamente. É por isso que os ficheiros Syzygy trazem somas de verificação e o gerador inclui uma ferramenta que verifica a coerência interna das tabelas.
E duas coisas que «correto» não significa:
- Pode haver vários lances corretos. Muitas vezes, mais do que um lance mantém a vitória. O Board Analysis mostra até quatro lances, o melhor primeiro.
- O melhor lance nem sempre é o mate mais rápido. O Syzygy ordena os lances vencedores por DTZ (distance to zeroing): o número de meios lances, com o melhor jogo, até à próxima captura, lance de peão ou xeque-mate. É precisamente isso que protege uma vitória da regra dos 50 lances. Outro lance pode levar ao mate mais cedo, por isso o lance das tabelas pode diferir do que o Stockfish prefere, mesmo quando ambos ganham.
Vitória, empate e vitória amaldiçoada
As tabelas também têm em conta a regra dos 50 lances. Segundo esta regra, uma partida pode terminar empatada quando cada jogador fez 50 lances consecutivos sem qualquer captura nem movimento de peão. Ao tabuleiro, um jogador tem de reclamar o empate. Online, a regra costuma ser aplicada automaticamente.
Alguns finais estão ganhos em teoria, mas a vitória exige uma sequência de mais de 50 lances sem capturas nem movimentos de peão. O Syzygy chama a isto uma vitória amaldiçoada (cursed win): ganha com jogo perfeito, mas o lado que defende consegue salvar o empate graças à regra dos 50 lances. Vista pelo lado que defende, a mesma posição é uma derrota abençoada (blessed loss). O Board Analysis mostra a vitória amaldiçoada como um veredicto próprio e coloca a barra de avaliação a meio, porque segundo as regras do jogo é um empate.
Quão longo pode ser um final jogado na perfeição? Em 2012, enquanto se concluíam as tabelas Lomonosov de sete peças, foi encontrada uma posição em que o mate forçado mais rápido exige 549 lances. Isso está muito para lá do que um motor consegue ver calculando para a frente.
Quem o inventou
- 1913, Ernst Zermelo. O matemático alemão publicou um artigo sobre a aplicação da teoria dos conjuntos ao xadrez («Über eine Anwendung der Mengenlehre auf die Theorie des Schachspiels»), muitas vezes considerado o primeiro trabalho de teoria dos jogos. O resultado com o seu nome afirma que no xadrez ou as brancas conseguem forçar a vitória, ou as pretas conseguem forçar a vitória, ou ambos os lados conseguem forçar pelo menos o empate. As tabelas dão a resposta concreta, um final de cada vez.
- 1970, Thomas Ströhlein. Na sua tese de doutoramento na Universidade Técnica de Munique, descreveu a primeira implementação informática da análise retrógrada para o xadrez e resolveu vários finais de três e quatro peças, entre eles rei e dama contra rei e torre.
- Final dos anos 70 e anos 80, Ken Thompson. O informático dos Bell Labs, conhecido como um dos criadores do Unix, construiu tabelas para muitos finais de até cinco peças. A sua base de rei e dama contra rei e torre ficou famosa quando o grande mestre Walter Browne, jogando com a dama contra a defesa perfeita do computador, não conseguiu ganhar em 50 lances na primeira tentativa, embora a posição estivesse ganha.
- 1991, Lewis Stiller. Num computador massivamente paralelo, resolveu alguns finais de seis peças.
- Desde o final dos anos 90, Eugene Nalimov. As suas tabelas, que indicam a distância ao mate, difundiram-se amplamente nos programas de xadrez, primeiro para todos os finais de cinco peças e depois para todos os de seis.
- 2012, tabelas Lomonosov. Vladimir Makhnychev e Victor Zakharov, da Universidade Estatal de Moscovo, calcularam tabelas de sete peças no supercomputador Lomonosov.
- 2013, Ronald de Man e o Syzygy. Em abril de 2013, Ronald de Man publicou as tabelas Syzygy para todos os finais de até seis peças. Em vez da distância ao mate, o Syzygy guarda duas coisas: o resultado tendo em conta a regra dos 50 lances (WDL, de win, draw, loss, ou seja, vitória, empate, derrota) e o DTZ. Isso torna as tabelas muito mais pequenas e rápidas o suficiente para os motores as usarem diretamente durante a pesquisa.
- 2018, sete peças. Em agosto de 2018, Bojun Guo e Ronald de Man concluíram as tabelas Syzygy de sete peças. Foi a primeira base completa de sete peças, porque as tabelas Lomonosov tinham deixado de fora os finais de seis peças contra rei sozinho. O conjunto abrange mais de 423 biliões de posições em 18,4 TB, e o Lichess disponibilizou-o gratuitamente a todos.
De onde vêm as respostas
As tabelas de sete peças são demasiado grandes para descarregar num navegador, por isso o Board Analysis consulta o serviço público e gratuito de tabelas de finais mantido pelo Lichess. O pedido contém apenas a posição, sem dados de conta nem de partidas. Cada resposta fica guardada enquanto a página estiver aberta, por isso, ao voltares a uma posição que já viste, o resultado aparece de imediato.
Limites precisos
- No máximo sete peças, reis incluídos. Com oito ou mais peças, o Board Analysis fica com o Stockfish.
- Sem direitos de roque nem de captura en passant. O Syzygy não cobre posições em que o roque ainda é permitido, por isso o Board Analysis procura a posição sem direitos de roque e também sem a possibilidade de captura en passant. Num final real, isto só importa em casos raros.
- Uma contagem de 50 lances a partir do zero. Uma posição montada no tabuleiro não tem histórico de lances, por isso é consultada como se a contagem dos 50 lances tivesse acabado de começar. Se na tua partida real já foram jogados muitos lances sem capturas nem movimentos de peão, uma vitória mostrada aqui pode na verdade chegar tarde demais face à regra dos 50 lances.
O que vem a seguir
A 18 de setembro de 2026, as tabelas funcionam no Board Analysis. Planeamos alargá-las a outras partes do ChessRank.org, incluindo Game Analysis, Report, Blunder Puzzles, Play Bots, Opponent Prep e outras. Desde 23 de setembro de 2026 respondem também no Game Analysis, através do botão opcional Aprofundar (ativa-o nas Definições, secção Game Analysis). Aí apenas te mostram a posição e nunca alteram o teu relatório.
Experimenta tu mesmo: monta no Board Analysis qualquer final com sete peças ou menos, por exemplo rei e dama contra rei e torre, e verás o veredicto exato em vez de uma estimativa do motor.