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


9

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.


3
À peu près n'importe quelle position de base de table de fin de jeu suffisamment compliquée (de nombreuses terminaisons à 6 joueurs, certaines terminaisons à 5 joueurs et peut-être même de longues terminaisons KQvKR) suffirait: par les bases de table, nous savons que certaines positions sont des compagnons de contrôle forcés (dans 30, 50, 100 ou encore plus de mouvements) mais les moteurs sans l'aide de bases de table ne les trouveront pas dans un délai raisonnable. Voulez-vous les inclure ou seulement ceux où l'homme peut prouver un compagnon forcé sans aide informatique?
JiK

Je comprends votre position sur la position de la base de la table, merci. Ma question n'a pas spécifiquement limité la position où nous avons besoin d'aide informatique.
Tanj

C'est un peu délicat, mais il y a la possibilité d'une répétition (double ou triple), beaucoup de logiciels d'échecs peuvent autoriser des partenaires en un. Voir l'article 330 de ce blog: timkr.home.xs4all.nl/chess2/diary_17.htm Dix ans après, je ne sais pas si la plupart des programmes ont résolu ce problème.
Evargalo

Réponses:


10

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.

NN - NN

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 + #


Je ne trouve pas où est la solution pour ce puzzle?
Salvador Dali

1
@SalvadorDali Solution ajoutée dans le message.
GloriaVictis du

Où est le compagnon blanc après 22 ... Bc5 + suivi de 23 ... Qg1?
GrizzlyRawrz

@GrizzlyRawrz Je suppose que je suis coupable d'avoir posté un problème (de mon club d'échecs) et de ne pas connaître de solution - c'était ma tentative, apparemment sans succès, de le résoudre. Mes excuses! Quoi qu'il en soit, le reste de la réponse - le motif et le commentaire sur les moteurs sont (en fait, faisaient partie de la conversation ce soir-là). Je suppose que vous devrez trouver vous-même la solution réelle!
GloriaVictis

@GrizzlyRawrz Après 22 ... Bc5 + Stockfish donne une solution pour le compagnon en 14. Il commence par 23. Kb3 Qg1, 24. Bxg2 + Kh2 25. Rxg1 Bxg1
jva

4

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.

NN - NN

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 .


2
Techniquement ( xkcd.com/1475 ), cela répond en effet à la question, car la question ne demande pas des "positions" mais des "exemples" - généralement, la définition de "position" nécessite également la spécification des droits de castling ou en passant.
JiK

3
«Techniquement», la définition de «position» requiert en effet la spécification des droits de castling ou en passant. Mais dans ce cas, la question et la réponse ont évidemment été inspirées par chess.stackexchange.com/questions/8400/…
BlindKungFuMaster
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.