|
%I #19 Oct 08 2014 22:05:57
%S 1,22,122,333,1333,4444,14444,22333,55555,122333,155555,224444,666666,
%T 1224444,1666666,2255555,3334444,7777777,12255555,13334444,17777777,
%U 22666666,33355555,88888888,122666666,133355555,188888888,223334444,227777777,333666666,999999999
%N Numbers whose digits are nondecreasing and which have exactly d digits "d" whenever there is at least one digit "d".
%C Subsequence of terms with (weakly) increasing digits (when read from left to right) in A108571.
%C It happens that the last term displayed in the usual three lines of data is 999999999, but there is of course not any reason to think that this would be the last term of the sequence, it is only the largest term with 9 digits but many more follow up to the (maybe final) 122333...999, or infinitely many further terms if a convention is fixed to extend A108571 and the present sequence to digits beyond "9". (Clarification added in view of e-mail received privately.) - _M. F. Hasler_, Oct 04 2014
%C One possibility of encoding digits d > 9 in a sequence like the present one where no digit 0 occurs, is to write them as (d-9k)*10^k for 9*k < d < 9*k+10, i.e., d=10 as "10", d=11 as "20",..., d=18 as "90", d=19 as "100", etc. See the link for other variants which are more compact for larger digits. - _M. F. Hasler_, Oct 05 2014
%C Observation by _R. J. Cano_: The subset of terms with no digit larger than b has 2^b-1 elements. Proof: They can be coded as b-digit (nonzero, whence the -1) binary word, where the k-th bit is 1 iff digit k is present in the term. - _M. F. Hasler_, Oct 08 2014
%H M. F. Hasler, <a href="https://oeis.org/wiki/M._F._Hasler/Representing_large_digits">Representing large digits</a>, OEIS wiki, Oct 05 2014
%o (PARI) a=[]; N=9; for(m=1,min(N,9), a=concat(a,n=10^m\9*m); for(i=1,#a-1, #Str(a[i])>N-m && break; a=concat(a,a[i]*10^m+n))); Set(a)
%K nonn,base
%O 1,2
%A _M. F. Hasler_, Sep 22 2014
|
