En teoría de grafos , un grafo geométrico aleatorio ( RGG ) es la red espacial matemáticamente más simple , es decir, un grafo no dirigido construido colocando aleatoriamente N nodos en algún espacio métrico (de acuerdo con una distribución de probabilidad especificada) y conectando dos nodos por un enlace si y solo si su distancia está en un rango dado, por ejemplo, menor que un cierto radio de vecindad, r .
Los grafos geométricos aleatorios se asemejan a las redes sociales humanas reales en varios aspectos. Por ejemplo, demuestran espontáneamente una estructura comunitaria : grupos de nodos con alta modularidad . Otros algoritmos de generación de grafos aleatorios, como los generados mediante el modelo de Erdős-Rényi o el modelo de Barabási-Albert (BA), no crean este tipo de estructura. Además, los grafos geométricos aleatorios muestran asortatividad de grado según su dimensión espacial: [ 1 ] los nodos "populares" (aquellos con muchos enlaces) tienen una probabilidad particularmente alta de estar conectados a otros nodos populares.
La teoría de la percolación en el grafo geométrico aleatorio (el estudio de su conectividad global) se denomina a veces modelo de disco de Gilbert [ 2 ] en honor al trabajo de Edgar Gilbert , quien introdujo estos grafos y la percolación en ellos en un artículo de 1961. [ 3 ] Una aplicación práctica de los RGG es el modelado de redes ad hoc . [ 4 ] Además, se utilizan para realizar pruebas comparativas de algoritmos de grafos.
Definición

