Densité d'un graphe

La densité d'un graphe est définie par le rapport entre le nombre d'arêtes (ou d'arcs) divisé par le nombre d'arêtes (ou d'arcs) possibles.

Dans le cas d'un graphe non orienté simple ${\displaystyle G=(V,E)}$, la densité est le rapport :

${\displaystyle D={\frac {2\ |E|}{|V|\cdot (|V|-1)}}}$

Le numérateur compte le nombre d'arêtes existantes et le multiplie par deux, étant donné que chaque arête est liée à une paire de sommets. Le dénominateur dénombre le total d'arêtes nécessaires pour que chaque sommet soit relié à tous les autres (complétude). On calcule ${\displaystyle n(n-1)}$ et non ${\displaystyle n^{2}}$, car, dans un graphe simple, les arêtes relient deux sommets différents.

La densité 0 correspond au graphe où tous les sommets sont isolés, et la densité 1 au graphe complet[1].

Une mesure de la densité d'un graphe est l'arboricité qui compte le nombre minimal de forets nécessaires pour couvrir le graphe. On peut aussi utiliser la dégénérescence.

Les structures de données utilisées pour représenter des graphes peuvent être adaptées à la densité du graphe. En particulier, les graphes denses sont plutôt représentés par des matrices d'adjacence, alors que les graphes creux sont mieux représentés par des listes d'adjacence.

Certains algorithme sont construits pour être efficaces sur les graphes d'une certaine densité, et sont plutôt mauvais si on les utilise sur des graphes quelconques. On parle typiquement d'algorithmes pour les graphes denses ou pour les graphe creux.

Il existe plusieurs problèmes algorithmiques appelés « problème du graphe le plus dense » (densest subgraph). L'un d'eux est le problème du k-sous-graphe le plus dense, dans lequel, pour un graphe donné, on cherche le sous-graphe sur k sommets étant le plus dense. C'est un problème NP-complet, même restreint aux graphes bipartis et aux graphes cordaux[2].