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.
Le théorème marche pour tout découpage de pays/région, tant qu'on considère les pays partageant une frontière et non juste un point (on considère qu'un découpage en camembert, par exemple, ne pose pas de problème car les différentes régions ne sont en contact que sur un point), et qu'on ne prend pas en compte les "trous" dans des pays (comme des iles qui ne formeraient qu'un pays, par exemple).
En 1976, après avoir isolé un nombre fini (1478) de cas limites (c'est-à-dire des cas qui auraient pu contredire le théorème), Kenneth Appel et Wolfgang Haken les vérifient sur ordinateur, trouvant un coloriage pour chaque cas, et prouvant ainsi le théorème.
Tous les commentaires (29)
Le territoire d’une ambassade n’appartient pas du tout au pays représenté par l’ambassade mais bien au pays où est implantée l’ambassade.
Du moment que la couleur doit porter plus d'information que cette seule délimitation (appartenance à un pays, type de climat, nature du produit dans un conduit, etc.) cela peut nécessiter plus de 4 couleurs. Au pire, autant de couleur que de versions possibles de l'information.
Autant dire qu'en qualité de français, on a intérêt à se faire discret sur ce point parce que ce sont nos DOM-TOM qui participent grandement à ce problème sur les cartes du Monde.
NB: en cas de morcellement, la règle reste valable si tous les fragments peuvent entre regroupé au sein d'une bulle constituant un territoire unique. Par exemple, en Méditerranée, on peut englober les îles Baléares dans le territoire espagnol, la corse dans le français, la Sardaigne et la Sicile dans l'italien