Bueno, para explicar mi comentario (funciona incluso mejor de lo que yo hubiera pensado):
Digamos que queremos representar el número de $K$. El uso de la primera n "dígitos" $a_0,...,a_{n-1}$ sólo puede crear los números entre el $-2^n+1$ (tomando todos los ser $-1$) y $2^n-1$ (tomando todo como 1). Por otro lado, la mayor dígitos $a_n,a_{n+1},...$, por lo que de no cambiar el número de mod $2^n$. En conjunto, esto significa que cualquiera de las $\sum_{i=0}^{n} a_i 2^i = (K \mod 2^n)$ o $\sum_{i=0}^{n} a_i 2^i = (K \mod 2^n)-2^n$. (O estamos en el caso extremo de que $(K \mod 2^n) =0$.)
Pero entonces se puede calcular el óptimo representación de $(K \mod 2^n)$ $(K \mod 2^n) -2^n$ recursivamente: Supongamos que sabemos que la óptima representación de $(K \mod 2^{n-1})$$(K \mod 2^{n-1}) -2^{n-1}$.
Ahora nos encontramos con la óptima para $(K \mod 2^n)$. Podemos tener $(K \mod 2^n) = (K \mod 2^{n-1})+2^{n-1}$, en este caso la única representación es la de $(K \mod 2^{n-1})$$a_{n-1} =1$. O tenemos $(K \mod 2^n) = (K\mod 2^{n-1})$, en este caso se pueden tomar ya sea la representación de $(K \mod 2^{n-1})$ $a_{n-1} = 0$ o de la representación de $(K \mod 2^{n-1}) -2^{n-1}$$a_{n-1} = -1$, el que sea menor.
La óptima representación de $(K \mod 2^{n})- 2^n$ se puede encontrar en una manera similar. Repita esto hasta llegar a $(K \mod 2^n) = K$