A084249 -id:A084249 - cp's OEIS frontend

A003517 Number of permutations of [n+1] with exactly 1 increasing subsequence of length 3.

1, 6, 27, 110, 429, 1638, 6188, 23256, 87210, 326876, 1225785, 4601610, 17298645, 65132550, 245642760, 927983760, 3511574910, 13309856820, 50528160150, 192113383644, 731508653106, 2789279908316, 10649977831752, 40715807302800, 155851062397940, 597261490737912

Offset: 2

N. J. A. Sloane

a(n-4) = number of n-th generation vertices in the tree of sequences with unit increase labeled by 5 (cf. Zoran Sunic reference). - Benoit Cloitre, Oct 07 2003
Number of standard tableaux of shape (n+3,n-2). - Emeric Deutsch, May 30 2004
a(n) = A214292(2*n,n-3) for n > 2. - Reinhard Zumkeller, Jul 12 2012
a(n) is the number of North-East paths from (0,0) to (n,n) that cross the diagonal y = x horizontally exactly once. By symmetry, it is also the number of North-East paths from (0,0) to (n,n) that cross the diagonal y = x vertically exactly once. Details can be found in Section 3.3 in Pan and Remmel's link. - Ran Pan, Feb 02 2016
a(n) is the number of permutations pi of [n+3] such that s(pi)=321456...(n+3), where s denotes West's stack-sorting map. - Colin Defant, Jan 14 2019
a(n) is also the number of permutations of [n+1] avoiding the pattern 321. For permutations avoiding any of the other permutations of [3] (that is, any of 132, 213, 231, or 312) see A002054. - N. J. A. Sloane, Nov 26 2022

			a(3)=6 because the only permutations of 1234 with exactly 1 increasing subsequence of length 3 are 1423, 4123, 1342, 2314, 2341, 3124.

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Vincenzo Librandi, Table of n, a(n) for n = 2..1000
Anwar Al Ghabra, K. Gopala Krishna, Patrick Labelle, and Vasilisa Shramchenko, Enumeration of multi-rooted plane trees, arXiv:2301.09765 [math.CO], 2023.
Daniel Birmajer, Juan B. Gil, and Michael D. Weiner, Bounce statistics for rational lattice paths, arXiv:1707.09918 [math.CO], 2017, p. 9.
David Callan, A recursive bijective approach to counting permutations..., arXiv:math/0211380 [math.CO], 2002.
S. J. Cyvin, J. Brunvoll, E. Brendsdal, B. N. Cyvin, and E. K. Lloyd, Enumeration of polyene hydrocarbons: a complete mathematical solution, J. Chem. Inf. Comput. Sci., Vol. 35, No. 4 (1995), pp. 743-751.
S. J. Cyvin, J. Brunvoll, E. Brendsdal, B. N. Cyvin, and E. K. Lloyd, Enumeration of polyene hydrocarbons: a complete mathematical solution, J. Chem. Inf. Comput. Sci., Vol. 35, No. 4 (1995), pp. 743-751. [Annotated scanned copy]
Olivier Danvy, Summa Summarum: Moessner's Theorem without Dynamic Programming, arXiv:2412.03127 [cs.DM], 2024. See p. 31.
Hilmar Haukur Gudmundsson, Dyck paths, standard Young tableaux, and pattern avoiding permutations, PU. M. A., Vol. 21 , No. 2 (2010), pp. 265-284 (see 4.3 p. 277).
Richard K. Guy, Letter to N. J. A. Sloane, May 1990.
Richard K. Guy, Catwalks, sandsteps and Pascal pyramids, J. Integer Sequences, Vol. 3 (2000), Article 00.1.6.
V. E. Hoggatt, Jr., 7-page typed letter to N. J. A. Sloane with suggestions for new sequences, circa 1977.
V. E. Hoggatt, Jr. and M. Bicknell, Catalan and related sequences arising from inverses of Pascal's triangle matrices, Fib. Quart., 14 (1976), 395-405.
Markus Kuba and Alois Panholzer, Stirling permutations containing a single pattern of length three, Australasian Journal of Combinatorics, Vol. 74, No. 2 (2019), pp. 216-239.
Nik Lygeros and Olivier Rozier, A new solution to the equation tau(rho) == 0 (mod p), J. Int. Seq., Vol. 13 (2010), Article 10.7.4.
John Noonan, The number of permutations containing exactly one increasing subsequence of length three, Discrete Math., Vol. 152, No. 1-3 (1996), pp. 307-313.
John Noonan and Doron Zeilberger, The Enumeration of Permutations With a Prescribed Number of "Forbidden" Patterns, arXiv:math/9808080 [math.CO], 1998.
Ran Pan and Jeffrey B. Remmel, Paired patterns in lattice paths, arXiv:1601.07988 [math.CO], 2016.
L. W. Shapiro, A Catalan triangle, Discrete Math., Vol. 14, No. 1 (1976), pp. 83-90.
L. W. Shapiro, A Catalan triangle, Discrete Math., Vol. 14, No. 1 (1976), pp. 83-90. [Annotated scanned copy]
Zoran Sunic, Self describing sequences and the Catalan family tree, Elect. J. Combin., Vol. 10 (2003), Article N5.

