

A331530


a(n) is the number of nonnegative integers that can be represented in a 7segment display by using only n segments (version A010371).


6



0, 0, 1, 0, 3, 3, 8, 7, 16, 23, 48, 70, 125, 192, 345, 561, 972, 1578, 2683, 4436, 7537, 12536, 21114, 35163, 59123, 98837, 166006, 277650, 465619, 779296, 1306674, 2188248, 3667717, 6142653, 10293460, 17242678, 28892956, 48402553, 81099234, 135863965, 227636213
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

0,5


COMMENTS

The nonnegative integers are displayed as in A010371, where a 7 is depicted by 4 segments.
Given the set S = {2, 4, 5, 6, 7}, the function f defined in S as f(4) = 2, f(5) = f(6) = 3 and f(2) = f(7) = 1, a(n) is equal to the difference between the number b(n) of Srestricted fweighted integer compositions of n with that of n6, i.e., b(n6). The latter one provides the number of all those excluded cases where a nonnegative integer is displayed with leading zeros. b(n) is calculated as the sum of polynomial coefficients or extended binomial coefficients (see Equation 3 in Eger) where the index of summation is positive and it covers the numbers of possible digits that can be displayed by n segments (see first formula).


LINKS



FORMULA

a(n) = b(n)  b(n6), where b(n) = [x^n] Sum_{k=max(1,ceiling(n/7))..floor(n/2)} P(x)^k with P(x) = x^2 + 2*x^4 + 3*x^5 + 3*x^6 + x^7.
G.f.: x^2*(1  x)*(1 + x)*(1  x + x^2)*(1 + x + x^2)*(1 + 2*x^2 + 3*x^3 + 3*x^4 + x^5) / (1  x^2  2*x^4  3*x^5  3*x^6  x^7).
a(n) = a(n2) + 2*a(n4) + 3*a(n5) + 3*a(n6) + a(n7) for n>13.
(End)


EXAMPLE

a(6) = 8 since 0, 6, 9, 14, 17, 41, 71, 111 are displayed by 6 segments.
__ __ __
  __ __  __
__ __ __  
(0) (6) (9) (14)
__ __
   __       
        
(17) (41) (71) (111)


MATHEMATICA

P[x_]:=x^2+2x^4+3x^5+3x^6+x^7; b[n_]:=Coefficient[Sum[P[x]^k, {k, Max[1, Ceiling[n/7]], Floor[n/2]}], x, n]; a[n_]:=b[n]b[n6]; Array[a, 41, 0]


PROG

(PARI) concat([0, 0], Vec(x^2*(1  x)*(1 + x)*(1  x + x^2)*(1 + x + x^2)*(1 + 2*x^2 + 3*x^3 + 3*x^4 + x^5) / (1  x^2  2*x^4  3*x^5  3*x^6  x^7) + O(x^41))) \\ Colin Barker, Jan 20 2020


CROSSREFS



KEYWORD

base,nonn,easy


AUTHOR



STATUS

approved



