user icon

Théorème des 4 couleurs par george gonthier

892 mots 4 pages
Montre plus
Colloquium Morgenstern du jeudi 18 novembre 2010 par M. Georges Gonthier

Le génie mathématique, du théorème des quatre couleurs à la classification des groupes
Geoeges Gonthier est chercheur chez Microsoft Research Cambridge, il a auparavant travaillé sur la théorie de la concurrence, d'optimisation de calcul, le lambda-calcul, le garbage collecting, et théorème des quatre couleurs. Ses résultats, notamment sur les mathématiques abstraites, ont une notoriété publique. Il s'intéresse aux ordinateurs pour des opérations d'encodage dans un but mathématique depuis 10 ans et décrit aujourd'hui un théorème très célèbre : le besoin de quatre couleurs uniquement pour colorer une carte de pays.

I) Les quatre couleurs
Le problème des 4 couleurs commence en 1852, lorsque qu'un anglais, Francis Guthrie, alors étudiant en cartographie, essaye de colorier la carte d'Angleterre, et le fait avec seulement quatre couleurs. Il demande alors à son professeur Augustus De Morgan si il est possible de faire de même avec n'importe quelle autre carte, de colorier de couleurs différentes chaque région sans qu'il n'y ait deux régions adjacentes avec la même couleur. Le professeur ne sait pas répondre. Le problème sera publié officiellement en 1878 et trouvera une résolution un an plus tard, grâce à Léonard Euler. Malheureusement 11 ans plus tard, Heawood trouve une erreur dans les calculs d'Euler, et ce problème est de nouveau ouvert et le restera pendant plus d'un siècle. Toujours sur la base de tests de plus en plus nombreux, en 1976, Appel et Haken montrent que le théorème marche pour 10000 cartes avec 1500 configurations différentes. Pour passer à l'ordre du milliard, il leur faut de la puissance de calcul supplémentaire. Robertson, Saunters, Seymour et Thomas y arrivent en 1995 avec un programme codé en C. Cependant, même si la puissance de calcul augmente, et qu'on arrive à simuler l'ordre du milliard de configurations en 15 minutes, il faut prendre en compte le fait que sans

