Graphe fortement régulier

En théorie des graphes, qui est un domaine des mathématiques, un graphe fortement régulier est un type de graphe régulier.

Le graphe de Paley d'ordre 13, un graphe fortement régulier de type (13,6,2,3).

Définition

Soit G = (V,E) un graphe régulier ayant v sommets et degré k. On dit que G est fortement régulier[1] s'il existe deux entiers λ et μ tels que

  • Toute paire de sommets adjacents a exactement λ voisins communs.
  • Toute paire de sommets non-adjacents a exactement μ voisins communs.

Un graphe avec ces propriétés est appelé un graphe fortement régulier de type (v,k,λ,μ).

Lorsque μ n'est pas nul, un tel graphe est en particulier un graphe distance-régulier.

Propriétés

Familles de graphes définies par leurs automorphismes
distance-transitif distance-régulier fortement régulier
symétrique (arc-transitif) t-transitif, (t  2) symétrique gauche (en)
(si connexe)
sommet-transitif et arête-transitif
régulier et arête-transitif arête-transitif
sommet-transitif régulier (si biparti)
birégulier
graphe de Cayley zéro-symétrique asymétrique
  • Les quatre paramètres (v,k,λ,μ) vérifient toujours la relation suivante :
  • Un graphe fortement régulier de type (v,k,λ,μ) a exactement trois valeurs propres distinctes :
    • avec multiplicité 1
    • avec multiplicité
    • avec multiplicité
  • Les graphes fortement réguliers dont les paramètres vérifient sont nommés graphes de conférence à cause de leur relation avec les matrices de conférence. Leur type est .
  • Le graphe complémentaire d'un graphe fortement régulier de type (v,k,λ,μ) est aussi fortement régulier, de type (v, v−k−1, v−2−2k+μ, v−2k+λ).

Exemples

Notes et références

  • Portail de l'informatique théorique
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.