Graphe de Horton
| Graphe de Horton | |
 Représentation du graphe de Horton. | |
| Nombre de sommets | 96 |
|---|---|
| Nombre d'arêtes | 144 |
| Distribution des degrés | 3-régulier |
| Rayon | 10 |
| Diamètre | 10 |
| Maille | 6 |
| Automorphismes | 96 |
| Nombre chromatique | 2 |
| Indice chromatique | 3 |
| Propriétés | Cubique Biparti |
modifier  |
|
Le graphe de Horton (ou 96-graphe de Horton) est, en théorie des graphes, un graphe 3-régulier possédant 96 sommets et 144 arêtes. Il est construit comme contre-exemple à une conjecture de Tutte.
Histoire[modifier | modifier le code]
En 1971, le mathématicien et cryptanalyste William Tutte conjecture qu'il n'existe pas de graphe 3-sommet-connexe qui soit cubique, biparti et non-hamiltonien[1]. Mais J. D. Horton trouve un contre-exemple à 96 sommets, le graphe de Horton, publié par Bondy & Murty en 1976[2].
Après cela, d'autres contre-exemples sont découverts. En 1982, c'est un graphe à 92 sommets, encore construit par Horton (le 92-graphe de Horton)[3], puis, en 1983, Owens trouve un contre-exemple d'ordre 78[4].
Avec Ellingham, Horton publie deux contre-exemples à la conjecture de Tutte : un graphe d'ordre 78 en 1981 (le 78-graphe de Ellingham-Horton)[5] et un graphe d'ordre 54 en 1983 (le 54-graphe de Ellingham-Horton)[6]. À l'heure actuelle, ce graphe à 54 sommets est le plus petit graphe non-hamiltonien biparti cubique 3-sommet-connexe connu.
Propriétés[modifier | modifier le code]
Propriétés générales[modifier | modifier le code]
Le diamètre du graphe de Horton, l'excentricité maximale de ses sommets, est 10, son rayon, l'excentricité minimale de ses sommets, est 10 et sa maille, la longueur de son plus court cycle, est 6.
Il s'agit d'un graphe 3-sommet-connexe et d'un graphe 3-arête-connexe, c'est-à-dire qu'il est connexe et que pour le rendre déconnecté il faut le priver au minimum de 3 sommets ou de 3 arêtes. Comme il est régulier de degrés 3 ce nombre est optimal. Le graphe de Horton est donc un graphe optimalement connecté.
En tant que graphe cubique avec beaucoup de cycles long mais n'étant pas hamiltonien, le graphe de Horton fait un bon benchmark pour tester les algorithmes de recherche des cycles hamiltoniens[7].
Coloration[modifier | modifier le code]
Le nombre chromatique du graphe de Horton est 2. C'est-à-dire qu'il est possible de le colorer avec 2 couleurs de telle façon que deux sommets reliés par une arête soient toujours de couleurs différentes. Ce nombre est minimal.
L'indice chromatique du graphe de Horton est 3. Il existe donc une 3-coloration des arêtes du graphe telle que deux arêtes incidentes à un même sommet soient toujours de couleurs différentes. Ce nombre est minimal.
Propriétés algébriques[modifier | modifier le code]
Le groupe d'automorphismes du graphe de Horton est un groupe d'ordre 96. Il est isomorphe à Z/2Z×Z/2Z×S4, le produit direct du groupe cyclique Z/2Z avec lui-même et le groupe symétrique S4.
Le polynôme caractéristique de la matrice d'adjacence du graphe de Horton est : .
Voir aussi[modifier | modifier le code]
Liens internes[modifier | modifier le code]
Liens externes[modifier | modifier le code]
- (en) Eric W. Weisstein, Horton Graph (MathWorld)
Références[modifier | modifier le code]
- (en) William Tutte, « On the 2-Factors of Bicubic Graphs », Discrete Mathematics, Elsevier, vol. 1, no 2, , p. 203-208 (DOI 10.1016/0012-365X(71)90027-6).
- (en) J. A. Bondy et U. S. R. Murty, Graph Theory with Applications, New York, North Holland, (ISBN 978-0-444-19451-0, lire en ligne), p. 240
- (en) J. D. Horton, « On two-factors of bipartite regular graphs », Discrete Mathematics, vol. 41, no 1, , p. 35–41 (DOI 10.1016/0012-365X(82)90079-6).
- (en) P. J. Owens, « Bipartite cubic graphs and a shortness exponent », Discrete Mathematics, vol. 44, no 3, , p. 327–330 (DOI 10.1016/0012-365X(83)90201-7).
- (en) M. N. Ellingham, Non-Hamiltonian 3-connected cubic partite graphs, Dept. of Math., Univ. Melbourne, .
- (en) M. N. Ellingham et J. D. Horton, « Non-Hamiltonian 3-connected cubic bipartite graphs », Journal of Combinatorial Theory, Series B, vol. 34, no 3, , p. 350–353 (DOI 10.1016/0095-8956(83)90046-1).
- (en) V. Ejov, N. Pugacheva, S. Rossomakhine, P. Zograf "An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs" arXiv:math/0610779v1.
