J'étais récemment dans une discussion avec une personne non codeur sur les possibilités des ordinateurs d'échecs. Je ne connais pas bien la théorie, mais je pense en savoir suffisamment.
J'ai fait valoir qu'il ne pouvait pas exister une machine de Turing déterministe qui gagnait toujours ou se bloquait aux échecs. Je pense que, même si vous recherchez tout l'espace de toutes les combinaisons de coups de player1 / 2, le coup unique que l'ordinateur décide à chaque étape est basé sur une heuristique. Étant basé sur une heuristique, il ne bat pas nécessairement TOUS les mouvements que l'adversaire pourrait faire.
Mon ami pensait, au contraire, qu'un ordinateur gagnerait ou égalerait toujours s'il ne faisait jamais un mouvement «d'erreur» (comment définissez-vous cela?). Cependant, étant un programmeur qui a pris CS, je sais que même vos bons choix - étant donné un adversaire avisé - peuvent vous forcer à faire des "erreurs" à la fin. Même si vous savez tout, votre prochain coup est avide de faire correspondre une heuristique.
La plupart des ordinateurs d'échecs essaient de faire correspondre une éventuelle fin de partie à la partie en cours, qui est essentiellement une trace de programmation dynamique. Encore une fois, la fin de partie en question est évitable.
Edit: Hmm ... on dirait que j'ai ébouriffé des plumes ici. C'est bon.
En y repensant, il semble qu'il n'y a pas de problème théorique à résoudre un jeu fini comme les échecs. Je dirais que les échecs sont un peu plus compliqués que les dames en ce sens qu'une victoire n'est pas nécessairement due à l'épuisement numérique des pièces, mais par un partenaire. Mon affirmation originale est probablement fausse, mais là encore je pense avoir souligné quelque chose qui n'est pas encore prouvé de manière satisfaisante (formellement).
Je suppose que mon expérience de pensée était que chaque fois qu'une branche dans l'arbre est prise, alors l'algorithme (ou les chemins mémorisés) doit trouver un chemin vers un compagnon (sans être accouplé) pour toute branche possible sur les mouvements de l'adversaire. Après la discussion, j'achèterai que compte tenu de plus de mémoire que nous ne pouvons en rêver, tous ces chemins pourraient être trouvés.