%I #28 Jul 24 2017 07:55:57
%S 0,1,2,3,4,5,7,8,9,11,12,13,15,16,17,19,20,21,23,24,25,27,28,29,31,32,
%T 33,35,36,37,39,40,41,43,44,45,47,48,49,51,52,53,55,56,57,59,60,61,63,
%U 64,65,67,68,69,71,72,73,75,76,77,79,80,81,83,84,85,87,88,89,91,92,93
%N If n=0 then 0, else smallest number greater than its predecessor and having either more or fewer zeros in its binary representation.
%C Essentially the complement of A016825 with respect to the nonnegative integers (except for 2). A023416(a(n+1)) <> A023416(a(n)).
%H Reinhard Zumkeller, <a href="/A107750/b107750.txt">Table of n, a(n) for n = 0..10000</a>
%H <a href="/index/Bi#binary">Index entries for sequences related to binary expansion of n</a>
%F a(n+1) = a(n) + A107751(n).
%F For k >= 0, 0 <= i <= 3*2^k:
%F a(6*2^k + i) = a(3*2^k + i) + 4*2^k,
%F a(9*2^k + i) = a(3*2^k + i) + 8*2^k.
%F a(n) = n - sign(floor(n/3)) + floor( (1/2)*sum_{i=1..n} ( ceiling((i+2)/3) - floor((i+2)/3) ) ). - _Wesley Ivan Hurt_, Jun 16 2014
%F Conjectures from _Colin Barker_, Jul 24 2017: (Start)
%F G.f.: x*(1+x)*(1+x^2-x^3+x^4) / ((1-x)^2*(1+x+x^2)).
%F a(n) = a(n-1) + a(n-3) - a(n-4) for n>3.
%F (End)
%t Table[n - Sign[Floor[n/3]] + Floor[(1/2) Sum[Ceiling[(i + 2)/3] - Floor[(i + 2)/3], {i, n}]], {n, 0, 50}] (* _Wesley Ivan Hurt_, Jun 16 2014 *)
%o (Haskell)
%o a107750 n = a107750_list !! n
%o a107750_list = 0 : f 0 where
%o f x = y : f y where
%o y = head [z | z <- [x + 1 ..], a023416 z /= a023416 x]
%o -- _Reinhard Zumkeller_, Jul 07 2014
%Y Cf. A107686, A007088, A023416.
%K nonn
%O 0,3
%A _Reinhard Zumkeller_, May 23 2005