Articulo de referencia

Gráfico geométrico aleatorio

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 ...

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

La generación de un grafo geométrico aleatorio para diferentes parámetros de conectividad r.

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 puntoincógnita,y[0,1)d{\displaystyle x,y\in [0,1)^{d}}La distancia euclidiana de x e y se define como

d(incógnita,y)=||incógnitay||2=i=1d(incógnitaiyi)2{\displaystyle d(x,y)=||xy||_{2}={\sqrt {\sum _{i=1}^{d}(x_{i}-y_{i})^{2}}}}.

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 haynorte(norte1)2{\estilo de texto {\frac {n(n-1)}{2}}}posibles conexiones que se comprueban, la complejidad temporal del algoritmo ingenuo esΘ(norte2){\textstyle \Theta (n^{2})}Las muestras se generan utilizando un generador de números aleatorios (RNG) en[0,1)d{\displaystyle [0,1)^{d}}. Prácticamente, esto se puede implementar usando d generadores de números aleatorios en[0,1){\displaystyle [0,1)}, un generador de números aleatorios para cada dimensión.

Pseudocódigo

V := generateSamples( n ) // Genera n muestras en el cubo unitario. para cada pV hacer para cada qV \{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 para

Dado 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 menosr{\displaystyle r}. Para un número dadoPAG=pag2{\displaystyle P=p^{2}}de procesadores, a cada procesador se le asignakpag×kpag{\textstyle {k \over p}\times {k \over p}}células, dondek=1/r.{\textstyle k=\left\lfloor {1/r}\right\rfloor .}Para simplificar,PAG{\textstyle P}Se supone que es un número cuadrado, pero esto se puede generalizar a cualquier número de procesadores. Cada procesador genera entoncesnortePAG{\textstyle {\frac {n}{P}}}vé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 esO(nortePAGregistronortePAG){\textstyle O({\frac {n}{P}}\log {\frac {n}{P}})}. Un límite superior para el costo de comunicación de este algoritmo viene dado porTalltoall(norte/PAG,PAG)+Talltoall(1,PAG)+Tpagoinortettopagoinortet(norte/(kPAG)+2){\displaystyle T_{de todos a todos}(n/P,P)+T_{de todos a todos}(1,P)+T_{punto a punto}(n/(k\cdot {P})+2)}, dóndeTalltoall(l,do){\displaystyle T_{todos contra todos}(l,c)}denota el tiempo para una comunicación de todos a todos con mensajes de longitud l bits a c socios de comunicación.Tpagoinortettopagoinortet(l){\displaystyle T_{punto a punto}(l)}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áximo1/r{\textstyle {\left\lfloor {1/r}\right\rfloor }}fragmentos por dimensión, el número de fragmentos está limitado a1/rd{\textstyle {\left\lfloor {1/r}\right\rfloor }^{d}}. Como antes, a cada procesador se le asigna1/rdPAG{\textstyle {\left\lfloor {1/r}\right\rfloor }^{d} \over P}fragmentos, 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 esO(metro+nortePAG+registroPAG){\textstyle O({\frac {m+n}{P}}+\log {P})}, sin ningún coste de comunicación entre las unidades de procesamiento.

Propiedades

Vértices aislados y conectividad

En el caso especial qued=2{\textstyle d=2}, la probabilidad de que un único vértice esté aislado en un RGG es(1πr2)norte1{\textstyle (1-\pi r^{2})^{n-1}}. [ 7 ] Dejeincógnita{\textstyle X}Sea la variable aleatoria que cuenta cuántos vértices están aislados. Entonces, el valor esperado deincógnita{\textstyle X}esmi(incógnita)=norte(1πr2)norte1=nortemiπr2norteO(r4norte){\textstyle E(X)=n(1-\pi r^{2})^{n-1}=ne^{-\pi r^{2}n}-O(r^{4}n)}. El términoμ=nortemiπr2norte{\textstyle \mu =ne^{-\pi r^{2}n}}proporciona información sobre la conectividad del RGG. Paraμ0{\textstyle \mu \longrightarrow 0}, el RGG es asintóticamente casi seguramente conectado. Paraμ{\displaystyle \mu \longrightarrow \infty }, el RGG es asintóticamente casi seguramente desconectado. Y paraμ=Θ(1){\textstyle \mu =\Theta (1)}, el RGG tiene un componente gigante que cubre más denorte2{\textstyle {\frac {n}{2}}}vértices yincógnita{\displaystyle X}es una distribución de Poisson con parámetroμ{\displaystyle \mu }. De ello se deduce que siμ=Θ(1){\textstyle \mu =\Theta (1)}, la probabilidad de que el RGG esté conectado esPAG[incógnita=0]miμ{\textstyle P[X=0]\sim e^{-\mu }}y la probabilidad de que el RGG no esté conectado esPAG[incógnita>0]1miμ{\textstyle P[X>0]\sim 1-e^{-\mu }}.