T(n, n+6) for n=0, 1, 2, ..., array T as in A047072.
See also A002054.
Cf. A001089, A084249, A000108, A000245, A002057, A000344, A000588, A003518, A003519, A001392, A001622, A214292.
First differences are in A026017.
A diagonal of any of the essentially equivalent arrays: A009766, A030237, A033184, A059365, A099039, A106566, A130020, A047072.

A003517List := proc(m) local A, P, n; A := [1]; P := [1,1,1,1,1];
for n from 1 to m - 2 do P := ListTools:-PartialSums([op(P), P[-1]]);
A := [op(A), P[-1]] od; A end: A003517List(25); # Peter Luschny, Mar 26 2022

f[x_] = (Sqrt[1 - 4 x] - 1)^6/(64 x^4); CoefficientList[Series[f[x], {x, 0, 25}], x][[3 ;; 26]] (* Jean-François Alcover, Jul 13 2011, after g.f. *)
Table[6 Binomial[2n+1,n-2]/(n+4),{n,2,30}] (* Harvey P. Dale, Feb 27 2012 *)

a(n)=6*binomial(2*n+1,n-2)/(n+4) \\ Charles R Greathouse IV, May 18 2015

x='x+O('x^50); Vec(x^2*((1-(1-4*x)^(1/2))/(2*x))^6) \\ Altug Alkan, Nov 01 2015

a(n) = 6*binomial(2*n+1, n-2)/(n+4).
G.f.: x^2*C(x)^6, where C(x) is g.f. for the Catalan numbers (A000108). - Emeric Deutsch, May 30 2004
E.g.f.: exp(2*x)*(Bessel_I(2,2*x) - Bessel_I(4,2*x)). - Paul Barry, Jun 04 2007
Let A be the Toeplitz matrix of order n defined by: A[i,i-1]=-1, A[i,j]=Catalan(j-i), (i<=j), and A[i,j]=0, otherwise. Then, for n >= 5, a(n-3) = (-1)^(n-5)*coeff(charpoly(A,x),x^5). - Milan Janjic, Jul 08 2010
a(n) = Sum_{i>=1, j>=1, k>=1, i+j+k=n+1} Catalan(i)*Catalan(j)*Catalan(k). T. D. Noe, Dec 22 2010
D-finite with recurrence -(n+4)*(n-2)*a(n) + 2*n*(2*n+1)*a(n-1) = 0. - R. J. Mathar, Dec 04 2012
From Amiram Eldar, Jan 02 2022: (Start)
Sum_{n>=2} 1/a(n) = 7/2 - 34*Pi/(27*sqrt(3)).
Sum_{n>=2} (-1)^n/a(n) = 828*log(phi)/(25*sqrt(5)) - 2819/450, where phi is the golden ratio (A001622). (End)
a(n) ~ 3*4^(n+1)/(n^(3/2)*sqrt(Pi)). - Stefano Spezia, Apr 17 2024
a(n) = A000108(n+3) - 4*A000108(n+2) + 3*A000108(n+1). - Taras Goy, Jul 15 2024
a(n) = 6*(2*n+1)!*(n-1)!/((2*n-4)!*(n+4)!)*A000108(n-2). - Taras Goy, Dec 21 2024

