ATLAS Ouvrir dans l'atlas →

ExerciceMaths expertes, chapitre 6 — Applications des matrices · Exercices d'approfondissement

Exercice 21 Compter les triangles

DémonstrationCalcul

On appelle trace d'une matrice carrée la somme de ses coefficients diagonaux. Dans un graphe non orienté sans boucle, on appelle triangle un ensemble de trois sommets deux à deux adjacents.

1. Soit GG un graphe non orienté sans boucle, de matrice d'adjacence MM. Montrer que le coefficient diagonal de M3M^{3} en position (i;i)(i;i) est le nombre de chaînes fermées de longueur 33 partant du sommet ii, et que chacune de ces chaînes parcourt un triangle.

2. En déduire que la trace de M3M^{3} est égale à six fois le nombre de triangles de GG.

3. Vérifier ce résultat sur le graphe de l'exercice 16.

4. On considère le graphe complet à 44 sommets. Donner sa matrice d'adjacence, calculer la trace de son cube et en déduire son nombre de triangles. Retrouver ce nombre directement.

Corrigé

1. D'après la Proposition 2, le coefficient (i ;i)(i\,;i) de M3M^{3} est le nombre de chaînes de longueur 33 partant de ii et revenant en ii, c'est-à-dire de la forme ii--jj--kk--ii. Le graphe n'ayant pas de boucle, deux sommets consécutifs de cette liste sont distincts : j≠ij\neq i, k≠jk\neq j et k≠ik\neq i. Les trois sommets ii, jj, kk sont donc distincts et deux à deux adjacents : ils forment un triangle.

2. Inversement, un triangle {i ;j ;k}\{i\,;j\,;k\} fournit exactement 66 chaînes fermées de longueur 33 : on peut partir de chacun des 33 sommets, et tourner dans l'un des 22 sens. Par exemple, pour un triangle {A ;B ;C}\{A\,;B\,;C\} : AA--BB--CC--AA, AA--CC--BB--AA, et de même depuis BB et depuis CC. En sommant les coefficients diagonaux, on compte donc chaque triangle six fois : trace(M3)=6×(nombre de triangles)\boxed{\mathrm{trace}\left(M^{3}\right)=6\times(\text{nombre de triangles})}

3. Avec M3M^{3} calculée à l'exercice 16 : trace(M3)=2+4+4+2+0=12\mathrm{trace}\left(M^{3}\right)=2+4+4+2+0=12, donc le graphe a 126=2\frac{12}{6}=2 triangles. Ce sont bien {A ;B ;C}\{A\,;B\,;C\} et {B ;C ;D}\{B\,;C\,;D\}, que l'on voit sur la figure.

4. La matrice d'adjacence du graphe complet à 44 sommets a des 11 partout sauf sur la diagonale. La calculatrice donne : K=(0111101111011110)K3=(6777767777677776)K=\begin{pmatrix} 0 & 1 & 1 & 1 \\ 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 1 \\ 1 & 1 & 1 & 0 \end{pmatrix} \qquad K^{3}=\begin{pmatrix} 6 & 7 & 7 & 7 \\ 7 & 6 & 7 & 7 \\ 7 & 7 & 6 & 7 \\ 7 & 7 & 7 & 6 \end{pmatrix} trace(K3)=24\mathrm{trace}\left(K^{3}\right)=24, d'où 4 triangles\boxed{4 \text{ triangles}}. Directement : dans un graphe complet, trois sommets quelconques forment un triangle, et il y a 44 façons de choisir 33 sommets parmi 44 (il suffit de choisir celui que l'on écarte).

Dans l'édifice

Thèmes

graphes, matrice d'adjacence, chaînes et chemins

Notions

trace

Ouvrir dans l'atlas interactif →