The points Woodstock and Tunbridge (W and T) are connected above in 3 different scenarios. p and q are the probability that the path is open. The question is what is the probability one can get from W to T.
Assuming all of the path probabilities are mutually independent:
For a) I think it is pq
For b) I think it's p + q - pq
I'm not sure how to approach c, I thought I would try inclusion exclusion for four possible path (A, B, C, D) from W to T: P(A) = P(B) = 0.72, P(C) = 0.608, P(D) = 0.77, from multiplying the probabilities through (and assuming you can't go backwards):
$P(A \cup B\cup C\cup D) = P(A) + P(B) + P(C) + P(D)-P(A \cap B)-P(A \cap C)-P(A \cap D)-P(B \cap C)-P(B \cap D)-P(C \cap D)+P(A \cap B \cap C)+P(A \cap C \cap D)+P(B \cap C \cap D)+P(A \cap B \cap D)-P(A \cap B \cap C \cap D) = 0.72+0.72+0.608+0.77-0.72^2-0.72*0.608-0.72*0.77-0.72*0.608-0.72*0.77-0.608*0.77+0.72^2*0.608+0.72*0.608*0.77+0.72*0.608*0.77+0.72^2*0.77-0.72^2*0.608*0.77=0.993$
I don't think this is right, since the odds look really high and I'm sure there has to be a cleaner way to approach this problem.
](https://i.stack.imgur.com/g8EuY.png)
If you're looking for a cleaner way to approach the last problem, break it up into two cases: when the $CD$ path is open, and when the $CD$ path is closed.
Since the $CD$ path is open with probability $0.95$, then we can combine these two cases into a final probability of $$ 0.95 \cdot (0.98^2) + 0.05 \cdot (1 - 0.28^2) = 0.95846. $$
This "deletion-contraction" method generalizes to arbitrary problems of this type: when we have a graph $G$ with a probability $p_e$ for each edge $e$ and we want to know the probability that there is an $s,t$-path for some vertices $s$ and $t$. Rather than use inclusion-exclusion over all paths (which may be numerous and hard to find), choose an edge $e$ and consider the two possibilities. When $e$ is absent, we are solving the same problem in the simpler graph $G-e$. When $e$ is present, we are solving the same problem in the simpler graph $G\cdot e$ (where we combine the endpoints of $e$ into one vertex).