A001089 Number of permutations of [n] containing exactly 2 increasing subsequences of length 3.

Original entry on oeis.org

0, 0, 0, 0, 3, 24, 133, 635, 2807, 11864, 48756, 196707, 783750, 3095708, 12152855, 47500635, 185082495, 719559600, 2793121080, 10830450780, 41965864794, 162539516448, 629399492330, 2437072038302, 9437097796918

Offset: 0

John Thomas Noonan [ noonan(AT)euclid.math.temple.edu ]

nonn

			For n=4, there are 4! = 24 permutations of 1234. The identity permutation 1234 has four increasing subsequences of length 3 (123, 124, 134, and 234), and the permutation 2314 has only one increasing subsequence of length 3 (234). Only the permutations 1243, 1324, and 2134 have exactly two increasing subsequences of length 3, and since there are three of them, a(4) = 3. - _Michael B. Porter_, Sep 03 2016

G. C. Greubel, Table of n, a(n) for n = 0..1000
M. Fulmek, Enumeration of permutations containing a prescribed number of occurrences of a pattern of length three, arXiv:math/0112092 [math.CO], 2001-2002. Also doi:10.1016/S0196-8858(02)00501-8, Adv. Appl. Math., 30, 2003, 607-632.
T. Mansour and A. Vainshtein, Counting occurrences of 123 in a permutation, arXiv:math/0105073 [math.CO], 2001.
Toufik Mansour, Sherry H. F. Yan and Laura L. M. Yang, Counting occurrences of 231 in an involution, Discrete Mathematics 306 (2006), pages 564-572.
J. Noonan and D. Zeilberger, The Enumeration of Permutations With a Prescribed Number of "Forbidden" Patterns, arXiv:math/9808080 [math.CO], 1998. Also doi:10.1006/aama.1996.0016, Adv. in Appl. Math. 17 (1996), no. 4, 381--407. MR1422065 (97j:05003).

Cf. A003517, A084249, A138159.

Leading column of A229158.

Concatenation([0,0,0,0], List([4..30], n-> (100+117*n+59*n^2)* Binomial(2*n,n-4)/(2*n*(2*n-1)*(n+5)))); # G. C. Greubel, Sep 19 2019

[0,0,0,0] cat [(100+117*n+59*n^2)*Binomial(2*n,n-4)/(2*n*(2*n-1)*(n+5)): n in [4..30]]; // G. C. Greubel, Sep 19 2019

seq(`if`(n=0, 0, (100+117*n+59*n^2)*binomial(2*n, n-4)/(2*n*(2*n-1)*(n+5))), n = 0..30); # G. C. Greubel, Sep 19 2019

{0}~Join~CoefficientList[Series[((x^5-3x^4+5x^3-10x^2+6*x-1)(1-4x)^(1/2) - 5x^5+7x^4-17x^3+20x^2-8*x+1)/(2x^6), {x,0,23}], x] (* or *)
{0}~Join~CoefficientList[Series[x^5*((1-(1-4x)^(1/2))/(2x))^11 +3x^3*( (1-(1-4x)^(1/2))/(2x))^8, {x,0,23}], x] (* Michael De Vlieger, Sep 03 2016 *)

a(n) = (100+117*n+59*n^2)*binomial(2*n,n-4)/(2*n*(2*n-1)*(n+5)) \\ G. C. Greubel, Sep 19 2019