en relation

  • Aps derma negoce fiche n°1
    257 mots | 2 pages

    Le fractionnement consiste à figer l’en-tête du tableau. En effet, lorsqu’un tableau se rempli sur un nombre de ligne important, l’en-tête disparaît assez rapidement. Le fractionnement permet donc de figer l’en-tête pour renseigner de l’intitulé de la colonne. b) Déterminez les formules des cellules des colonnes F, H, I, J, K et L.  F = D*E F = Quantité entrée * Coût d’achat  H = (L+F) / (J+D)….

    montre plus
  • Entreprise thales
    827 mots | 4 pages

    PROJET SA THALES technologies : Entreprise de fabrication et vente de pièces techniques en matériaux élastomères au Capital de 19 632 000 € (19 632 actions X 100€). Adresse : Rue de la chaussée 76150 Maromme Téléphone : 02 35 89 34 76 Administration : PDG Michel THEROUARD….

    montre plus
  • Baccalaureat 2000
    689 mots | 3 pages

    En utilisant l’équation de la droite ∆, calculer : a. Quelle prime recevrait un cadre ayant une ancienneté de 14 ans ? b. Quelle ancienneté conduirait à l’obtention d’une prime de 1 550 francs ? 2. Peu satisfaits de l’étude précédente, les six cadres décident de poser q = 2p (où p représente la prime en milliers de francs) et d’arrondir au dixième.….

    montre plus
  • Laboratoire corde vibrante
    493 mots | 2 pages

    Pour s’assurer que toutes ces variables sont bien contrôlées, nous nous sommes assuré de bien calculer la masse des masses et la masse des cordes pour avoir la plus petite incertitude possible et des données les plus exacts possibles. La longueur des cordes ont, elle aussi bien été calculé, sous tension et avec un mètre de couturière. De plus, nous calculerons la fréquence de la corde à l’aide d’une sonde micro et du programme de DataLogger Pro. Nous avons aussi fait plusieurs essaie pour chaque corde et pris ceux où nous approuvions que la classe n’était pas trop bruyante. Les données sont facilement faussé par n’importe qu’elle autre bruit venant d’ailleurs que de la corde.….

    montre plus
  • l'entreprise sud'Tech
    504 mots | 3 pages

    À partir des données d’activité de l’entreprise pour le mois de février�: 1.! Calculez le coût de revient et le résultat, unitaires et globaux, des modèles selon la méthode des centres d’analyse. 2.! Calculez le coût de revient et le résultat, unitaires et globaux, des modèles selon la méthode des coûts par activité. Vous présentez dans un tableau le calcul du coût de chaque inducteur d’activité.….

    montre plus
  • Cours
    925 mots | 4 pages

    BREVET BLANC N°1. EPREUVE DE MATHEMATIQUES Durée : Deux heures. La calculatrice est autorisée. • Les trois parties sont indépendantes. Chacune d’elle sera notée sur 12 points.….

    montre plus
  • Tp biomécanique de base de fond aux barres parallèles
    612 mots | 3 pages

    4) Calculer l’angle jambes/tronc, pour cela effectuez les étapes suivantes :  calculer les composantes du vecteur HP , vecteur reliant le grand trochanter au pied  calculer les composantes du vecteur HE , vecteur reliant le grand trochanter à l’épaule  calculer la norme de HP et de HE  calculer l’angle α entre les vecteurs HP et HE à partir de la formule suivante : () 180 cos pi HEHP HEHPHEHP a yyxx    5) Représenter sur la figure 1 l’angle ainsi calculé et analyser la variation de cet angle au cours du mouvement. En quoi le mouvement de VictorC est-il différent de celui de Victor2 au regard de ce paramètre ? 6)….

    montre plus
  • Droit
    759 mots | 4 pages

    710001 DPECF SESSION 2007 INTRODUCTION AU DROIT DE L’ENTREPRISE Durée de l’épreuve : 3 heures – Coefficient : 1,5 Aucun document ni aucun matériel ne sont autorisés. En conséquence, tout usage d’une calculatrice est INTERDIT et constituerait une fraude. Le sujet se compose de 3 pages numérotées de 1/3 à 3/3 Le sujet comporte : - un cas pratique (15 points) - une question de cours (5 points)….

    montre plus
  • inception
    705 mots | 3 pages

    Pour le calculer, il faut faire : ((valeur de référence-valeur expérimentale)/ valeur de référence) x 100%. Cadre méthodologique Pour calculer la masse volumique, il y a deux méthodes, pour les solides et les liquides. Pour les solides, il faut mettre un volume d’eau dans un cylindre gradué.….

    montre plus
  • Epreuve brevet
    807 mots | 4 pages

    10−8 × 80 a. Calculer A et donner le résultat sous la forme d’une fraction irréductible. b. Vérifier que B est un nombre entier. Écrire les étapes du calcul.….

    montre plus
  • Derive
    2630 mots | 11 pages

    Finalement, on peut encore relever que, tout comme les expressions x2 et x3 qui désignent au départ respectivement l'aire d'un carré de côté x et le volume d'un cube d'arête x peuvent être calculées hors de ce contexte, rien ne s'oppose à calculer le sinus ou le cosinus d'un nombre quelconque. Ces….

    montre plus
  • L'altimètre
    491 mots | 2 pages

    Il y a deux aiguilles une petite qui représente les milliers de pieds et la grande qui représente les centaines de pieds. On peut voir une petite fenêtre dans laquelle on peut lire le calage de l’altimètre. Comment ça fonctionne ? Il existe trois calages altimétriques : - Le calage 1013,25 hPa permettant de passer en niveau de vol.….

    montre plus
  • Commentaire Hannah Arendt
    1402 mots | 6 pages

    Commentaire de texte : Texte d’Hannah Arendt page 26Cyrian Flasque T1 Ce texte est extrait de « la crise de la culture. Sa portée sociale et politique » recueilli dans La Crise de la culture qui comprend 6 essais. La première édition est paru en 1961.….

    montre plus
  • Maths
    1877 mots | 8 pages

    ´ ´ BACCALAUREAT GENERAL Session 2011 ´ MATHEMATIQUES S´rie ES e Enseignement de Sp´cialit´ e e Dur´e de l’´preuve : 3 heures e e Coefficient : 7 Ce sujet comporte 7 pages num´rot´es de 1 ` 7. e e a L’utilisation d’une calculatrice est autoris´e. e Le sujet est compos´ de 4 exercices ind´pendants. e e Le candidat doit traiter tous les exercices.….

    montre plus
  • Hiérarchie des normes - théorie de kelsen
    1580 mots | 7 pages

    Hiérarchie des normes La hiérarchie des normes est une vision synthétique du droit mise au point par Hans Kelsen. Il s'agit d'une vision hiérarchique des normes juridiques. Évidemment, cette hiérarchie n'a de sens que si son respect est contrôlé par un juge. Il existe deux types de contrôle : par voie d'exception ou par voie d'action. Le contrôle par voie d'exception se fait par les juges ordinaires.….

    montre plus