%I #47 Jan 14 2024 12:30:46
%S 3,9,19,34,55,83,119,164,219,285,363,454,559,679,815,968,1139,1329,
%T 1539,1770,2023,2299,2599,2924,3275,3653,4059,4494,4959,5455,5983,
%U 6544,7139,7769,8435,9138,9879,10659,11479,12340,13243,14189,15179,16214,17295,18423
%N Fourth column (r=3) of FS(3) staircase array A062745.
%C In the Frey-Sellers reference this sequence is called {(n+2) over 3}_{2}, n >= 0.
%C If X is an n-set and Y a fixed (n-3)-subset of X then a(n-3) is equal to the number of 3-subsets of X intersecting Y. - _Milan Janjic_, Aug 15 2007
%C Let A be the Hessenberg matrix of order n, defined by: A[1,j]=1, A[i,i]:=-1, A[i,i-1]=-1, and A[i,j]=0 otherwise. Then, for n>=6, a(n-6)=coeff(charpoly(A,x),x^(n-2)). - _Milan Janjic_, Jan 26 2010
%C For n>=4, a(n-4) is the number of permutations of 1,2,...,n, such that n-3 is the only up-point, or, the same, a(n-4) is up-down coefficient {n,4} (see comment in A060351). - _Vladimir Shevelev_, Feb 14 2014
%H Guillaume Aupy and Julien Herrmann. <a href="http://dx.doi.org/10.1080%2F10556788.2016.1230612">Periodicity in optimal hierarchical checkpointing schemes for adjoint computations</a>. Optimization Methods and Software, Volume 32, 2017 - Issue 3. <a href="http://people.bordeaux.inria.fr/gaupy/ressources/pub/journals/oms_periodicity.pdf">Preprint</a>
%H D. D. Frey and J. A. Sellers, <a href="http://www.fq.math.ca/Scanned/39-2/frey.pdf">Generalizing Bailey's generalization of the Catalan numbers</a>, The Fibonacci Quarterly, 39 (2001) 142-148.
%H Milan Janjic, <a href="http://www.pmfbl.org/janjic/">Two Enumerative Functions</a>
%H <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (4,-6,4,-1).
%F a(n) = A062745(n+2, 3) = binomial(n+4, 3) - 1 = (n+1)*(n^2 + 8*n + 18)/3!.
%F G.f.: N(3;1, x)/(1-x)^4 with N(3;1, x) = 3 - 3*x + x^2, polynomial of the second row of A062746.
%F a(n-3) = ((n^3 - n)/6) - 1, n >= 3. - _Zerinvary Lajos_, May 05 2007
%F a(n) = A000292(n+2) - 1. - _Zerinvary Lajos_, May 05 2007
%F From _Artur Jasinski_, Mar 14 2008: (Start)
%F a(n) = sum of n successive triangular numbers A000217 starting from n=2.
%F a(n) = Sum[i(i+1)/2,{i=2..n}]. (End)
%F a(n) = -A050407(-1-n) for all n in Z. - _Michael Somos_, Jan 28 2018
%F a(n) = A000292(n+3) - A000124(n+3). - _Torlach Rush_, Aug 03 2018
%e G.f. = 3 + 9*x + 19*x^2 + 34*x^3 + 55*x^4 + 83*x^5 + 119*x^6 + 164*x^7 + ...
%p [seq(binomial(n,3)-1,n=4..41)]; # _Zerinvary Lajos_, Nov 25 2006
%p a:=n->sum ((j+1)*j/2,j=2..n): seq(a(n),n=2..39); # _Zerinvary Lajos_, Dec 17 2006
%p seq(((n^3-n)/6)-1,n=3..40); # _Zerinvary Lajos_, May 05 2007
%p seq(sum(sum(sum(1, k=0..l),l=0..m),m=1..n), n=1..38); # _Zerinvary Lajos_, Jan 26 2008
%t k = 0; a = {}; Do[f = n(n + 1)/2; k = k + f; AppendTo[a, k], {n, 2, 100}]; a (* _Artur Jasinski_, Mar 14 2008 *)
%t LinearRecurrence[{4,-6,4,-1},{3,9,19,34},40] (* _Harvey P. Dale_, Jan 13 2019 *)
%o (PARI) {a(n) = binomial(n+4, 3) - 1}; /* _Michael Somos_, Jan 28 2018 */
%Y A column of triangle A014473.
%Y Cf. A050407.
%K nonn,easy
%O 0,1
%A _Wolfdieter Lang_, Jul 12 2001
|