Alicia gana al $N$ no es una potencia de 2.
Deje $i(N)$ ser la máxima $i$ tal que $N$ es divisble por $2^i$.
Alice estrategia: Si hay $m$ piedras a la izquierda, Alice recoge $2^{i(m)}$ piedras.
Permítanme explicar por qué esta estrategia es ganadora de Alice. Supongamos que Bob ganó mediante la selección de $b > 0$ restante de las piedras. Suponer que antes de que Alice escogió $2^j$ piedras. Por definición,$j = i(2^j + b)$. Por lo tanto $2^j + b$ es divisible por $2^j$. Por lo tanto, $b$ es también divisible por $2^j$. Esto significa que $b\ge 2^j$. Por otro lado, por las reglas del juego $b\le 2^j$. Por lo tanto,$b = 2^j$.
Pero, a continuación,$i(2^j + b) = i(2^j + 2^j) = j + 1$, contradicción.
Esta estrategia es la correcta debido a que (a) $N$ no es una potencia de 2, Alice recoge menos de $N$ piedras en la primera vuelta; (b) Alice nunca recoge más piedras de Bob en el turno anterior. En efecto, supongamos que Bob recogió $b$ piedras, antes de que Alice escogió $2^j$ piedras, y nos quedamos con $m > 0$ piedras.
Comprobaremos que $2^{i(m)} \le b$. Vamos a hacerlo mostrando que $b$ es divisble por $2^{i(m)}$.
En efecto, mediante la definición de Alice estrategia de la $j = i(2^j + b + m)$ y por las reglas de juego de la $b\le 2^j$. Vamos a mostrar que $i(m) \le j$. De hecho, si $i(m) > j$, $b$ es divisble por $2^j$, ya que tanto $2^j + b + m$ $m$ son divisble por $2^j$. Pero desde $b\le 2^j$, esto significa que $b = 2^j$. Esto contradice el hecho de que $j = i(2^j + b + m)$. En efecto, desde el $i(m) > j$,$i(2^j + b + m) = i(2^{j + 1} + m) \ge j + 1$.
Por lo tanto hemos probado que la $i(m) \le j$. Esto significa $2^j + b + m$ es divisble por $2^{i(m)}$, así como el $m$. Por lo tanto $b$ también es divisble por $2^{i(m)}$ como se requiere.
Bob gana al $N$ es una potencia de 2. Suponga que $N = 2^i$ y Alice recoge $a$ piedras. Entonces Bob puede usar Alice la estrategia descrita anteriormente. Sólo tenemos que verificar que Bob, a continuación, selecciona en la mayoría de las $a$ piedras. En efecto, supongamos que $j$ es tal que $2^i - a$ es divisible por $2^j$. A continuación, $a$ es también divisible por $2^j$ por lo tanto $2^j \le a$.