Invariant de graphe

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

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

Propriétés modifier

Invariants entiers modifier

Invariants réels modifier

Polynômes modifier

Références modifier

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