Trouvez des réponses à vos questions avec l'aide de la communauté Zoofast.fr. Posez vos questions et recevez des réponses précises et bien informées de la part de notre réseau de professionnels.

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).