Graphe sans triangle

De testwiki
Aller à la navigation Aller à la recherche

En théorie des graphes, un graphe sans triangle est un graphe qui ne possède pas de triplet d'arêtes formant un triangle.

Propriété mathématiques

Théorie de Ramsey

Le théorème de Mantel, cas particulier du théorème de Turán, est :

Modèle:Énoncé

Propriétés en tant que famille

La famille des graphes sans triangle, contient notamment les graphes acycliques et est contenue dans les graphes sans diamant.

Reconnaissance

Les graphes sans triangle peuvent être reconnus en temps O(m1,41), où m est le nombre d'arêtes[1].

De façon plus générale, on peut reconnaître les graphes n'ayant pas de cycles d'une certaine longueur (fixé dans l'algorithme), en temps O(nm) (avec n le nombre de sommets)[2] ou en temps O(nωlog(n))[3].

4-coloration du graphe de Grötzsch.

Le problème est aussi étudié dans le domaine du test de propriété[4].

Coloration

Le théorème de Grötzsch établit que tout graphe planaire sans triangle possède une 3-coloration, selon les définitions de la coloration de graphe.

Le plus petit graphe sans triangle de nombre chromatique supérieur ou égal à 4 est le graphe de Grötzsch (illustration).

Notes et références

Modèle:Références

Bibliographie

Liens externes

Modèle:Portail

  1. Plus précisément en O(m2ω/(ω+1)), où ω est l'exposant pour la multiplication matricielle, voir Modèle:Harv et Modèle:Harv
  2. Modèle:Article
  3. Modèle:Article
  4. Modèle:Article