Considere $ a(n) = \sum_0^n 2^{2i} $ . Entonces $ d(0,a(n)) = n + 1 $ .
Prueba: En primer lugar, observa que en cualquier serie mínima de pasos, sólo puedes utilizar cada potencia de 2 una vez como máximo. Si la sumas dos veces en cualquier punto, podrías obtener el mismo resultado sumando la siguiente potencia más alta una vez (y si esa se usara, iterativamente hasta la primera que no se usara), lo mismo para la resta, y obviamente sumarla una vez y restarla una vez se anularía por completo, llevando cada una al mismo resultado con menos pasos.
Además, podemos hacer los pasos en un orden arbitrario, así que podemos suponer que hacemos primero todas las sumas.
Consideremos la representación binaria de $ a(n) = 10101...1 $ con $ n+1 $ $1$ s. Un "paso" equivale a la adición o sustracción de una potencia de $ 2 $ y empezamos en $ 0 $ .
Empezamos con las sumas, por lo que podemos poner cualquier número de bits en $1$ , siendo cada uno de ellos un paso. Luego hacemos las substracciones, y aquellas en orden de magnitud, la más pequeña primero.
Cualquier sustracción de una potencia de $ 2 $ volteará todos los $0$ a $1$ comenzando en su posición y subiendo en importancia hasta el primer $1$ que luego se invierte en $0$ (nótese que esto está garantizado porque nuestro número objetivo es positivo y, por tanto, la suma de las potencias sumadas debe ser mayor que la suma de las potencias restadas).
Ahora considere los bits en $a(n)$ empezando por la significación más baja. Cada $01$ par en la suma final sólo puede ser resultado de una de estas tres situaciones:
-
Teniendo la potencia correspondiente al $1$ en los pasos de adición.
-
Al ser el resultado de $10$ y la sustracción de la potencia de $2$ correspondiente al $01$ par de bits o una potencia inferior de $2$ . Pero en ese caso, que $10$ debe resultar de la adición o sustracción de esa potencia de $2$ .
-
O, por último, como resultado de una sustracción de una potencia inferior de $2$ de $00$ . Pero en ese caso, el resultado de la sustracción habría sido $11$ y, por tanto, la potencia de dos correspondiente al $0$ en ese par también debe restarse.
En 2. y 3. hemos aprovechado el hecho de que sólo podemos utilizar cada potencia de $2$ una vez como máximo, por lo que una vez $1$ se produce en un punto, las substracciones desde abajo no pueden ir más allá (como $ \sum_{i \lt n} 2^i \lt 2^n $ ).
Por lo tanto, necesitamos al menos un paso para cada $01$ par y la afirmación está probada.
Además, cualquier número $ b $ con $ d(0,b) = n+1 $ debe tener al menos $ 2n $ dígitos: Supongamos que $ b $ tenía menos de $ 2n $ dígitos en representación binaria. Si $b$ contiene $n$ o menos 1s, hemos terminado. Y si hay al menos $n+1$ $1$ s y, por tanto, como máximo $ n-2 $ $0$ s, entonces tenemos un procedimiento para generar $ b $ en $n$ pasos: Comenzar con $2^{2n}-1$ en dos pasos que dan como resultado $1...1$ y, a continuación, en un $n-2$ restamos todas las potencias de $2$ que corresponden a un $0$ en la representación binaria de $b$ . Como $d(0,1011_b)=3$ muestra, hay números con sólo $2n$ dígitos, sin embargo, así que $a(n)$ no es óptima.