Invariant de graphe

Un article de Wikipédia, l'encyclopédie libre.

En théorie des graphes, un invariant de graphe est une quantité qui n'est pas modifiée par isomorphisme de graphes. Un invariant de graphe ne dépend donc que de la structure abstraite et pas des particularités de la représentation comme l'étiquetage ou le tracé.

Propriétés des propriétés[modifier | modifier le code]

De nombreux invariants sont conservés par certains préordres ou ordres partiels naturels sur les graphes[1] :

  • Une propriété est monotone si elle est héritée par les sous-graphes. Le caractère biparti, sans triangle, ou planaire sont des exemples de propriétés monotones.
  • Une propriété est héréditaire si elle est héritée par les sous-graphes induits. Toute propriété monotone est donc héréditaire. Le caractère parfait est un exemple de propriété héréditaire non monotone.
  • Une propriété est close par mineur si elle est héritée par les mineurs. Le caractère planaire est un exemple de propriété close par mineur.

Exemples[modifier | modifier le code]

Propriétés[modifier | modifier le code]

Invariants entiers[modifier | modifier le code]

Invariants réels[modifier | modifier le code]

Polynômes[modifier | modifier le code]

Références[modifier | modifier le code]

  1. (en) László Lovász, Large Networks and Graph Limits, American Mathematical Society, , 475 p. (ISBN 9780821890851, lire en ligne)