login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A132889 Sum of the lengths of the longest increasing subsequence over all 321-avoiding permutations of [n]. 1
1, 3, 11, 39, 144, 530, 1987, 7455, 28268, 107334, 410354, 1570954, 6042984, 23273172, 89948835, 348000975, 1350028020, 5241881150, 20396787070, 79426533758, 309829067496, 1209384071532, 4727454837846, 18490127530394 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

Apparently: Summed over all Dyck (n+1)-paths, the number of ascents of length 1 to the right of the midpoint (ordinate x=n+1). - David Scambler, Aug 08 2012

LINKS

G. C. Greubel, Table of n, a(n) for n = 1..1000

E. Deutsch, A. J. Hildebrand and H. S. Wilf, Longest increasing subsequences in pattern-restricted permutations, The Electronic Journal of Combinatorics, 9(2), 2003, #R12.

FORMULA

a(n) = Sum_{k=floor((n+1)/2)..n} k*(2*k-n+1)^2*binomial(n+1,n-k)^2 / (n+1)^2.

a(n) = Sum_{k=1..n} k*A126217(n,k).

Recurrence: n^2*(n+1)*(4*n^3 - 13*n^2 - 3*n + 24)*a(n) = 2*n*(8*n^5 - 14*n^4 - 67*n^3 + 152*n^2 - 67*n + 12)*a(n-1) + 8*(8*n^6 - 66*n^5 + 156*n^4 + 6*n^3 - 461*n^2 + 543*n - 180)*a(n-2) - 32*(n-3)*(n-2)*(2*n - 5)*(4*n^3 - n^2 - 17*n + 12)*a(n-3). - Vaclav Kotesovec, Mar 20 2014

a(n) ~ 2^(2*n-1)/sqrt(Pi*n) * (1 + 2/sqrt(Pi*n)). - Vaclav Kotesovec, Mar 20 2014

EXAMPLE

a(3)=11 because in the 321-avoiding permutations of 123, namely 123,132,312,213 and 231, the lengths of the longest increasing subsequences are 3,2,2,2 and 2, respectively.

MAPLE

a:=proc(n) options operator, arrow: (sum(k*(2*k-n+1)^2*binomial(n+1, n-k)^2, k =floor((1/2)*n+1/2)..n))/(n+1)^2 end proc: seq(a(n), n=1..25);

MATHEMATICA

Table[Sum[k*(2*k-n+1)^2*Binomial[n+1, n-k]^2, {k, Floor[(n+1)/2], n}]/(n+1)^2, {n, 1, 20}] (* Vaclav Kotesovec, Mar 20 2014 *)

PROG

(PARI) for(n=1, 25, print1(sum(k=floor((n+1)/2), n, k*(2*k-n+1)^2 * binomial(n+1, n-k)^2/(n+1)^2), ", ")) \\ G. C. Greubel, May 25 2017

CROSSREFS

Cf. A126217.

Sequence in context: A134760 A257290 A281482 * A245390 A149061 A149062

Adjacent sequences:  A132886 A132887 A132888 * A132890 A132891 A132892

KEYWORD

nonn

AUTHOR

Emeric Deutsch, Sep 07 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified August 7 15:08 EDT 2020. Contains 336276 sequences. (Running on oeis4.)