J'étais récemment dans une discussion avec un non-programmeur personne sur les possibilités d'échecs des ordinateurs. Je ne suis pas bien versé dans la théorie, mais je pense que je connais assez.
J'ai fait valoir qu'il ne pouvait exister qu'une machine de Turing déterministe qui a toujours gagné ou stalemated au jeu d'échecs. Je pense que, même si vous rechercher l'ensemble de l'espace de toutes les combinaisons de joueur1/2 se déplace, le seul mouvement que l'ordinateur décide à chaque étape est basée sur une heuristique. Étant basée sur une heuristique, il n'est pas nécessairement battre TOUS les coups de l'adversaire pourrait faire.
Mon ami a pensé, au contraire, qu'un ordinateur serait toujours la victoire ou la cravate si elle n'a jamais fait une "erreur" déplacer (mais en est-il?). Cependant, d'être un programmeur qui a pris la CS, je sais que même votre bon choix donné par une sage adversaire peut vous forcer à faire de "l'erreur" se déplace à la fin. Même si vous savez tout, votre prochaine étape est gourmand en contrepartie d'une heuristique.
La plupart des échecs des ordinateurs essayer de correspondre à une possible fin du jeu pour le jeu en cours, qui est essentiellement une programmation dynamique de retraçage. Encore une fois, la fin de la partie en question est évitable.
Edit: Hmm... on dirait que je ébouriffé quelques plumes ici. Ce qui est bon.
Y penser encore, il semble qu'il n'y a pas de problème théorique à la résolution d'un jeu fini comme les échecs. Je dirais que le jeu d'échecs est un peu plus compliqué que des pions dans ce une victoire n'est pas nécessairement par ordre numérique de l'épuisement des morceaux, mais par une contrainte. Mon affirmation est probablement faux, mais là encore je pense que j'ai remarquer quelque chose qui n'est pas encore prouvé de manière satisfaisante (officiellement).
Je suppose que mon expérience a été que quand une branche dans l'arbre, l'algorithme (ou mémorisé chemins d'accès) doit trouver un chemin d'accès à un compagnon (sans faire saillie) pour toute branche sur l'adversaire se déplace. Après la discussion, je vais acheter celui donné plus de mémoire que nous ne pouvons le rêve de tous ces chemins peut être trouvé.