# Agrupamiento (teoría de grafos)

En teoría de grafos y análisis de redes sociales, el agrupamiento o agrupabilidad (en inglés, clustering) es una propiedad de un grafo o red social, que generaliza la noción de equilibrio estructural.
Los niveles de agrupabilidad se pueden cuantificar a través de coeficientes de agrupamiento. De estos conceptos han derivado en la actualidad diversos algoritmos de agrupamiento utilizados en minería de datos.

## Historia

Harary (1953) demostró que en un grafo signado equilibrado, los actores o vértices pueden particionarse en dos subgrupos, agrupaciones o clusters, de modo que dentro de cada subgrupo los actores se relacionan positivamente, y entre ambos subgrupos, todos se relacionan negativamente. Sin embargo,Davis (1967) corroboró empíricamente que en la realidad las redes o grafos no suelen estar equilibradas, y por tanto poseen más de dos agrupamientos. De este modo, propuso la noción de agrupamiento como una generalización del concepto de equilibrio. Si bien su generalización se enfocó inicialmente en los grafos completos, sus resultados se pueden extender fácilmente a grafos incompletos.
Poco después, entre 1968 y 1973, distintos investigadores reunieron casi 800 redes sociales para verificar empíricamente si el agrupamiento de Davis sobre grafos signados era suficientemente expresivo para el estudio de casos reales. Los resultados revelaron que muchas de las redes eran dirigidas, con varios nodos apuntando a otros pero sin que estos otros apuntasen a ellos de vuelta, por lo que los resultados principales de agrupabilidad considerando semiciclos no parecían ser suficientes. Además, descubrieron que las relaciones signadas eran poco comunes. En este contexto,Davis y Leinhardt (1968) propusieron los «conglomerados por rangos» para considerar agrupabilidad en dígrafos signados completos;Cartwright y Harary (1970) y Kaplan (1972) ampliaron el concepto para grafos ponderados signados, y Holland y Leinhardt (1971) para dígrafos no signados.

## Definición formal

Un grafo signado es agrupable o tiene agrupamiento si sus nodos se pueden dividir en un número finito de subconjuntos (llamados agrupamientos o clusters) tales que las arista positivas del grafo conectan a nodos en un mismo subconjunto, y las aristas negativas conectan a nodos en subconjuntos distintos.
En general, el siguiente resultado caracteriza a los grafos agrupables de acuerdo a los ciclos que contiene:
* Teorema 1. Un grafo signado no dirigido es agrupable si y sólo si no contiene ciclos con exactamente una arista negativa.
* (si el grafo es dirigido, reemplazar «ciclos» por «semiciclos»)
* Davis (1967)
Un grafo signado es vacuamente agrupable si no posee ciclos ni semiciclos; es agrupable limitado si cumple las condiciones del Teorema 1 para ciclos de longitud 3, pero no para ciclos de longitud mayor, y es S-agrupable si posee S agrupamientos.
Note que todo grafo signado equilibrado es agrupable, y tiene a lo sumo dos agrupamientos; es decir, es 2-agrupable. Además, dicho tipo de grafos no admiten ciclos signados negativos de longitud 3 conformados únicamente por aristas negativas. El concepto de agrupabilidad es más general que el de equilibrio estructural, porque sí acepta este tipo de ciclos. Si el grafo es completo, para testear su agrupabilidad solo basta considerar los ciclos de longitud 3:
* Teorema 2. Dado un grafo signado no dirigido completo, las siguientes aseveraciones son equivalentes:
* El grafo es agrupable.
* El grafo tiene un agrupamiento único.
* El grafo no tiene ningún ciclo con exactamente una arista negativa.
* El grafo no tiene ningún ciclo de longitud 3 con exactamente una arista negativa.
* (si el grafo es dirigido, reemplazar «ciclo» por «semiciclo»)
* Davis (1967)
Si el grafo es completo, a su único agrupamiento también se les conoce como clique o camarilla.
La última aseveración del Teorema 2 explica la importancia de las tríadas en el análisis de redes sociales y los actuales algoritmos de agrupamiento. Si se relaja la condición de relaciones no dirigidas (o simétricas) a dirigidas (o asimétricas), igualmente basta centrarse solo en las tríadas, como se puede ver en el concepto de agrupamiento por rangos.

### Agrupamiento por rangos

El agrupamiento por rangos (en inglés, ranked clusterability), también conocido como el estudio de conglomerados por rangos, es una relajación de la agrupabilidad para dígrafos signados completos, que admite agrupamientos o conglomerados en niveles jerárquicos distintos. De forma análoga a la última aseveración del Teorema 2, en este caso basta considerar únicamente las tríadas del grafo. Así como en grafos no dirigidos hay ocho tríadas posibles, en este caso son dieciséis, dentro de las cuales solo se pueden dar tres tipos de díadas, distribuidas en dos niveles o rangos diferentes dependiendo de sus signos:
* Díadas ${\texttt {++}}$ (ambas relaciones positivas), que conectan dos nodos de un mismo nivel y en un mismo agrupamiento (o camarilla);
* Díadas ${\texttt {--}}$ (ambas relaciones negativas), que conectan dos nodos de un mismo nivel pero de distinto agrupamiento;
* Díadas ${\texttt {+-}}$ (relaciones opuestas), que conectan dos nodos de distinto nivel y agrupamiento, siendo el que recibe la relación positiva el que está en el agrupamiento de más alto nivel.

## Problema de agrupamiento

Dado un grafo signado, el problema de agrupamiento o problema de agrupabilidad consiste en determinar cuántos agrupamientos tiene. Si el grafo es completo, para corroborar si es agrupable basta con revisar sus ciclos de longitud 3, pero para los demás grafos, se puede revisar primero los ciclos de longitud 3, luego los de longitud 4, y así sucesivamente; si en algún momento se encuentra un ciclo con exactamente una arista negativa, entonces el grafo no será agrupable y no es necesario seguir verificando los ciclos restantes.
Este problema está relacionado con el problema de coloración de grafos, donde los agrupamientos son representados como colores.

## Coeficiente de agrupamiento

El grado de agrupabilidad de un grafo signado se puede cuantificar mediante índices de agrupabilidad o coeficientes de agrupamiento, de manera análoga al índice de equilibrio usado en equilibrio estructural. Existen índices que consideran las aristas, o bien los (semi-)ciclos del grafo.