  In Zombies and Survivors, a set of zombies attempts to eat a lone survivor
loose on a given graph. The zombies randomly choose their initial location, and
during the course of the game, move directly toward the survivor. At each
round, they move to the neighbouring vertex that minimizes the distance to the
survivor; if there is more than one such vertex, then they choose one uniformly
at random. The survivor attempts to escape from the zombies by moving to a
neighbouring vertex or staying on his current vertex. The zombies win if
eventually one of them eats the survivor by landing on their vertex; otherwise,
the survivor wins. The zombie number of a graph is the minimum number of
zombies needed to play such that the probability that they win is at least 1/2.
  This variant of the game was recently investigated for several graph
families, such as cycles, hypercubes, incidence graphs of projective planes,
and grids $P_n \square P_n$. However, unfortunately, still very little is known
for toroidal grids $C_n \square C_n$: the zombie number of $C_n \square C_n$ is
at least $\sqrt n/(\omega\log n)$, where $\omega = \omega(n)$ is any function
going to infinity as $n \to \infty$, and no upper bound is known except a
trivial bound of $O(n^2 \log n)$. In this note, we provide an approach that
gives an embarrassing bound of $O(n^2)$ but it is possible that (with more
careful, deterministic, argument) it might actually give a bound of
$O(n^{3/2})$. On the other hand, by analyzing a specific strategy for the
survivor, it seems that one could slightly improve the lower bound to $\sqrt
n/\omega$. In any case, we are far away from understanding this intriguing
question. Your help is needed!
