Théorie des graphes extrémaux

Théorie des graphes extrémaux

En théorie des graphes, un graphe extrémal (anglais : extremal graph) par rapport à une propriété P est un graphe tel que l'ajout de n'importe quelle arête amène le graphe à vérifier la propriété P. L'étude des graphes extrémaux se décompose en deux sujets : la recherche de bornes inférieures sur le nombre d'arêtes nécessaires à assurer la propriété (voire sur d'autres paramètres comme le degré minimum) et la caractérisation des graphes extrémaux proprement dits.

L'étude des graphes extrémaux est une branche de l'étude combinatoire des graphes.

Définition rigoureuse

Soit P une propriété sur les graphes qui se conserve par ajout d'arêtes et G = (V,E) un graphe quelconque. G est dit extrémal par rapport à la propriété P si :

  • G ne vérifie pas P ;
  • \forall (x,y) non adjacents dans G, le graphe G'=(V,E\cup (x,y)) vérifie P.

D'autre part, une fonction f est une borne inférieure par rapport à la propriété P si \forall G=(V,E), |E| > f(|V|) permet d'assurer que G vérifie P.

À noter que les graphes extrémaux ne vérifient pas nécessairement la meilleure borne inférieure.

Exemples

Pour la propriété P = "ne pas admettre de triangles comme sous-graphe", une borne inférieure est  |E| = \frac{|V|^2}{4}. Les graphes extrémaux sont exactement les graphes bipartis Kk,k et Kk,k + 1.

Plus généralement, pour Pl = "ne pas admettre de clique de taille l comme sous-graphe", les graphes extrémaux sont les graphes complets (l-1)-partis Kk,..,k,k + 1,..,k + 1. Ce résultat est une conséquence du théorème de Turán (en), qui fournit également une borne inférieure (trop longue pour être incluse ici).

Références

  • (en) J. H. van Lint et R. M. Wilson, A Course in Combinatorics, Cambridge University Press, 2001, 2e éd. (ISBN 0-521-80340-3), particulièrement le chapitre 4 : « Turan's theorem and extremal graphs »
  • (en) Reinhard Diestel (de), Graph Theory, Springer-Verlag, Heidelberg, New York, 1997, 2000, 2005. Version électronique de la 3e édition disponible en ligne gratuitement : [1]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorie des graphes extrémaux de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Theorie des graphes — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …   Wikipédia en Français

  • Théorie des graphes — Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une théorie informatique et mathématique. Les algorithmes élaborés pour résoudre des problèmes concernant les objets de cette… …   Wikipédia en Français

  • Graphe (théorie des graphes) — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …   Wikipédia en Français

  • Graphe (mathématiques) — Théorie des graphes  Pour la notion mathématique utilisée en Théorie des ensembles, voir Graphe d une fonction. La théorie des graphes est une branche commune à l informatique et aux mathématiques étudiant les graphes et les objets qui lui… …   Wikipédia en Français

  • Graphe de Ramanujan — Article connexe : théorie des graphes extrémaux. Un graphe de Ramanujan, nommé d après Srinivasa Ramanujan, est un graphe régulier dont le gap spectral est presque aussi large que possible. De tels graphes sont d excellents graphes… …   Wikipédia en Français

  • Fan Chung — en 1987. Fan Rong K Chung Graham (金芳蓉, pinyin: Jīn Fāngróng) (née le 9 octobre 1949 à Kaohsiung), connue dans sa carrière professionnelle sous le nom de Fan (R. K.) Chung, est une mathématicienne américaine travaillant dans les domaines …   Wikipédia en Français

  • CONVEXITÉ - Ensembles convexes — Un sous ensemble C d’un espace vectoriel réel E est dit convexe si, pour tout couple de points quelconques de C, le segment qui a pour extrémités ces deux points est entièrement contenu dans C. Par exemple, un cube est convexe, mais sa surface ne …   Encyclopédie Universelle

  • Complexe simplicial — Pour les articles homonymes, voir Complexe. Représentation d un complexe simplicial. En mathématiques, un complexe simplicial est un objet géométri …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”