Bases de finais Lomonosov

Uma base de finais é uma coleção de posições resolvidas antecipadamente. Em vez de calcular do zero no momento da consulta, o programa procura a posição e recupera seu resultado exato dentro do conjunto coberto. Esse resultado pode indicar que a posição é de empate ou que um dos lados consegue forçar o mate, além da distância até o mate quando esse dado está disponível.

As bases Lomonosov cobrem posições com no máximo sete peças no total, incluindo os dois reis. Elas foram calculadas em 2012 na Universidade Estatal de Moscou com o supercomputador Lomonosov. A quantidade de material, e não o quanto a partida parece avançada, determina se uma posição está coberta.

As tabelas Lomonosov usam DTM, sigla de distance to mate, ou distância até o mate. Em uma posição ganha, essa medida conta os lances do lado vencedor até o xeque-mate quando esse lado busca o caminho mais curto e o defensor tenta adiá-lo. A DTM, por si só, não aplica a regra que permite reivindicar empate após cinquenta lances de cada lado sem movimento de peão nem captura. Por isso, uma vitória teórica indicada pela base pode terminar em empate em uma partida oficial se essa regra entrar em vigor.

A posição consultada deve corresponder exatamente à representação da base, inclusive quanto ao lado a jogar. A disposição das peças, por si só, não basta: mudar o lado a jogar pode alterar completamente o resultado.

Isso não é o mesmo que pedir uma avaliação a um motor de xadrez. Um motor examina lances e estima uma posição com recursos limitados; uma base de finais devolve uma solução pré-calculada para uma posição coberta. Fora da cobertura de sete peças, as bases Lomonosov não podem fornecer essa resposta.