OFFSET
1,1
EXAMPLE
The binary expansion of 15, "1111", contains four 1's, and the Zeckendorf expansion contains two terms: 15 = 13 + 2. There are twice as many 1's in the binary expansion, so 15 is in the sequence.
MATHEMATICA
Position[DigitCount[(v = Select[Range[10^4], BitAnd[#, 2#] == 0 &]), 2, 1] / DigitCount[Range @ Length[v], 2, 1], _?(# == 1/2 &)]//Flatten (* Amiram Eldar, Jan 12 2020 after Jean-François Alcover at A007895 *)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Alex Ratushnyak, Nov 22 2019
STATUS
approved
