TOT 1999 Spring AS5 sequence with parity of 1s in binary representation
Source:
May 11, 2020
number theorydecimal representationBinarypower of 2Sequence
Problem Statement
For every non-negative integer , define the number as follows:
write down as a binary number, so that we have a string of zeroes and ones, if the number of ones in this string is even, then set , otherwise set . (The first terms of the sequence , are )
(a) Consider the finite sequence .
Prove that there are at least terms in this sequence which are equal to their neighbour on the right : .
(b) Consider the finite sequence .
Prove that the number of terms such that is at least . (A Kanel)