[0,0,0,0]+[(100+117*n+59*n^2)*binomial(2*n,n-4)/(2*n*(2*n-1)*(n+5)) for n in (4..30)] # G. C. Greubel, Sep 19 2019

Noonan and Zeilberger conjectured that a(n) = ((59*n^2+117*n+100) /(2*n*(2*n-1)*(n+5))) *binomial(2*n,n-4). This was proved by Fulmek.
G.f.: ((x^5 -3*x^4 +5*x^3 -10*x^2 +6*x -1)*(1-4*x)^(1/2) - 5*x^5 +7*x^4 -17*x^3 +20*x^2 -8*x +1)/(2*x^6). - Mark van Hoeij, Oct 25 2011
G.f.: x^5*C(x)^11 + 3*x^3*C(x)^8, where C(x) is g.f. for the Catalan numbers (A000108). - Michael D. Weiner, Sep 02 2016
D-finite with recurrence -(n+5)*(n-4)*(59*n^2-n+42)*a(n) +2*(n-1)*(2*n-3)*(59*n^2 +117*n+100)*a(n-1) = 0, equivalent to recurrence of [Noonan-Zeilberger] binomial. - R. J. Mathar, Jan 04 2017

Terms a(25) onward added by G. C. Greubel, Sep 19 2019

A228708 Triangle T(n,k) read by rows: T(n,k) = number of permutations on 123...n with exactly one abc pattern and no aj pattern with j<=k, for n>=0, 0<=k<=n.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 6, 6, 2, 0, 0, 27, 27, 12, 3, 0, 0, 110, 110, 55, 19, 4, 0, 0, 429, 429, 229, 91, 27, 5, 0, 0, 1638, 1638, 912, 393, 136, 36, 6, 0, 0, 6188, 6188, 3549, 1614, 612, 191, 46, 7, 0, 0, 23256, 23256, 13636, 6447, 2601, 897, 257, 57, 8, 0, 0

Offset: 0

N. J. A. Sloane, Sep 15 2013

See Noonan-Zeilberger for precise definition.

			Triangle begins:
0
0,0
0,0,0
1,1,0,0
6,6,2,0,0
27,27,12,3,0,0
110,110,55,19,4,0,0
429,429,229,91,27,5,0,0
1638,1638,912,393,136,36,6,0,0
6188,6188,3549,1614,612,191,46,7,0,0
23256,23256,13636,6447,2601,897,257,57,8,0,0
...

J. Noonan and D. Zeilberger, [math/9808080] The Enumeration of Permutations With a Prescribed Number of ``Forbidden'' Patterns. Also Adv. in Appl. Math. 17 (1996), no. 4, 381--407. MR1422065 (97j:05003).

See A084249 for a curtailed version. See also A229158, A229160.

T(n, 1) = A003517(n+1). Cf. A001089.

for(n=1,15, for(k=1,n-2,print1(binomial(2*n-k-1,n)-binomial(2*n-k-1,n+3)+binomial(2*n-2*k-2,n-k-4)-binomial(2*n-2*k-2,n-k-1)+binomial(2*n-2*k-3,n-k-4)-binomial(2*n-2*k-3,n-k-2)",")))

T(n, k) = C(2n-k-1, n) - C(2n-k-1, n+3) + C(2n-2k-2, n-k-4) - C(2n-2k-2, n-k-1) + C(2n-2k-3, n-k-4) - C(2n-2k-3, n-k-2).

T(n, n-2) = n-2, T(n, k) = T(n, k+1) + T(n-1, k-1) + T(n-k, 2).

cp's OEIS Frontend

A003517 Number of permutations of [n+1] with exactly 1 increasing subsequence of length 3.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Formula

A001089 Number of permutations of [n] containing exactly 2 increasing subsequences of length 3.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Sage

Formula

Extensions

A228708 Triangle T(n,k) read by rows: T(n,k) = number of permutations on 123...n with exactly one abc pattern and no aj pattern with j<=k, for n>=0, 0<=k<=n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Formula