Dados enteros positivos $n, m$ y un grafo completo de $n$ vértices. En cada arista del grafo, Ayala escribe un entero entre $1$ y $m$ . Barvaz elige un vértice del grafo, un entero $k$ y una sucesión $a_1, a_2, \dots, a_k$ de enteros entre $1$ y $m$ . Luego Ayala camina a lo largo de los vértices del grafo: comienza en el vértice elegido por Barvaz, y en el paso $i$ - ésimo, debe caminar por una arista etiquetada con el número $a_i$ (se le permite recorrer la misma arista más de una vez). A Ayala se le prohíbe volver al vértice inicial. Si Ayala no puede realizar un movimiento, pierde. Halle todos los pares $(n, m)$ para los cuales Ayala pierde.