login
Let the binary expansion of n be n = Sum_{k} 2^{r_k}, let e(n) be the number of r_k's that are even, o(n) the number that are odd; sequence gives e(n).
18

%I #42 Jul 18 2023 02:32:11

%S 0,1,0,1,1,2,1,2,0,1,0,1,1,2,1,2,1,2,1,2,2,3,2,3,1,2,1,2,2,3,2,3,0,1,

%T 0,1,1,2,1,2,0,1,0,1,1,2,1,2,1,2,1,2,2,3,2,3,1,2,1,2,2,3,2,3,1,2,1,2,

%U 2,3,2,3,1,2,1,2,2,3,2,3,2,3,2,3,3,4,3,4,2,3,2,3,3,4,3,4,1,2,1

%N Let the binary expansion of n be n = Sum_{k} 2^{r_k}, let e(n) be the number of r_k's that are even, o(n) the number that are odd; sequence gives e(n).

%C e(n)+o(n) = A000120(n), the binary weight of n.

%C a(n) is also number of 1's and 3's in 4-ary representation of n. - _Frank Ruskey_, May 02 2009

%H Reinhard Zumkeller, <a href="/A139351/b139351.txt">Table of n, a(n) for n = 0..10000</a>

%H Franklin T. Adams-Watters and Frank Ruskey, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL12/Ruskey2/ruskey14.html">Generating Functions for the Digital Sum and Other Digit Counting Sequences</a>, JIS 12 (2009), Article 09.5.6.

%H N. J. A. Sloane, <a href="/A139351/a139351.f.txt">Fortran program for this and related sequences</a>.

%F a(n) + A139352(n) = A000120(n).

%F G.f.: (1/(1-z))*Sum_{m>=0} (z^(4^m)/(1+z^(4^m))). - _Frank Ruskey_, May 03 2009

%F Recurrence relation: a(0)=0, a(4m) = a(4m+2) = a(m), a(4m+1) = a(4m+3) = 1+a(m). - _Frank Ruskey_, May 11 2009

%F a(n) = Sum_{k} A030308(n,k)*A059841(k). - _Philippe Deléham_, Oct 14 2011

%e For n = 43 = 2^0 + 2^1 + 2^3 + 2^5, e(43)=1, o(43)=3.

%p A139351 := proc(n)

%p local a,bdgs,r;

%p a := 0 ;

%p bdgs := convert(n,base,2) ;

%p for r from 1 to nops(bdgs) by 2 do

%p if op(r,bdgs) = 1 then

%p a := a+1 ;

%p end if;

%p end do:

%p a;

%p end proc: # _R. J. Mathar_, Jul 21 2016

%t terms = 99; s = (1/(1-z))*Sum[z^(4^m)/(1+z^(4^m)), {m, 0, Log[4, terms] // Ceiling}] + O[z]^terms; CoefficientList[s, z] (* _Jean-François Alcover_, Jul 21 2017 *)

%t a[0] = 0; a[n_] := a[n] = a[Floor[n/4]] + If[OddQ[Mod[n, 4]], 1, 0]; Array[a, 100, 0] (* _Amiram Eldar_, Jul 18 2023 *)

%o (Fortran) See Sloane link.

%o (Haskell)

%o import Data.List (unfoldr)

%o a139351 = sum . map (`mod` 2) .

%o unfoldr (\x -> if x == 0 then Nothing else Just (x, x `div` 4)

%o -- _Reinhard Zumkeller_, Apr 22 2011

%o (PARI) a(n)=if(n>3,a(n\4))+n%2 \\ _Charles R Greathouse IV_, Apr 21 2016

%Y Cf. A000120, A030308, A059841, A139352, A139353, A139354, A139355, A039004, A139370, A139371, A139372, A139373.

%K nonn,base,easy

%O 0,6

%A _Nadia Heninger_ and _N. J. A. Sloane_, Jun 07 2008

%E Typo in example fixed by _Reinhard Zumkeller_, Apr 22 2011