Ejemplos de jaque mate forzado donde los motores fallan

¿Conoces un ejemplo donde los motores de ajedrez recientes (Houdini, Rybka, Komodo, ...) no pudieron encontrar un jaque mate forzado.

Supongo que deben encontrar pareja en 1 o 2 todo el tiempo, pero tal vez no estén siendo tan creativos como humanos algunas veces.

Publicando esta respuesta además de las respuestas / comentarios en bases de tablas y finales con compañeros forzados ridículamente largos.

Blanco para moverse y ganar (no conozco al autor de este estudio, desafortunadamente). Los motores tenderán a fallar en este y otros problemas similares. Por lo que intenté, todos recomiendan mover hxg8 = Q. Algunos muestran 0.00 y poco después se ponen negros en un punto muerto; algunos muestran una ligera ventaja para las blancas y están tratando de jugar dejando que las negras activen sus piezas. Explicación adicional (y pista sobre la solución) dada en el bloque de spoilers debajo del diagrama.

Explicación spoiler:

El compañero forzado no se encuentra porque los motores usan heurística de poda. Elimina ciertas ramas del árbol de búsqueda, después de considerarlas irrelevantes para el resultado de la búsqueda (ver: http://chessprogramming.wikispaces.com/Pruning ). En el caso de este rompecabezas, la solución consiste en muchos sacrificios posteriores y su rama tiende a descartarse cuando se busca. Nota: Posiblemente, con parámetros ajustados y heurística de búsqueda de compañero cuando se proporciona el número exacto de movimientos necesarios, podrían encontrar la solución, pero no lo he intentado.

Spoiler de soluciones:

Dependiendo de las opciones de movimiento de las negras, existen algunas soluciones (aunque la idea es siempre la misma y hasta el movimiento 12 la línea siempre es la misma). Aquí hay un ejemplo: 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. Cd6 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. Dxf3 Bf2 23. Bxg2 + #

Hay algunas posiciones difíciles, donde parece que no hay solución, pero luego resulta que el blanco debe ser capaz de pasar. En estas posiciones, los motores pueden pasar por alto al compañero, porque no tienen la información sobre el último movimiento negro, mientras que un humano puede deducir esta información mediante un análisis retrógrado.

En esta posición es imposible determinar qué variación lleva a aparearse en dos. Solo es posible demostrar que debe haber un compañero en dos variaciones. Cualquiera de los negros movió el peón en su último movimiento, luego tomó pases pasados ​​para aparearse. O movió a su rey o torre, luego el rey e6 lleva al mate, ya que no hay más enroque posible.

Editar: Otra respuesta, que es tan irrelevante para todos los fines prácticos: como todos sabemos gracias a las bases de tablas, hay una gran cantidad de jaque mate forzado, que están mucho más allá del horizonte de cálculo de cualquier motor. Por supuesto, podemos usar bases de tabla para detectar a esos compañeros, pero no se necesita un poco de imaginación para reconocer la existencia de jaque mate forzado durante miles de movimientos, que no son ahora, y probablemente nunca se almacenarán en una base de tabla. .