# Densidad (teoría de grafos)

En teoría de grafos, la densidad de un grafo es una propiedad que determina la proporción de aristas que posee. Un grafo denso es un grafo en el que el número de aristas es cercano al número máximo de aristas posibles, es decir, a las que tendría si el grafo fuera completo. Al contrario, un grafo disperso es un grafo con un número de aristas muy bajo, es decir, cercano al que tendría si fuera un grafo vacío.
La distinción entre grafos dispersos y densos es relativamente vaga. De acuerdo con Preiss, dado un grafo $G=(V,E)$, este es denso si $|E|=O(|V|^{k})$, para $k\geq 2$, y es disperso si la misma igualdad se cumple para $1<k<2$, donde $O$ refiere a la cota superior asintótica.

## Definición formal

Sea $G=(V,E)$ un grafo simple (sin bucles) con $n=|V|$ vértices y $m=|E|$ aristas.
Si el grafo es no dirigido, su densidad $\Delta$ se define formalmente como:
    $\Delta ={\frac {m}{n(n-1)/2}}={\frac {2m}{n(n-1)}}$
La densidad varía entre $0$, para grafos vacíos con $m=0$, y $1$, para grafos completos con el máximo número de aristas posibles, a saber, $m=n(n-1)/2$.
Si el grafo es dirigido, su densidad se define como:
    $\Delta ={\frac {m}{n(n-1)}}$
En este caso, la densidad alcanza valor $1$ para el máximo número de aristas posibles en un grafo dirigido completo, a saber, $m=n(n-1)$.
Si el grafo es además ponderado, sean $W=\{w_{1},\ldots ,w_{m}\}$ los pesos de las aristas, entonces la densidad del grafo se define como el promedio de los valores asignados a las aristas:
    $\Delta ={\frac {\sum _{i=1}^{m}w_{i}}{n(n-1)}}$

## Relación con el grado modal medio

El grado modal medio ${\bar {g}}$ de un grafo es el grado promedio de los nodos del grafo. Para un grafo simple no dirigido, sea $g(v)$ el grado del vértice $v$, se define formalmente como:
    ${\bar {g}}={\frac {\sum _{v\in V}g(v)}{|V|}}={\frac {2|E|}{|V|}}={\frac {2m}{n}}\,$
Por lo tanto, a partir de ambas ecuaciones, la densidad de un grafo simple no dirigido también equivale a la proporción media de aristas incidentes con los vértices del grafo, es decir, formalmente:
    $\Delta ={\frac {\bar {g}}{|V|-1}}={\frac {\bar {g}}{n-1}}$

## Aplicaciones

Para grafos dirigidos,Zeleny (1941) definió el índice de sociación de un nodo como la diferencia entre la densidad o media de la «intensidad» total de la red, y el grado de salida o «elecciones» realizadas por el nodo. Denotemos $I_{S}(v)$ el índice de sociación del nodo $v$. Entonces lo anterior se define formalmente como:
    $I_{S}(v)=\Delta -g^{+}(v)={\frac {m}{n(n-1)}}-|\{u\in V|(v,u)\in E\}|$
La densidad se utiliza en análisis de redes sociales desde sus inicios en los años 1950, al menos a partir de Kephart (1950) y Proctor y Loomis (1951) (estos últimos responsables de la centralidad de grado). La densidad es una propiedad relevante para las redes sociales representadas como grafos, que se puede considerar como una medida de centralización de la red.Bott (1990) la propuso como una forma de cuantificar los niveles de «entrelazado» de una red, y Barnes (1969) para determinar la «estrechez» de las uniones de redes empíricas, importante en modelos de bloque y otras técnicas algebraicas de análisis. Además, la densidad de un subgrafo sirve para evaluar la cohesión de subgrupos dentro de una red social.