# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/

Search: id:a330083
Showing 1-1 of 1

%I A330083 #20 Jan 10 2020 12:24:23
%S A330083 1,2,10,18,271
%N A330083 a(n) is the smallest number k > 0 such that for each b = 2..n the base-b expansion of k has exactly n - b zeros.
%C A330083 This list is complete. Proof: When converting base 2 to base 4, we can group the digits in base 2 into pairs from the least significant bit. We then convert pairs into single digits in base 4 as 00 -> 0, 01 -> 1, 10 -> 2, 11 -> 3. This always causes the number of zeros to go to half or less than half. For all n >= 7, n-4 is greater than (n-2)/2, so the condition is impossible. - _Christopher Cormier_, Dec 08 2019
%C A330083 Does k exist for every n >= 2?
%C A330083 a(7) > 10^7, if it exists.
%C A330083 a(7) > 2^64, if it exists. - _Giovanni Resta_, Dec 01 2019
%e A330083 For n = 6: The base-b expansions of 271 for b = 2..6 are shown in the following table:
%e A330083 b | base-b expansion | number of zeros
%e A330083 ---------------------------------------
%e A330083 2 |        100001111 | 4
%e A330083 3 |           101001 | 3
%e A330083 4 |            10033 | 2
%e A330083 5 |             2041 | 1
%e A330083 6 |             1131 | 0
%o A330083 (PARI) count_zeros(vec) = #setintersect(vecsort(vec), vector(#vec))
%o A330083 a(n) = for(k=1, oo, for(b=2, n, if(count_zeros(digits(k, b))!=n-b, break, if(b==n, return(k)))))
%K A330083 nonn,base,fini,full
%O A330083 2,2
%A A330083 _Felix Fröhlich_, Dec 01 2019
%E A330083 Value of a(2) adjusted by _Felix Fröhlich_, Dec 09 2019

# Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE