Notation LCF
From Wikipedia, the free encyclopedia
En mathématiques, et plus particulièrement en théorie des graphes, la notation LCF ou le code LCF (pour Lederberg-Coxeter-Frucht) est une notation imaginée par Joshua Lederberg et étendue par Harold Coxeter et Robert Frucht qui sert à représenter les graphes cubiques qui sont hamiltoniens[1].
Principe
Comme le graphe est hamiltonien, les sommets peuvent être arrangés en cercle, chaque sommet ayant deux arêtes sur le cercle. La troisième arête peut être décrite par le nombre de positions sur le cercle qu'il faut parcourir pour atteindre l'autre extrémité de l'arête. Si l'on parcourt ces positions dans le sens des aiguilles d'une montre, on considère le nombre comme positif, et si on les parcourt dans le sens inverse des aiguilles d'une montre, on le considère comme négatif.
Comme cette suite de nombres se répète souvent, on abrège la notation en notant le nombre de répétitions du motif de base en exposant. Par exemple, le graphe de Nauru[2] (figure) a pour notation LCF [5, −9, 7, −7, 9, −5]4.
Le même graphe peut être représenté par plusieurs notations LCF différentes, selon la façon dont les sommets sont arrangés.
Les nombres entre crochets sont pris entre 2 et N−2, N étant le nombre de sommets. Les nombres 0, 1 et N−1 ne sont pas permis, puisque les arêtes correspondantes mèneraient soit au sommet lui-même, soit à ses voisins sur le cycle[3].
