Le théorème des 4 couleurs a été prouvé par informatique

Le théorème des 4 couleurs veut que tout découpage d'une carte permet de colorier les différentes régions avec seulement 4 couleurs, en évitant que deux couleurs ne se touchent. Il est célèbre car il est le premier théorème à avoir nécessité un ordinateur pour être prouvé, en 1976. Bien que conjecturé depuis 1852, aucune démonstration analytique n'a été trouvée à ce jour.

Sources

Il n'y a pas encore de sources.

Anecdotes en relation

Cette anecdote n'a pas de relations.

Commentaires préférés

Epoxy

Epoxy

Il me semble que l'anecdote est mal formulée dans sa première phrase. Ce que l'auteur a voulu expliquer, c'est qu'il ne sera jamais indispensable de faire usage d'une seule et même couleur, pour représenter deux entités territoriales limitrophes, même dans une situation de quintipoint (cinq territoires se réunissant en un point où lieu précis). A l'échelle des Pays/Nations du Monde, il n'existe pas de situation réelle de quadripoint. Ce qui se rapproche le plus, est la convergence des territoires de la Namibie, la Zambie, le Botswana et du Zimbabwe. Dans le cas de quintipoint, il existe plusieurs cas communaux en France, ainsi que deux sextipoints. Il y a même un sextipoints comunal en Finlande et un octipoint aux Philippines.
Flanguiche

Flanguiche

Quand ça parle de "découpage d'une carte", ça mentionne une carte du monde ou bien des formes aléatoires (comme l'image d'illustration de la source Wikipedia) ? J'avoue ne pas du tout comprendre l'anecdote... De mon point de vue il suffit qu'une zone soit en contact avec 4 autres pour que tout ce théorème tombe à l'eau. Je suis, bien entendu, certain de passer à côté de quelque chose dans cette anecdote pour bien la comprendre. Si quelqu'un pouvait m'aiguiller ce serait sympa.
lovouille

lovouille

JLSD ! Grâce à la vidéo de ScienceEtonnante sur YouTube. Je vous conseille d’aller la voir elle explique très bien ce théorème !

Tous les commentaires

cptncook

cptncook

Je le savait déjà ! Je l’ai appris grâce à la chaîne El Jj sur YouTube. C’est une chaîne qui explique des problème mathématique et un tas d’autre trucs, et c’est toujours très bien imagé, et montée, je recommande !
RebelOConner

RebelOConner

un petit jeu pour s'entrainer https://www.kongregate.com/games/toweld/four-color-theorem-coloring-puzzle-game
gamb

gamb

Cette source est très bien expliquée https://www.youtube.com/watch?v=g_nTfZ9OgJs petite vidéo youtube d'une chaine intéressante.
beherenow59

beherenow59

Est-ce que le théorème des 4 couleurs a été inventé par Bic...??
Khanos

Khanos

Pleins de gens ont parfaitement expliqué et clarifié le théorème, merci ! Il est effectivement un peu contre-intuitif, mais il marche bien. Je le trouve doublement intéressant parce qu'il n'y a pas de "preuve formelle" (une démonstration mathématique avec pleins d'implication pour arriver au résultat), il a fallu utiliser une "méthode brute" de vérification par ordinateur, depuis améliorer. J'avais indiquer la vidéo de Science étonnante comme source qui a disparu, comme ceux qui l'ont fait je vous recommande chaudement de la voir !
Dowoogate-Jnr

Dowoogate-Jnr

Rien compris!
ny060

ny060

Pas trop compris, cela marche avec des cartes imaginaires ? N'importe quel découpage géographique ça veut dire que si je trace des droites sur la carte de France (do'c que je redecoupe le territoire comme je le souhaite) est ce que ça marche ?
TybsXckZ

TybsXckZ

Je suis content de voir cette anecdote ;) je l’avais soumise ici sans succès après avoir vu la vidéo de science étonnante il y a quelques temps déjà. Allez voir la vidéo pour comprendre le théorème qui n’est pas si simple que ça.
Epoxy

Epoxy

Il me semble que l'anecdote est mal formulée dans sa première phrase. Ce que l'auteur a voulu expliquer, c'est qu'il ne sera jamais indispensable de faire usage d'une seule et même couleur, pour représenter deux entités territoriales limitrophes, même dans une situation de quintipoint (cinq territoires se réunissant en un point où lieu précis). A l'échelle des Pays/Nations du Monde, il n'existe pas de situation réelle de quadripoint. Ce qui se rapproche le plus, est la convergence des territoires de la Namibie, la Zambie, le Botswana et du Zimbabwe. Dans le cas de quintipoint, il existe plusieurs cas communaux en France, ainsi que deux sextipoints. Il y a même un sextipoints comunal en Finlande et un octipoint aux Philippines.
lovouille

lovouille

JLSD ! Grâce à la vidéo de ScienceEtonnante sur YouTube. Je vous conseille d’aller la voir elle explique très bien ce théorème !
aurel69

aurel69

en effet, anecdote mal formulée. le théorème stipule qu une même couleur ne peut se toucher.
Flanguiche

Flanguiche

Quand ça parle de "découpage d'une carte", ça mentionne une carte du monde ou bien des formes aléatoires (comme l'image d'illustration de la source Wikipedia) ? J'avoue ne pas du tout comprendre l'anecdote... De mon point de vue il suffit qu'une zone soit en contact avec 4 autres pour que tout ce théorème tombe à l'eau. Je suis, bien entendu, certain de passer à côté de quelque chose dans cette anecdote pour bien la comprendre. Si quelqu'un pouvait m'aiguiller ce serait sympa.