Para cualquierlpag{\textstyle l_{p}}-Norma (1pag{\textstyle 1\leq p\leq \infty }) y para cualquier número de dimensionesd>2{\displaystyle d>2}, un RGG posee un umbral de conectividad pronunciado enr(ln(norte)αpag,dnorte)1d{\textstyle r\sim \left({\ln(n) \over \alpha _{p,d}n}\right)^{1 \over d}}con constanteαpag,d{\displaystyle \alpha _{p,d}}. En el caso especial de un espacio bidimensional y la norma euclidiana (d=2{\displaystyle d=2}ypag=2{\displaystyle p=2}) esto producerln(norte)πnorte{\textstyle r\sim {\sqrt {\ln(n) \over \pi n}}}.

Hamiltonicidad

Se ha demostrado que, en el caso bidimensional, el umbralrln(norte)πnorte{\textstyle r\sim {\sqrt {\ln(n) \over \pi n}}}También proporciona información sobre la existencia de un ciclo hamiltoniano ( Camino hamiltoniano ). [ 8 ] Para cualquierϵ>0{\displaystyle \epsilon >0}, sirln(norte)(π+ϵ)norte{\textstyle r\sim {\sqrt {\ln(n) \over (\pi +\epsilon )n}}}, entonces el RGG asintóticamente casi seguramente no tiene ciclo hamiltoniano y sirln(norte)(πϵ)norte{\textstyle r\sim {\sqrt {\ln(n) \over (\pi -\epsilon )n}}}para cualquierϵ>0{\textstyle \epsilon >0}, 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 ]

dod=1Hd(1){\textstyle C_{d}=1-H_{d}(1)}inclusod{\displaystyle d}ydod=32Hd(12){\textstyle C_{d}={3 \over 2}-H_{d}({1 \over 2})}para impard{\displaystyle d}dóndeHd(incógnita)=1πi=incógnitad2Γ(i)Γ(i+12)(34)i+12{\displaystyle H_{d}(x)={1 \over {\sqrt {\pi }}}\sum _{i=x}^{d \over 2}{\Gamma (i) \over \Gamma (i+{1 \over 2})}\left({3 \over 4}\right)^{i+{1 \over 2}}}Para grandesd{\displaystyle d}, esto se simplifica adod32πd(34)d+12{\displaystyle C_{d}\sim 3{\sqrt {2 \over \pi d}}\left({3 \over 4}\right)^{d+1 \over 2}}.

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 nodosi{\displaystyle i}yj{\displaystyle j}conectar con la probabilidad dada porHij=βmirijr0{\textstyle H_{ij}=\beta e^{-{r_{ij} \over r_{0}}}}dónderij{\displaystyle r_{ij}}es la separación euclidiana yβ{\displaystyle \beta },r0{\displaystyle r_{0}}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.Hij=βmi(rijr0)η{\textstyle H_{ij}=\beta e^{-\left({r_{ij} \over r_{0}}\right)^{\eta }}}que se utiliza a menudo para estudiar redes inalámbricas sin interferencias. El parámetroη{\displaystyle \eta }representa cómo la señal decae con la distancia, cuandoη=2{\displaystyle \eta =2}es espacio libre,η>2{\displaystyle \eta >2}modela un entorno más desordenado como una ciudad (= 6 modela ciudades como Nueva York) mientras queη<2{\displaystyle \eta <2}modelos entornos altamente reflectantes. Observamos que paraη=1{\displaystyle \eta =1}es el modelo Waxman, mientras que comoη{\displaystyle \eta \to \infty }yβ=1{\textstyle \beta =1}Tenemos 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.{\displaystyle \to \infty }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

  1. 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 .  
  2. 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 . 
  3. Gilbert, Edgar N (1961). "Redes planas aleatorias". Journal of the Society for Industrial and Applied Mathematics . 9 (4): 533– 543. doi : 10.1137/0109045 .
  4. 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 . 
  5. Penrose, Mathew. (2003). Gráficos geométricos aleatorios . Oxford: Oxford University Press. ISBN 0-19-850626-0OCLC 51316118 
  6. 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 ].
  7. Pérez, Xavier; Mitsche, Dieter; Díaz, Josep (2007-02-13). "Gráficos geométricos aleatorios dinámicos". arXiv : cs/0702074 .
  8. Pérez, X.; Mitsche, D.; Díaz, J. (2006-07-07). "Umbral agudo para la hamiltonicidad de grafos geométricos aleatorios". arXiv : cs/0607023 .
  9. 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 .  
  10. Waxman, Bernard M (1988). "Enrutamiento de conexiones multipunto". IEEE Journal on Selected Areas in Communications . 6 (9): 1617– 1622. doi : 10.1109/49.12889 .
  11. 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 . 
  12. Penrose, Mathew D (1997). "La arista más larga del árbol de expansión mínima aleatorio". The Annals of Applied Probability : 340361.
  13. 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 . 
  14. 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 . 
  15. 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 .