5 votos

Probabilidades de vértices aislados para diferentes grafos aleatorios

Estoy tratando de enseñarme un poco más sobre las probabilidades de umbral para los grafos aleatorios, y estoy mirando la probabilidad de que los grafos tengan un vértice aislado, cuando añadimos algunas restricciones (cuando por un 'grafo aleatorio' quiero decir que tomamos el conjunto de vértices y añadimos cada posible arista (no dirigida) entre vértices con probabilidad p). Por ejemplo, en el grafo estándar ('sin restricciones') de n vértices, tenemos algo así como p = log(n)/n como una probabilidad por encima de la cual esperamos no obtener vértices aislados a.e., y por debajo de la cual a.e. obtenemos un vértice aislado. Este caso está bien documentado - sin embargo, puedo encontrar poco o nada en los libros o en línea en el caso de tipos específicos de gráfico aleatorio que son, por ejemplo, Conectado en k/conectado en k-borde bipartito/tripartito, etc.

El caso que más me interesa (de momento) es el de los grafos bipartitos, y supongo que es el siguiente caso más fácil de entender también, pero no encuentro documentación en ningún sitio. ¿Existe una forma sencilla de extender el resultado de los grafos normales a los grafos bipartitos, asumiendo que ambos conjuntos de vértices tienen el mismo tamaño? Supongo que mi preocupación es que, obviamente, se trata de un conjunto diferente de grafos factibles al caso general de 2n vértices, tanto de menos grafos con un vértice aislado como de menos grafos en total, por lo que no me queda claro que podamos decir inmediatamente que la "proporción" de grafos que tienen un vértice aislado se comportará necesariamente igual para n grandes.

Como mencioné anteriormente, estaré encantado de leer cualquier cosa que alguien pueda sugerir en casos más restringidos, simplemente no he sido capaz de encontrarlo yo mismo, así que las recomendaciones serán muy apreciadas.

¡Muchas gracias!

0 votos

Sí, lo siento, estaba haciendo una pregunta demasiado amplia y no estaba pensando. Preocupémonos por ahora de los grafos bipartitos: supongamos que tenemos 2 conjuntos de vértices de tamaño n, y que añadimos vértices entre cada par con probabilidad p(n) (o p(2n) si se quiere): ¿existe una función de probabilidad umbral, por encima de la cual casi siempre no obtenemos ningún vértice aislado para valores grandes de n, y por debajo de la cual obtenemos un vértice aislado a.e. para n grandes? Sospecho que está relacionado con el caso no bipartito de log(n)/n, pero no puedo verificar si la función sigue siendo tan simple (suponiendo que exista).

0 votos

Si $p$ es menor que $\log(2n)/2n \sim \log n/2n$ , entonces tenemos un vértice aislado casi seguro (difícilmente podemos tener más aristas que en el caso no bipartito). En la otra dirección, creo que un cálculo directo da un límite de $\log n/n$ .

0 votos

Intentaré utilizar la respuesta de Hans a continuación para ver si puedo obtener un límite logarítmico; evidentemente, veo que en una dirección el límite se deduce simplemente del caso general, como has dicho antes, pero era la otra la que me confundía; ¡veré qué puedo averiguar! Gracias de nuevo.

2voto

Shabaz Puntos 403

Para muchos grafos estructurados (k-conectado/k-edge-conectado/bipartito/etc.) la idea de hacer un grafo añadiendo aristas al azar no tiene mucho sentido. Puedes elegir un grafo k-conectado al azar en n vértices enumerando todos los grafos de este tipo y eligiendo uno. Para los bipartitos puedes hacer algo como lo que quieres. Imagina un grafo bipartito sobre $n+m$ vértices, con el $n$ vértices en un lado de la división especificada de antemano. A continuación, hay $nm$ aristas candidatas que puedes rellenar al azar y puedes preguntar por la probabilidad de un vértice aislado. El caso más sencillo es $n=m$ , por lo que hay $n^2$ aristas candidatas, y cada vértice tiene $n$ de que se conecten a ella.

Para un vértice dado, si se elige $p$ aristas, la probabilidad de que esté aislada es $$ \frac{(n^2-n)(n^2-n-1)\ldots(n^2-n-p+1)}{n^2(n^2-1)\ldots(n^2-p+1)}=\frac{(n^2-n)!(n^2-p)!}{n^2!(n^2-n-p)!} $$
Una aproximación es considerar estos eventos independientes (ignorando las correlaciones inducidas por el hecho de que una arista que no va a un determinado vértice sí va a otro) y calcular la probabilidad de que cualquier vértice quede aislado.

0 votos

Nótese que he asumido que el número de aristas a elegir estaba dado, no que cada arista se elige con una probabilidad determinada. Los problemas son similares, pero habrá dispersión en las aristas elegidas en el segundo caso. Hans trabajaba de la otra manera, lo que tiene ventajas de independencia.

0 votos

