Je ne passe pas de ta première phrase à la deuxième, car la première phrase n'implique pas la deuxième. Si tel premier déplacement conduit à un nul en jouant parfaitement, alors on peut seulement en déduire que la valeur théorique du jeu d'échecs est "victoire des blancs ou nul".
Pour montrer que le jeu est résolu à "nul", il faut deux choses :
* démontrer qu'un certain premier déplacement, unique, est "gagnant ou nul" pour les blancs (ce dont est chargé un premier calcul).
* démontrer que tous les 20 premiers déplacements sont "gagnant ou nul" pour les noirs (ce dont est chargé un deuxième calcul, indépendant du premier).
Dit autrement, la valeur théorique de la position de départ est 1 (victoire du premier joueur s'il joue parfaitement), ou 0 (nul), ou -1 (victoire du second joueur). Tu fais tourner ton ordinateur pendant x jours pour démontrer que la valeur théorique est >=0, puis tu recommences un calcul totalement différent pour démontrer qu'elle est <=0. Si tu arrives à faire ça, alors tu sais que la valeur est 0 (nul).
[^] # Re: Fascinant
Posté par Lapinot (site web personnel) . En réponse à la dépêche Stockfish 12 est sorti. Évalué à 2.
Je ne passe pas de ta première phrase à la deuxième, car la première phrase n'implique pas la deuxième. Si tel premier déplacement conduit à un nul en jouant parfaitement, alors on peut seulement en déduire que la valeur théorique du jeu d'échecs est "victoire des blancs ou nul".
Pour montrer que le jeu est résolu à "nul", il faut deux choses :
* démontrer qu'un certain premier déplacement, unique, est "gagnant ou nul" pour les blancs (ce dont est chargé un premier calcul).
* démontrer que tous les 20 premiers déplacements sont "gagnant ou nul" pour les noirs (ce dont est chargé un deuxième calcul, indépendant du premier).
Dit autrement, la valeur théorique de la position de départ est 1 (victoire du premier joueur s'il joue parfaitement), ou 0 (nul), ou -1 (victoire du second joueur). Tu fais tourner ton ordinateur pendant x jours pour démontrer que la valeur théorique est >=0, puis tu recommences un calcul totalement différent pour démontrer qu'elle est <=0. Si tu arrives à faire ça, alors tu sais que la valeur est 0 (nul).