OFFSET
0,5
COMMENTS
For k<=5, the triangle coincides with triangle A213744.
LINKS
Peter J. C. Moses, Rows n = 0..50 of triangle, flattened
FORMULA
C^(6)(n,k)=sum{r=0,...,floor(k/7)}(-1)^r*C(n,r)*C(n-7*r+k-1, n-1).
A generalization. The numbers C^(t)(n,k) of combinations with repetitions from n different elements over k, for each of them not more than t>=1 appearances allowed, are enumerated by the formula:
C^(t)(n,k)=sum{r=0,...,floor(k/(t+1))}(-1)^r*C(n,r)*C(n-(t+1)*r+k-1, n-1).
In case t=1, it is binomial coefficient C^(t)(n,k)=C(n,k), and we have the combinatorial identity: sum{r=0,...,floor(k/2)}(-1)^r*C(n,r)*C(n-2*r+k-1, n-1)=C(n,k). On the other hand, if t=n, then r=0, and for the corresponding numbers of combinations with repetitions without a restriction on appearances of elements we obtain a well known formula C(n+k-1, n-1) (cf. triangle A059481).
In addition, note that, if k<=t, then C^(t)(n,k)=C(n+k-1, n-1). Therefore, triangle {C^(t+1)(n,k)} coincides with the previous triangle {C^(t)(n,k)} for k<=t.
EXAMPLE
Triangle begins
n/k.|..0.....1.....2.....3.....4.....5.....6.....7
==================================================
.0..|..1
.1..|..1.....1
.2..|..1.....2.....3
.3..|..1.....3.....6....10
.4..|..1.....4....10....20....35
.5..|..1.....5....15....35....70....126
.6..|..1.....6....21....56...126....252...462
.7..|..1.....7....28....84...210....462...924....1709
MATHEMATICA
Flatten[Table[Sum[(-1)^r Binomial[n, r] Binomial[n-# r+k-1, n-1], {r, 0, Floor[k/#]}], {n, 0, 15}, {k, 0, n}]/.{0}->{1}]&[7] (* Peter J. C. Moses, Apr 16 2013 *)
CROSSREFS
KEYWORD
nonn,tabl
AUTHOR
Vladimir Shevelev and Peter J. C. Moses, Jun 19 2012
STATUS
approved