login
Numbers k which have an odd number of trailing zeros in their binary reflected Gray code A014550(k).
1

%I #23 Jan 29 2025 20:41:48

%S 3,4,11,12,15,16,19,20,27,28,35,36,43,44,47,48,51,52,59,60,63,64,67,

%T 68,75,76,79,80,83,84,91,92,99,100,107,108,111,112,115,116,123,124,

%U 131,132,139,140,143,144,147,148,155,156,163,164,171,172,175,176,179,180

%N Numbers k which have an odd number of trailing zeros in their binary reflected Gray code A014550(k).

%C Numbers k such that A050605(k-1) is odd.

%C Numbers k such that A136480(k) is even.

%C The asymptotic density of this sequence is 1/3.

%H Amiram Eldar, <a href="/A344346/b344346.txt">Table of n, a(n) for n = 1..10000</a>

%H Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/GrayCode.html">Gray Code</a>.

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Gray_code">Gray code</a>.

%H <a href="/index/Ar#2-automatic">Index entries for 2-automatic sequences</a>.

%F a(n) = A081706(n) + 1. - _Hugo Pfoertner_, May 16 2021

%e 3 is a term since its Gray code, 10, has 1 trailing zero, and 1 is odd.

%e 15 is a term since its Gray code, 1000, has 3 trailing zeros, and 3 is odd.

%t Select[Range[180], OddQ @ IntegerExponent[# * (# + 1)/2, 2] &]

%o (Python)

%o def A344346(n):

%o def f(x):

%o c, s = (n+1>>1)+x, bin(x)[2:]

%o l = len(s)

%o for i in range(l&1^1,l,2):

%o c -= int(s[i])+int('0'+s[:i],2)

%o return c

%o m, k = n, f(n)

%o while m != k: m, k = k, f(k)

%o return (m<<2)-(n&1) # _Chai Wah Wu_, Jan 29 2025

%Y Cf. A014550, A050605, A081706, A136480.

%Y Similar sequences: A001950 (Zeckendorf), A036554 (binary), A145204 (ternary), A217319 (quaternary), A232745 (factorial), A342050 (primorial).

%K nonn,base,easy

%O 1,1

%A _Amiram Eldar_, May 15 2021