A continuación, sea G = ( V , E ) un grafo no dirigido con un conjunto de vértices V y un conjunto de aristas E ⊆ V × V . Los tamaños de los conjuntos se denotan por | V | = n y | E | = m . Además, a menos que se indique lo contrario, se considera el espacio métrico [ 0,1) d con la distancia euclidiana , es decir, para cualquier puntoLa distancia euclidiana de x e y se define como
- .
Un grafo geométrico aleatorio (RGG) es un grafo geométrico no dirigido con nodos muestreados aleatoriamente de la distribución uniforme del espacio subyacente [ 0,1) d . [ 5 ] Dos vértices p, q ∈ V están conectados si, y solo si, su distancia es menor que un parámetro r ∈ (0,1) especificado previamente , excluyendo cualquier bucle . Por lo tanto, los parámetros r y n caracterizan completamente un RGG.
Algoritmos
Algoritmo ingenuo
El enfoque ingenuo consiste en calcular la distancia de cada vértice a todos los demás vértices. Como hayposibles conexiones que se comprueban, la complejidad temporal del algoritmo ingenuo esLas muestras se generan utilizando un generador de números aleatorios (RNG) en. Prácticamente, esto se puede implementar usando d generadores de números aleatorios en, un generador de números aleatorios para cada dimensión.
Pseudocódigo
V := generateSamples( n ) // Genera n muestras en el cubo unitario. para cada p ∈ V hacer para cada q ∈ V \{p} hacer si distance( p , q ) ≤ r entonces addConnection( p , q ) // Agrega la arista (p, q) a la estructura de datos de aristas. fin si fin para fin paraDado que este algoritmo no es escalable (cada vértice necesita información de todos los demás vértices), Holtgrewe et al. y Funke et al. han introducido nuevos algoritmos para este problema.
Algoritmos distribuidos
Holtgrewe y otros.
Este algoritmo, propuesto por Holtgrewe et al., fue el primer algoritmo generador RGG distribuido para dimensión 2. [ 6 ] Divide el cuadrado unitario en celdas de igual tamaño con una longitud de lado de al menos. Para un número dadode procesadores, a cada procesador se le asignacélulas, dondePara simplificar,Se supone que es un número cuadrado, pero esto se puede generalizar a cualquier número de procesadores. Cada procesador genera entoncesvértices, que luego se distribuyen a sus respectivos propietarios. A continuación, los vértices se ordenan según el número de celda en la que caen, por ejemplo, con Quicksort . Luego, cada procesador envía a sus procesadores adyacentes la información sobre los vértices en las celdas de borde, de modo que cada unidad de procesamiento pueda calcular las aristas en su partición independientemente de las otras unidades. El tiempo de ejecución esperado es. Un límite superior para el costo de comunicación de este algoritmo viene dado por, dóndedenota el tiempo para una comunicación de todos a todos con mensajes de longitud l bits a c socios de comunicación.es el tiempo que tarda una comunicación punto a punto para un mensaje de longitud l bits.
Dado que este algoritmo no está libre de comunicación, Funke et al. propusieron [ 6 ] un generador RGG distribuido escalable para dimensiones superiores, que funciona sin ninguna comunicación entre las unidades de procesamiento.
Funke y otros.
El enfoque utilizado en este algoritmo [ 6 ] es similar al enfoque de Holtgrewe: dividir el cubo unitario en fragmentos de igual tamaño con una longitud de lado de al menos r . Así, en d = 2 serán cuadrados, en d = 3 serán cubos. Como solo cabe como máximofragmentos por dimensión, el número de fragmentos está limitado a. Como antes, a cada procesador se le asignafragmentos, para los cuales genera los vértices. Para lograr un proceso sin comunicación, cada procesador genera los mismos vértices en los fragmentos adyacentes aprovechando la pseudorandomización de funciones hash con semillas . De esta manera, cada procesador calcula los mismos vértices y no es necesario intercambiar información sobre ellos.
Para la dimensión 3, Funke et al. demostraron que el tiempo de ejecución esperado es, sin ningún coste de comunicación entre las unidades de procesamiento.
Propiedades
Vértices aislados y conectividad
En el caso especial que, la probabilidad de que un único vértice esté aislado en un RGG es. [ 7 ] DejeSea la variable aleatoria que cuenta cuántos vértices están aislados. Entonces, el valor esperado dees. El términoproporciona información sobre la conectividad del RGG. Para, el RGG es asintóticamente casi seguramente conectado. Para, el RGG es asintóticamente casi seguramente desconectado. Y para, el RGG tiene un componente gigante que cubre más devértices yes una distribución de Poisson con parámetro. De ello se deduce que si, la probabilidad de que el RGG esté conectado esy la probabilidad de que el RGG no esté conectado es.
Para cualquier-Norma () y para cualquier número de dimensiones, un RGG posee un umbral de conectividad pronunciado encon constante. En el caso especial de un espacio bidimensional y la norma euclidiana (y) esto produce.
Hamiltonicidad
Se ha demostrado que, en el caso bidimensional, el umbralTambién proporciona información sobre la existencia de un ciclo hamiltoniano ( Camino hamiltoniano ). [ 8 ] Para cualquier, si, entonces el RGG asintóticamente casi seguramente no tiene ciclo hamiltoniano y sipara cualquier, entonces el RGG tiene asintóticamente casi con seguridad un ciclo hamiltoniano.
Coeficiente de agrupamiento
El coeficiente de agrupamiento de RGGs solo depende de la dimensión d del espacio subyacente [ 0,1) d . El coeficiente de agrupamiento es [ 9 ]
inclusoypara impardóndePara grandes, esto se simplifica a.
Grafos geométricos aleatorios generalizados
En 1988, Bernard Waxman [ 10 ] generalizó el RGG estándar introduciendo una función de conexión probabilística en contraposición a la determinista sugerida por Gilbert. El ejemplo introducido por Waxman fue una exponencial estirada donde dos nodosyconectar con la probabilidad dada pordóndees la separación euclidiana y,son parámetros determinados por el sistema. Este tipo de RGG con función de conexión probabilística se suele denominar grafo geométrico aleatorio suave, que ahora tiene dos fuentes de aleatoriedad: la ubicación de los nodos (vértices) y la formación de enlaces (aristas). Esta función de conexión se ha generalizado aún más en la literatura.que se utiliza a menudo para estudiar redes inalámbricas sin interferencias. El parámetrorepresenta cómo la señal decae con la distancia, cuandoes espacio libre,modela un entorno más desordenado como una ciudad (= 6 modela ciudades como Nueva York) mientras quemodelos entornos altamente reflectantes. Observamos que paraes el modelo Waxman, mientras que comoyTenemos el RGG estándar. Intuitivamente, este tipo de funciones de conexión modelan cómo la probabilidad de que se establezca un enlace disminuye con la distancia.
Resumen de algunos resultados para Soft RGG
En el límite de alta densidad para una red con función de conexión exponencial, el número de nodos aislados sigue una distribución de Poisson, y la red resultante contiene un único componente gigante y solo nodos aislados. [ 11 ] Por lo tanto, al asegurar que no haya nodos aislados, en el régimen denso, la red está completamente conectada; similar a los resultados mostrados en [ 12 ] para el modelo de disco. A menudo, las propiedades de estas redes, como la centralidad de intermediación [ 13 ] y la conectividad [ 11 ], se estudian en el límite de densidad.lo que a menudo significa que los efectos de borde se vuelven insignificantes. Sin embargo, en la vida real, donde las redes son finitas, aunque pueden ser extremadamente densas, los efectos de borde impactarán en la conectividad total; de hecho, [ 14 ] demostró que para la conectividad total, con una función de conexión exponencial, los efectos de borde se ven muy afectados, ya que los nodos cerca de la esquina/cara de un dominio tienen menos probabilidades de conectarse en comparación con los del interior. Como resultado, la conectividad total puede expresarse como una suma de las contribuciones del interior y los límites geométricos. Un análisis más general de las funciones de conexión en redes inalámbricas ha demostrado que la probabilidad de conectividad total puede aproximarse bien expresada por unos pocos momentos de la función de conexión y la geometría de las regiones. [ 15 ]
Referencias
- ↑ Antonioni, Alberto; Tomassini, Marco (28 de septiembre de 2012). "Correlaciones de grado en grafos geométricos aleatorios". Physical Review E . 86 (3) 037101. arXiv : 1207.2573 . Bibcode : 2012PhRvE..86c7101A . doi : 10.1103/PhysRevE.86.037101 . PMID 23031054 . S2CID 14750415 .
- ↑ Bobrowski, Omer; Kahle, Matthew (2018). "Topología de complejos geométricos aleatorios: una revisión". Journal of Applied and Computational Topology . 1 ( 3– 4): 331– 364. arXiv : 1409.4734 . doi : 10.1007/s41468-017-0010-0 . MR 3975557 .
- ↑ Gilbert, Edgar N (1961). "Redes planas aleatorias". Journal of the Society for Industrial and Applied Mathematics . 9 (4): 533– 543. doi : 10.1137/0109045 .
- ↑ Nekovee, Maziar (28 de junio de 2007). "Epidemias de gusanos en redes inalámbricas ad hoc". New Journal of Physics . 9 (6): 189. arXiv : 0707.2293 . Bibcode : 2007NJPh....9..189N . doi : 10.1088/1367-2630/9/6/189 . S2CID 203944 .
- ↑ Penrose, Mathew. (2003). Gráficos geométricos aleatorios . Oxford: Oxford University Press. ISBN 0-19-850626-0OCLC 51316118
- 1 2 3 von Looz, Moritz; Strash, Darren; Schulz, Christian; Penschuck, Manuel; Sanders, Peter; Meyer, Ulrich; Lamm, Sebastian; Funke, Daniel (2017-10-20). "Generación de grafos masivamente distribuidos sin comunicación". arXiv : 1710.07565v3 [ cs.DC ].
- ↑ Pérez, Xavier; Mitsche, Dieter; Díaz, Josep (2007-02-13). "Gráficos geométricos aleatorios dinámicos". arXiv : cs/0702074 .
- ↑ Pérez, X.; Mitsche, D.; Díaz, J. (2006-07-07). "Umbral agudo para la hamiltonicidad de grafos geométricos aleatorios". arXiv : cs/0607023 .
- ↑ Christensen, Michael; Dall, Jesper (2002-03-01). "Random Geometric Graphs". Physical Review E . 66 (1 Pt 2) 016121. arXiv : cond-mat/0203026 . Bibcode : 2002PhRvE..66a6121D . doi : 10.1103/PhysRevE.66.016121 . PMID 12241440 . S2CID 15193516 .
- ↑ Waxman, Bernard M (1988). "Enrutamiento de conexiones multipunto". IEEE Journal on Selected Areas in Communications . 6 (9): 1617– 1622. doi : 10.1109/49.12889 .
- 1 2 Mao, G; Anderson, BD (2013). "Conectividad de grandes redes inalámbricas bajo un modelo de conexión general". IEEE Transactions on Information Theory . 59 (3): 1761– 1772. Bibcode : 2013ITIT...59.1761M . doi : 10.1109/tit.2012.2228894 . S2CID 3027610 .
- ↑ Penrose, Mathew D (1997). "La arista más larga del árbol de expansión mínima aleatorio". The Annals of Applied Probability : 340361.
- ↑ Giles, Alexander P.; Georgiou, Orestis; Dettmann, Carl P. (2015). "Centralidad de intermediación en redes geométricas aleatorias densas". 2015 IEEE International Conference on Communications (ICC) . pp. 6450–6455 . arXiv : 1410.8521 . Bibcode : 2014arXiv1410.8521K . doi : 10.1109/ICC.2015.7249352 . ISBN 978-1-4673-6432-4. S2CID 928409 .
- ↑ Coon, J; Dettmann, CP; Georgiou, O (2012). "Conectividad completa: esquinas, bordes y caras". Journal of Statistical Physics . 147 (4): 758– 778. arXiv : 1201.3123 . Bibcode : 2012JSP...147..758C . doi : 10.1007/s10955-012-0493-y . S2CID 18794396 .
- ↑ Dettmann, CP; Georgiou, O (2016). "Grafos geométricos aleatorios con funciones de conexión generales". Physical Review E . 93 (3) 032313. arXiv : 1411.3617 . Bibcode : 2016PhRvE..93c2313D . doi : 10.1103/physreve.93.032313 . PMID 27078372 . S2CID 124506496 .
- Gráficos geométricos
- Gráficos aleatorios