2
$\begingroup$

Last Saturday's Guardian newspaper contained the following puzzle:

Two soldier ants start on different vertices of an equilateral triangle. With each move, each ant moves independently and randomly to one of the other two vertices. If they meet, they eliminate each other. Prove that mutual annihilation is eventually assured. What are the chances they survive... exactly N moves.

I understand that the probability of a collision on any one move is 1/4, but I don't understand the quoted proof of eventual annihilation:

If the chances of eventual mutual annihilation are are P, then P = 1/4 + 3/4 P, so P = 1.

I scratched my head for a while but I still couldn't follow it. Do they mean the probability in the limit of an infinite number of moves? Or is there something crucial in that calculation of P that I'm not getting?

  • 0
    I think "is eventually assured" should be "happens almost certainly". That means the probability is $1$, but it does not mean the opposite is impossible.2012-02-07

3 Answers 3

1

Note that the fact that it's a triangle is irrelevant. The ants could move to random vertices on any $n$-gon and the result would be the same.

Put another way, if two people repeatedly choose random integers from $1$ to $n$, they will eventually choose the same number.

  • 0
    This argument does not work in full generality: the configuration after one step with no collision must be the same than before, or at least give rise to the same P. This is true on a triangle and on a square but not on the polygons with more vertices, hence the argument, as it is, is not sufficient.2012-03-03
1

If they do not meet then they are on different vertices, and so you are at the equivalent of the starting position. So $P$, the probability of eventual annihilation at the start is the probability of annihilation on the first move plus the probability of non-annihilation on the first move times the probability of eventual annihilation after the first move given it has not happened yet. The last is the same as the probability at the start.

To me the harder question is why $1/4$ is correct for the probability of annihilation on the first move. I would have thought that $1/2$ is arguable: either they both move to the third point, or they meet when trying to swap places.

  • 1
    @Ross: I think if they try to move from (1,2) to $(2,1)$ they should meet inbetween, even if they travel at different speeds.2012-02-07
1

It's a simple geometric distribution (worth a google/wiki), which in and of itself is a justification why eventual annihilation occurs with probability 1. It's worth noting that the question assumes they can pass by each other without dying - i.e. they only die at vertices.

However their argument is simpler; it simply says that at any given stage of the scenario P(eventually die) = P(die on this move) + P(don't die this move)*P(eventually die), which can be solved algebraically as they did. The argument is simply additivity and multiplicity of probabilities.

  • 0
    @Deditos, kind of. The Bernoulli trials/geometric distribution aspect is how to *prove* that with certain probability the event (annihilation) will occur. However like I said, their method is simpler because they don't prove that, what they say, is that *assuming* the probability is well-defined, its value will satisfy the given relation, and therefore be 1. But yes, the idea is that of infinite here; i.e. That with certainty the event occurs at some *finite* point between now and infinity (indeed no "time of delivery" is guaranteed).2012-02-07