Sí, aunque estaba mirando el caso que Hans abordó, esto sigue siendo una excelente visión de los diferentes enfoques disponibles, así que ¡gracias!

2voto

Handleman Puntos 397

No puedo dejar esto como comentario, así que me temo que tendré que dejarlo como "respuesta". He estado haciendo simulaciones en grafos bipartitos aleatorios de tamaño hasta 500x500 (es decir, 2n=1000), y los límites parecen estar fuera de un factor de dos: casi no obtengo vértices aislados hasta p=log(500)/500, y por encima de 2log(500)/500 obtengo una coincidencia cada vez: entre estos valores a veces obtengo una coincidencia y a veces no. He comprobado todo y no veo por ningún lado que pueda haber perdido un 2: ¿estoy siendo lento o es posible que por alguna razón se obtengan límites del doble de lo previsto?

0 votos

De hecho, es el límite superior de log(n)/n el que parece ser el problema. @user9325, ¿te importaría decirme si log(n)/n es una suposición del segundo límite o un cálculo real?

2voto

Dave Puntos 217

EDITAR : Lo siento, no pensé en las funciones de umbral. Asumí que estábamos trabajando con una constante $p$ , pensó en el problema, y perdió de vista la pregunta real. No sé si es relevante, pero lo dejaré.

Dejemos que $G$ sea un grafo bipartito en $2n$ vértices con partes $A$ y $B$ con $|A| = |B| = n$ .

Dejemos que $E_A$ sea el evento que $A$ tiene un vértice aislado, $E_B$ sea el evento que $B$ tiene un vértice aislado. Estamos buscando $P(E_A \cup E_B) = P(E_A) + P(E_B) - P(E_A \cap E_B)$ .

Cada vértice de $A$ tiene $n$ posibles aristas, cada una con probabilidad independiente $p$ por lo que la probabilidad de que esté aislado es $(1-p)^n$ . Sumando sobre los vértices de $A$ la probabilidad de que cualquier vértice en $A$ está aislado es $n(1-p)^n$ . El caso de $B$ teniendo un aislado es claramente simétrico. Por lo tanto, $P(E_A) = P(E_B) = n(1-p)^n$ .

Ahora considere $P(E_A \cap E_B) = P(E_A)P(E_B|E_A)$ . Para cualquier vértice en $B$ tenemos $n - 1$ posibles aristas (porque sabemos que uno de los vértices en $A$ está aislado). La probabilidad de que un determinado vértice en $B$ está aislado es entonces $(1 - p)^{n - 1}$ . Sumando sobre los vértices de $B$ , $P(E_B|E_A) = n(1-p)^{n-1}$ . Así que $P(E_A \cap E_B) = (n(1-p)^n)(n(1-p)^{n-1}) = n^2(1-p)^{2n-1}$ .

Ponerlo todo junto, $P(E_A \cup E_B) = 2n(1-p)^n + n^2(1-p)^{2n - 1}$ .

Como referencia, recomiendo encarecidamente el libro de Diestel Teoría de los gráficos que tiene un tratamiento introductorio de los grafos aleatorios (puede estar por encima de este nivel). Hay una vista previa gratuita aquí - http://diestel-graph-theory.com/ . Bollobas". Teoría moderna de los grafos tiene un tratamiento similar pero ligeramente más profundo. Bollobas también escribió un texto titulado Gráficos aleatorios que no conozco, pero se le considera un líder en el campo. No estoy seguro de que ninguno de estos aborda su problema específico.

0 votos

Eso es brillante, puedo ver cómo podría vincularse a una función de umbral logarítmico de alguna manera, dado que queremos que n domine $(1-p)^n$ o viceversa para n grande: es de suponer que eso dará algún tipo de valor logarítmico de p. Teniendo en cuenta el comentario del usuario9325 más arriba, ¿cómo evaluamos $\lim_{n \to \infty} (1-\frac{log(n)}{n})^n$ ? Evidentemente, para k fijo, $(1-\frac{k}{n})^n \to e^{-k}$ pero el logaritmo en la parte superior parece ser un poco de un obstáculo en el trabajo.

0 votos

@WarnerB Supongo que te lo has imaginado, pero puedes estimar $(1-k/n)^{n}$ tan ajustada como se quiera mediante la expansión/incorporación de Taylor, siempre que $k = k(n)$ no es demasiado grande. Por ejemplo, intente $1-\frac{\log n}{n} = \exp(-\frac{\log n}{n} \pm O(\frac{\log^2 n}{n^2}))$ .

0 votos

Esto es incorrecto, porque $P(E_A)$ no es $n (1-p)^n$ . Está contando en exceso los casos en los que más de un vértice de $A$ está aislado, y necesita utilizar el principio de inclusión-exclusión. (Puede comprobarlo en el caso $n = 2$ , $p=1/2$ , en cuyo caso la probabilidad de un vértice aislado es de 9/16, pero esta fórmula (corregida para que sea una diferencia) da $4 (1/2)^2 - 4(1/2)^3 = 1/2$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X