|
|
Un graphe est une figure formée de points, appelés sommets, et de lignes appelées arêtes, chaque arête reliant deux points particuliers. D'abord apparue comme curiosité mathématique (parcours sur les ponts de Königsberg), la théorie des graphes est devenu un outil de choix dans des domaines scientifiques ou industriels extrêmement variés : circuits électriques, liaisons entre atomes, organisation de production, réseaux de transport, théories physiques, aide à la décision ... et ... en Informatique : de nombreux problèmes pratiques actuels sont résolus par l'usage conjoint de l'ordinateur et de la théorie des graphes. Si, dans un sens, l'ordinateur bénéficie largement des apports de la théorie des graphes, il permet en retour d'étudier les graphes pour eux-mêmes : grâce à l'ordinateur, nous pouvons expérimenter sur les graphes, deviner des propriétés, les tester et parfois même les prouver ! Cette conférence offrira à tous une vue d'ensemble de cette fécondation réciproque entre théorie des graphes et ordinateur, en l'illustrant par des exemples fameux ou récents : coloriage de cartes en 4 couleurs, dessin de molécules (benzenoïdes, fullérènes, ...), explication de réactions chimiques, découverte de relations entre "invariants de graphes"... [résumé par les organisateurs] |
