%I #19 May 05 2023 01:35:06
%S 9,10,12,13,14,16,17,20,21,25,36,49,50,54,65,94,125,126,130,141,170,
%T 246,324,325,329,340,369,445,644,845,846,850,861,890,966,1165,1686,
%U 2209,2210,2214,2225,2254,2330,2529,3050,4414
%N Numbers having 4 1's in their base-phi representation.
%H Amiram Eldar, <a href="/A104627/b104627.txt">Table of n, a(n) for n = 1..250</a>
%H Jeffrey Shallit, <a href="https://arxiv.org/abs/2305.02672">Proving Properties of phi-Representations with the Walnut Theorem-Prover</a>, arXiv:2305.02672 [math.NT], 2023.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PhiNumberSystem.html">Phi Number System</a>.
%F There is a 24-state automaton accepting exactly the Zeckendorf representation of members of this sequence. - _Jeffrey Shallit_, May 03 2023
%t q[n_] := Plus @@ RealDigits[n, GoldenRatio, 2*Ceiling[ Log[GoldenRatio, n]] ][[1]] == 4; Select[Range[4500], q] (* _Amiram Eldar_, Jan 20 2022 *)
%Y Cf. A005248, A104626, A104628.
%K nonn,base
%O 1,1
%A _Eric W. Weisstein_, Mar 17 2005
|