Exemplos de xeque-mate forçados, onde os motores falham

Você conhece um exemplo em que os recentes mecanismos de xadrez (Houdini, Rybka, Komodo, ...) não encontraram um xeque-mate forçado.

Eu acho que eles devem encontrar companheiro em 1 ou 2 o tempo todo, mas talvez eles estejam falhando em ser tão criativos quanto humanos algumas vezes.

Posicionando esta resposta além das respostas / comentários em mesas e jogos finais com companheiros forçados ridiculamente longos.

Branco para se mover e vencer (infelizmente não conheço o autor deste estudo). Os motores tendem a falhar neste e em problemas semelhantes. Tanto quanto eu tentei, todos recomendam mover hxg8 = Q. Alguns mostram 0,00 e logo depois colocam preto em um impasse; alguns mostram ligeira vantagem para o branco e estão tentando jogar o jogo deixando o preto ativar suas peças. Explicações adicionais (e dicas para a solução) fornecidas no bloco de spoilers abaixo do diagrama.

Explicação spoiler:

O posicionamento forçado não foi encontrado porque os mecanismos usam a heurística de poda. Ele remove certos ramos da árvore de pesquisa, depois de considerá-los irrelevantes para o resultado da pesquisa (consulte: http://chessprogramming.wikispaces.com/Pruning ). Nesse caso, a solução consiste em muitos sacrifícios subsequentes e seu ramo tende a ser descartado durante a pesquisa. Nota: Possivelmente, com parâmetros aprimorados e heurística de procura de parceiros quando for fornecido o número exato de movimentos necessários, eles poderão encontrar a solução, mas eu não tentei isso.

Spoiler da solução:

Dependendo das opções de movimento do preto, existem algumas soluções (a idéia é sempre a mesma, e até o movimento 12 a linha também é a mesma). Aqui está um exemplo: 1. hxg8 = N d5 2. Bf3 d4 + 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8 = N h4 7. Nf6 exf6 8. e7 f5 9. e8 = N f4 10. Nd6 cxd6 11. c7 d5 12. c8 = N dxc4 13. Nb6 c3 14. dxc3 d2 15. Kb3 d1 = Q 16. Rxd1 axb6 17. a7 b5 18. a8 = Q b4 19. Be2 bxc3 20. Bf1 c2 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2 + #

Existem algumas posições complicadas, nas quais parece que não há solução, mas acontece que o branco deve ser capaz de passar en passant. Nessas posições, os mecanismos podem ignorar o parceiro, porque eles não têm informações sobre o último movimento negro, enquanto um humano pode deduzir essas informações por meio de análises retrógradas.

Nesta posição, é impossível determinar qual variação leva ao posicionamento em duas. Só é possível mostrar que deve haver um posicionamento em duas variações. Um ou outro preto moveu o peão em seu último movimento - e então levou pistas passantes ao companheiro. Ou ele mudou seu rei ou torre - então o rei e6 leva ao companheiro, já que não há mais castelos possíveis.

Edit: Outra resposta, que é tão irrelevante para todos os fins práticos: Como todos sabemos, graças às bases de tabela, existe um grande número de xeitas forçados por aí, que estão muito além do horizonte de cálculo de qualquer mecanismo. É claro que podemos usar as bases de tabela para detectar esses parceiros, mas não é preciso muito esforço para reconhecer a existência de xeque-mate forçado em milhares de movimentos, que não são agora e provavelmente nunca serão armazenados em uma base de tabela .