Todas as formigas decidem se mover simultaneamente para um quadrado adjacente (em geral, 4 possibilidades, exceto para as formigas nas arestas ou nos vértices da grade).
Definimos $f(n)$ como o número de formas pelas quais isso pode acontecer sem que qualquer formiga acabe no mesmo quadrado em que estava e sem que duas formigas cruzem a mesma aresta entre dois quadrados.