Skip to main content
1 of 3
David E Speyer
  • 156.3k
  • 14
  • 421
  • 763

I am reposting notzeb's solution to the 3 front case here, as I expect the 5 front case to be at least as bad. In particular, notice that the winning solution is given by a measure with fractal support.

Solution (rephrased): Take the triangle of possible solutions and inscribe a hexagon in it, with vertices at the permutations of $(0,1/3,2/3)$. All our solutions will be inside that hexagon.

Now, take that hexagon and place 6 smaller hexagons in it as shown below.

6 Hexagons in 1 http://www-math.mit.edu/%7Espeyer/3front.png

Choose one of those 6 hexagons uniformly at random. Place 6 smaller hexagons inside that one, and choose one of these uniformly at random again. Keep going. The hexagons shrink in size each time; the limiting point is your army distribution.

Notice that the space of possible solutions is a Sierpinski-gasket-like figure, of Hausdorff dimension $\log 6/\log 3$. It is cute to observe that the white star of David in the center becomes a Koch snowflake of excluded points in the final solution.

Proof that this works: (I disregard ties, as they occur with probability zero.) Observe that it is impossible for either general to win on all fronts. Therefore, if I find a strategy that guarantees that I am expected to win at least 1.5 fronts against any opposing strategy, this means that I have probability at least 1/2 of winning 2 fronts against any opposing strategy. (This logic does not extend to the 5 front case.)

Lemma: For any of the three fronts, the probability distribution of troops that I send there is uniform on the interval $[0,2/3]$. Proof: After I have chosen a hexagon at the coarsest level, I am equally likely to be in $[0,2/9]$, $[2/9,4/9]$ and $[4/9,6/9]$. After I choose the next coarsest hexagon, I am equally likely to be in any one of the three thirds of the interval I chose at the previous step. And so forth. End of lemma.

Suppose my enemy sends $p$ troops to the first front. I beat him with probability $\max(1-(3/2)p, 0)$. By linearity of expectation, if my enemy sends troops $(p,q,r)$, my expected number of victories is $$\max(1-(3/2)p, 0)+\max(1-(3/2)q, 0)+\max(1-(3/2)r, 0) \geq 3-(3/2)(p+q+r) = 3/2.$$ If my opponent adopts a mixed strategy, I still have expected number of victories at least $3/2$. QED

David E Speyer
  • 156.3k
  • 14
  • 421
  • 763