¿La probabilidad de que los vértices de un grafo bipartito completo estén desconectados de modo que no quede ningún camino de longitud 2 entre ellos?

Mi problema es el siguiente. tengo un conjunto de vértices norte y un conjunto de vértices H . cada vértice norte norte está conectado por medio de un borde a cada vértice h H . Entonces los dos conjuntos de vértices y el conjunto de aristas forman un grafo bipartito completo. El gráfico tampoco está dirigido. Digamos que dos vértices norte 1 , norte 2 norte pueden comunicarse entre sí si existe un camino norte 1 h 1 norte 2 de longitud 2, donde h 1 H . Dado que comenzamos con un grafo bipartito completo, inicialmente todos los vértices en norte pueden comunicarse entre sí. Sin embargo, ahora hay una probabilidad pag asignado a cada borde. Esta probabilidad es la misma para todas las aristas y modela la probabilidad de que un vértice norte norte está desconectado de un vértice h H después de una cantidad fija de tiempo t . Además, la probabilidad de que dos vértices estén desconectados es independiente de la probabilidad de que otros dos vértices estén desconectados. Entonces, dado que los vértices pueden ser desconectados, ¿cuál es la probabilidad de que no exista un camino? norte 1 h 1 norte 2 , para algunos norte 1 , norte 2 norte y algo h 1 H cuando el tiempo t ¿ha transcurrido? En otras palabras, ¿cuál es la probabilidad de que dos vértices del conjunto norte no puedo comunicarme despues t ¿ha transcurrido?

Editar: para dar algunos antecedentes, lo que estoy tratando de modelar es una red informática compuesta por nodos informáticos, representados por el conjunto de vértices norte , y ejes, representados por el conjunto de vértices H . Los nodos de computación no pueden comunicarse directamente entre sí, sino solo por medio de un concentrador intermedio. Los bordes básicamente representan cables que conectan nodos y concentradores. La probabilidad pag representa la probabilidad de que un cable sufra una falla, por ejemplo, se rompa, en un intervalo de tiempo [ 0 , t ] .

¿El tiempo es continuo aquí? Si no, ¿supone que algún par de norte s están desconectados en cada momento?
Supongo que puede ocurrir una desconexión en cada borde en cualquier momento dentro del intervalo [ 0 , t ] con probabilidad pag . Entonces, según tengo entendido, el tiempo debe modelarse como continuo.

Respuestas (1)

así que denotemos por D norte , h el evento que norte y h están desconectados a la vez t . norte 1 y norte 2 no se puede comunicar si el evento A norte 1 , norte 2 := h H ( D norte 1 , h D norte 2 , h ) ocurrió (es decir, cada ruta de longitud 2 se destruye). Tenemos usando independencia y denotando complementación por C :

PAG ( A norte 1 , norte 2 ) = h H PAG ( D norte 1 , h D norte 2 , h )   = h H ( 1 PAG ( D norte 1 , h C D norte 2 , h C ) )   = h H ( 1 PAG ( D norte 1 , h C ) PAG ( D norte 2 , h C ) )   = h H ( 1 ( 1 pag ) 2 ) = ( 1 ( 1 pag ) 2 ) | H |

Para norte 1 y norte 2 al no poder comunicarse no es necesario que se destruyan ambos bordes de cada camino de longitud 2 entre ellos. Por ejemplo, supongamos que el gráfico tiene un total de 4 vértices, dos vértices h 1 , h 2 H y norte 1 , norte 2 norte . Los bordes son inicialmente { norte 1 , h 1 } , { norte 1 , h 2 } , { norte 2 , h 1 } , y { norte 2 , h 2 } . si cuando el tiempo t ha transcurrido, { norte 1 , h 2 } y { norte 2 , h 1 } han sido desconectados, entonces norte 1 y norte 2 no puede comunicarse Note que en ese caso ningún evento D norte 1 , h 1 D norte 2 , h 1 ni D norte 1 , h 2 D norte 2 , h 2 ha ocurrido.
@davitenio Hay sindicato . D norte 1 , h 1 D norte 2 , h 1 ha ocurrido, ya que el segundo evento tiene, D norte 1 , h 2 D norte 2 , h 2 ya que el primero tiene.
Lo siento, no entiendo lo que intentas decirme en tu comentario.
D norte 1 , h 2 D norte 2 , h 2 describe el evento que { norte 1 , h 2 } o { norte 2 , h 2 } está roto.