Recientemente estuve en una discusión con una persona no codificadora sobre las posibilidades de las computadoras de ajedrez. No estoy muy versado en teoría, pero creo que sé lo suficiente.
Argumenté que no podría existir una máquina de Turing determinista que siempre ganara o se quedara estancada en el ajedrez. Creo que, incluso si busca en todo el espacio de todas las combinaciones de movimientos del jugador 1/2, el movimiento único que decide la computadora en cada paso se basa en una heurística. Al estar basado en una heurística, no necesariamente supera TODOS los movimientos que el oponente podría hacer.
Mi amigo pensó, por el contrario, que una computadora siempre ganaría o empataría si nunca cometía un movimiento "erróneo" (¿cómo lo define usted?). Sin embargo, siendo un programador que ha tomado CS, sé que incluso sus buenas decisiones, dado un oponente sabio, pueden obligarlo a cometer movimientos "erróneos" al final. Incluso si lo sabe todo, su próximo movimiento es codicioso al hacer coincidir una heurística.
La mayoría de las computadoras de ajedrez intentan hacer coincidir un posible final de juego con el juego en curso, que es esencialmente un seguimiento de programación dinámica. Una vez más, el final en cuestión es evitable.
Editar: Hmm ... parece que me revolví algunas plumas aquí. Eso es bueno.
Pensando en ello de nuevo, parece que no hay ningún problema teórico en resolver un juego finito como el ajedrez. Yo diría que el ajedrez es un poco más complicado que las damas en el sentido de que una victoria no es necesariamente por agotamiento numérico de piezas, sino por un mate. Mi afirmación original probablemente sea incorrecta, pero nuevamente creo que he señalado algo que aún no se ha probado satisfactoriamente (formalmente).
Supongo que mi experimento mental fue que cada vez que se toma una rama en el árbol, entonces el algoritmo (o caminos memorizados) debe encontrar un camino hacia un compañero (sin ser emparejado) para cualquier posible rama en los movimientos del oponente. Después de la discusión, compraré que si tenemos más memoria de la que podemos soñar, todos estos caminos podrían encontrarse.