Graphe distance-unité

Le graphe de Petersen est un graphe distance-unité : il peut être tracé sur le plan avec des arêtes toutes de longueur 1.

En mathématiques, plus particulièrement en théorie des graphes, un graphe distance-unité est un graphe pouvant être représenté par un ensemble de points du plan euclidien en reliant par une arête uniquement des paires de points distants d'une unité ; s'il existe une représentation où toutes les paires de points à distance 1 sont reliées, on parle de graphe distance-unité strict[1].

Les arêtes peuvent se croiser, si bien qu'un graphe distance-unité n'est pas nécessairement un graphe planaire. Si une représentation est sans croisement entre les arêtes, toutes de longueur 1, alors le graphe est qualifié de graphe-allumettes.

Exemples

Dénombrements

Classement par nombre de sommets

Le nombre de graphes distance-unités connexes à sommets à isomorphisme près est donné par la suite A059103 de l'OEIS[2].

1 2 3 4 5 6
1 1 2 5 13 51

Nombre maximal d'arêtes

Le graphe roue W7 est un graphe distance-unité à 7 sommets ayant un maximum d'arêtes (12).

Paul Erdős posa le problème suivant en 1946 : quel est le nombre maximal d'occurrences d'une distance donnée (pouvant être prise égale à 1) déterminée par points dans le plan ?[3] En d'autres termes quel est le nombre maximal d'arêtes d'un graphe distance-unité à sommets ?

Les valeurs de sont connues jusqu'à (suite A186705 de l'OEIS) :

1 2 3 4 5 6 7 8 9 10 11 12 13 14
0 1 3 5 7 9 12 14 18 20 23 27 30 33

Jusqu'à , les graphes correspondants peuvent être tracés dans le réseau hexagonal, mais ce n'est plus le cas ensuite[4].

Le graphe hypercube fournit un minorant de proportionnel à .

En considérant des points dans une grille carrée avec un espacement soigneusement choisi, Erdős a trouvé un meilleur minorant égal à : pour une constante [3], et a offert 500 $ pour une preuve montrant que le nombre peut également être majoré par une fonction de cette forme[5].

Ce problème est très lié au théorème de Szemerédi-Trotter.

Application au nombre chromatique du plan

Le problème de Hadwiger-Nelson, introduit en 1944 par Hugo Hadwiger et Edward Nelson, concerne le nombre minimal de couleurs qu'il faut pour colorier le plan de façon que deux points à une distance de 1 ne soient jamais de la même couleur[6]. Il peut être formalisé en théorie des graphes de la façon suivante : quel est le nombre chromatique maximal d'un graphe distance-unité ? Le problème est toujours ouvert mais le graphe de Golomb, avec son nombre chromatique égal à 4, fournit une borne inférieure[7]. Un autre exemple connu, plus petit mais avec le même nombre chromatique, est le graphe de Moser[8]. Cependant, en , des graphes de nombre chromatique 5 (comportant plusieurs milliers de sommets, le plus petit a 1581 sommets) ont été découverts par Aubrey de Grey et contrôlés par ordinateur[9],[10].

Généralisation

La notion de dimension d'un graphe reprend l'idée d'un graphe tracé avec des arêtes de longueur 1, mais ne se restreint pas au plan.

Références

  1. ↑ (en) Severino Gervacio, Yvette Lim, Hiroshi Maehara, « Planar unit-distance graphs having planar unit-distance complement », Discrete Mathematics, vol. 308, no 10,‎ , p. 1973–1984 (lire en ligne)
  2. ↑ (en) « Matchstick Graph », sur Mathworld
  3. 1 2 (en) Paul Erdős, « On sets of distances of n points », Amer. Math. Monthly, vol. 53,‎ , p. 248-250 (lire en ligne)
  4. ↑ Jean-Paul Delahaye, « Les graphes-allumettes », Pour la Science, no 445,‎ , p. 112 (lire en ligne Accès payant)
  5. ↑ (en) Paul Erdős, Some of my favourite unsolved problems", in Baker, A.; Bollobás, B.; Hajnal, A. (eds.), A tribute to Paul Erdős,, Cambridge University Press, (ISBN 0-521-38101-0), p. 475
  6. ↑ (en) Joseph O'Rourke, « Problem 57: Chromatic Number of the Plane », sur The Open Problems Project.
  7. ↑ (en) A. Soifer, The Mathematical Coloring Book: Mathematics of Coloring and the Colorful Life of Its Creators, New York, Springer, 2008, p. 19-20.
  8. ↑ (en) L. Moser et W. Moser, « Problem 10 », dans Canad. Math. Bull., no 4, 1961, p. 187-189.
  9. ↑ (en) Aubrey de Grey, The chromatic number of the plane is at least 5.
  10. ↑ David Madore, Le progrès récent sur le problème de Hadwiger-Nelson.

Voir aussi

  • icône décorative Portail des mathématiques
  • icône décorative Portail de l'informatique théorique