Dureté d'un graphe

En théorie des graphes, la dureté (« toughness » en anglais) est une mesure de la connexité d'un graphe.

Dans ce graphe, la suppression des quatre sommets rouges produit quatre composantes connexes (représentées dans quatre couleurs différentes). De plus, il n'y a pas d'ensemble de k sommets dont la suppression produit plus de k composantes. Par conséquent, la dureté est exactement égale à 1.

Principe

Un graphe G est dit t-dur pour un nombre réel donné t si, pour tout entier k > 1, G ne peut être divisé en k composantes connexes par la suppression de moins de tk sommets. Par exemple, un graphe est 1-dur si le nombre de composantes connexes obtenues en supprimant un ensemble de sommets est toujours au moins aussi grand que le nombre de sommets supprimés. La dureté d'un graphe est le plus grand nombre t maximum pour lequel il est t-solide; c'est un nombre fini pour tous les graphes finis à l'exception des graphes complets, qui par convention ont une ténacité infinie.

La notion de dureté du graphe a été introduite pour la première fois par Václav Chvátal en 1973[1]. Depuis lors, de nombreux travaux sur la dureté ont été publiés; un article de synthèse de Bauer, Broersma & Schmeichel de 2006[2] répertorie 99 théorèmes et 162 articles sur le sujet.

Exemples

La suppression de k sommets d'un graphe chemin peut diviser le graphe restant en au plus k + 1 composantes connexes. Le maximum du rapport entre le nombre de composantes et le nombre de sommets supprimés est obtenu en supprimant un sommet à l'intérieur du chemin ce qui le divise en deux composantes. Par conséquent, les chemins sont 1/2 -durs. En revanche, la suppression de k sommets d'un graphe cycle laisse au plus k composantes connexes, et laisse parfois exactement k composantes connexes, de sorte qu'un cycle est 1-dur.

Lien avec la connectivité des sommets

Si un graphe est t-dur, alors on obtient, en fixant k = 2 est que tout ensemble de 2t − 1 sommets peut être supprimé sans diviser le graphe en deux. Autrement dit, un graphe t-dur est également 2t-sommet-connexe .

Lien avec la hamiltonicité

Chvátal 1973 a observé que tout graphe cycle, et donc toute chaîne hamiltonienne, est 1-dur ; par conséquent, être 1-dur est une condition nécessaire pour qu'un graphe soit hamiltonien. Il a conjecturé qu'il existe un seuil t tel que tout graphe t-dur est hamiltonien. La conjecture originale de Chvátal avec t = 2 aurait donné une démonstration du théorème de Fleischner mais a été réfutée par Bauer, Broersma & Veldman en 2000[3]. L'existence d'un seuil de dureté plus grand pour les graphes hamiltonien est un problème ouvert.

Complexité de calcul

Tester si un graphe est 1-dur est co-NP-complet. En d'autres termes, le problème de décision dont la réponse est "oui" pour un graphe qui n'est pas 1-solide, et "non" pour un graphe qui est 1-dur, est NP-complet. Il en est de même pour tout nombre rationnel positif fixe q : tester si un graphe est q-dur est co-NP-complet[4].

Notes et références

Bibliographie

Notions connexes

  • Portail des mathématiques
  • Portail de l'informatique théorique
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.