login
a(n) = a(floor(n/3)) + a(ceiling(n/3)) with a(0) = 0 and a(1) = 1.
8

%I #30 Aug 06 2024 06:45:43

%S 0,1,1,2,2,2,2,3,3,4,4,4,4,4,4,4,4,4,4,5,5,6,6,6,6,7,7,8,8,8,8,8,8,8,

%T 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,9,9,10,10,10,10,11,11,12,

%U 12,12,12,12,12,12,12,12,12,13,13,14,14,14,14,15,15,16,16,16,16,16,16,16

%N a(n) = a(floor(n/3)) + a(ceiling(n/3)) with a(0) = 0 and a(1) = 1.

%C Number of nonnegative integers < n having no 1 in their ternary representation. - _Reinhard Zumkeller_, Mar 23 2003; corrected by _Henry Bottomley_, Mar 24 2003

%H Rémy Sigrist, <a href="/A061392/b061392.txt">Table of n, a(n) for n = 0..6561</a>

%H Sam Northshield, <a href="https://citeseerx.ist.psu.edu/pdf/a765e1f8064266bf3e36c34bf5c60bb8bb32d392">Sums across Pascal’s triangle modulo 2</a>, Congressus Numerantium, 200, pp. 35-52, 2010. [From Johannes W. Meijer, Jun 05 2011]

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Cantor_function">Cantor function</a>

%F a(n+1) + A081609(n) = n+1. - _Reinhard Zumkeller_, Mar 23 2003; corrected by _Henry Bottomley_, Mar 24 2003

%F From _Johannes W. Meijer_, Jun 05 2011: (Start)

%F a(3*n+1) = a(n+1) + a(n), a(3*n+2) = a(n+1) + a(n) and a(3*n+3) = 2*a(n+1), for n>=1, with a(0)=0, a(1)=1, a(2)=1 and a(3)=2. [Northshield]

%F G.f.: x*Product_{n>=0} (1 + x^(3^n) + 2*x^(2*3^n) + x^(3*3^n) + x^(4*3^n)). [Northshield] (End)

%F Apparently, for any n >= 0 and k such that n < 3^k, a(n) = 2^k * c(n / 3^k) where c is the Cantor function. - _Rémy Sigrist_, Jul 12 2019

%p A061392 := proc(n) option remember; local a : if n <=1 then n else A061392(floor(n/3)) + A061392(ceil(n/3)) fi: end: seq(A061392(n), n=0..87); # _Johannes W. Meijer_, Jun 05 2011

%Y k appears A061393(k) times.

%Y Cf. A007089, A062756, A081608, A081609, A081611.

%Y Essentially the partial sums of A088917.

%K nonn,look

%O 0,4

%A _Henry Bottomley_, Apr 30 2001