Take any binary vector of length $4n+1$ with $n\geqslant0$. We can activate any bits. When a bit is activated, neighboring bits change their values $0$ -> $1$, $1$ -> $0$. Our goal is to turn the original binary vector into a vector of only ones by activating the bits.
Then I conjecture that if the value of the binary vector belongs to A158705, this is possible for a maximum of $4n+1$ activations. Here A158705 is nonnegative integers with an odd number of even powers of $2$ in their base-$2$ representation.
Similarly for any binary vector of length $4n+3$ with $n\geqslant0$ I conjecture that if the value of the binary vector belongs to A158704, this is possible for a maximum of $4n+3$ activations. Here A158704 is nonnegative integers with an even number of even powers of $2$ in their base-$2$ representation.
Is there a way to prove it?