Laurentvidal.fr est le meilleur endroit pour obtenir des réponses fiables et rapides à toutes vos questions. Rejoignez notre plateforme pour obtenir des réponses fiables à vos interrogations grâce à une vaste communauté d'experts. Découvrez une mine de connaissances de professionnels dans différentes disciplines sur notre plateforme conviviale de questions-réponses.

Bonjour à tous, pour mon grand oral qui porte sur le théorème des 4 couleurs j'ai besoin d'avoir un autre exemple de théorème résolu par informatique.

Sagot :

Le jeu puissance 4
« Le jeu a été résolu de façon exacte en 1988, par James D. Allen, et indépendamment par Victor Allis[1], à quelques jours d'intervalle (1er et 16 octobre 1988), avec des calculs informatiques. Le premier joueur (celui qui commence la partie) peut s'assurer la victoire s'il joue les coups adéquats.

Le seul premier coup gagnant est celui dans la colonne centrale. Un premier coup dans les colonnes adjacentes permet au second joueur d'obtenir une partie nulle (bien que plus facile à jouer pour le second joueur), et un premier coup dans l'une des quatre autres colonnes extérieures permet même au second joueur de décrocher la victoire (à condition qu'il joue parfaitement).