Exemples de matrices forcées où les moteurs tombent en panne

Savez-vous par exemple où les moteurs d'échecs récents (Houdini, Rybka, Komodo, ...) n'ont pas réussi à trouver un échec et mat.

Je suppose qu'ils doivent trouver du compagnon en 1 ou 2 tout le temps, mais peut-être ne parviennent-ils pas à être aussi créatifs qu'humains à certains moments.

Posant cette réponse en plus des réponses / commentaires sur les bases de table et les finales avec des compagnons forcés ridiculement longs.

Des blancs pour bouger et gagner (je ne connais malheureusement pas l'auteur de cette étude). Les moteurs auront tendance à échouer sur ce problème et sur des problèmes similaires. Pour autant que j'ai essayé, tous recommandent de déplacer hxg8 = Q. Certains affichent 0,00 et mettent peu après le noir dans une impasse; certains montrent un léger avantage pour les blancs et tentent de jouer le jeu en laissant le noir activer ses pièces. Explication supplémentaire (et indice de la solution) donnée dans le bloc spoiler sous le diagramme.

Spoiler d'explication:

La contrainte forcée n'est pas trouvée car les moteurs utilisent l'heuristique d'élagage. Il supprime certaines branches de l'arbre de recherche, après les avoir jugées non pertinentes pour le résultat de la recherche (voir: http://chessprogramming.wikispaces.com/Pruning ). Dans le cas de ce casse-tête, la solution consiste en de nombreux sacrifices ultérieurs et sa branche a tendance à être jetée lors de la recherche. Remarque: Peut-être, avec des paramètres modifiés et une heuristique de recherche de partenaire lorsque le nombre exact de mouvements requis est fourni, ils pourraient trouver la solution, mais je n'ai pas essayé cela.

Spoiler de solution:

En fonction des choix de coups du noir, il existe quelques solutions (l'idée est toujours la même, et jusqu'au coup 12, la ligne est toujours la même aussi). Voici un exemple: 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 + #

Il y a des positions délicates, où il semble qu'il n'y ait pas de solution, mais il s'avère que le blanc doit pouvoir prendre en passant. Dans ces positions, les moteurs peuvent ignorer le partenaire, car ils ne disposent pas des informations sur le dernier mouvement noir, tandis qu'un humain peut déduire ces informations par analyse rétrograde.

Dans cette position, il est impossible de déterminer quelle variation conduit à s'accoupler sur deux. Il est seulement possible de montrer qu'il doit y avoir un partenaire en deux variantes. Soit les noirs ont déplacé le pion lors de son dernier mouvement - puis en passant en passant mène au compagnon. Ou il a déplacé son roi ou sa tour - puis le roi e6 mène à l'accouplement, car il n'y a plus de roque possible.

Edit: Une autre réponse, qui est tout aussi hors de propos à toutes fins pratiques: Comme nous le savons tous grâce aux bases de table, il y a un grand nombre de camarades de force forcés, qui sont bien au-delà de l'horizon de calcul de tout moteur. Bien sûr, nous pouvons utiliser des bases de table pour détecter ces partenaires, mais cela ne demande aucun effort d'imagination, pour reconnaître l'existence de compagnons forcés sur des milliers de mouvements, qui ne sont pas maintenant et ne seront probablement jamais stockés dans une base de table .