A114492 -id:A114492 - cp's OEIS frontend

A003516 Binomial coefficients C(2n+1, n-2).

1, 7, 36, 165, 715, 3003, 12376, 50388, 203490, 817190, 3268760, 13037895, 51895935, 206253075, 818809200, 3247943160, 12875774670, 51021117810, 202112640600, 800472431850, 3169870830126, 12551759587422

Offset: 2

N. J. A. Sloane

a(n) is the number of royal paths (A006318) from (0,0) to (n,n) with exactly one diagonal step off the line y=x. - David Callan, Mar 25 2004

a(n) is the total number of DDUU's in all Dyck (n+2)-paths. - David Scambler, May 03 2013

			For n=4, C(2*4+1,4-2) = C(9,2) = 9*8/2 = 36, so a(4) = 36. - _Michael B. Porter_, Sep 10 2016

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 828.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

G. C. Greubel, Table of n, a(n) for n = 2..1000
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Heidi Goodson, An Identity for Vertically Aligned Entries in Pascal's Triangle, arXiv:1901.08653 [math.CO], 2019.
Milan Janjic, Two Enumerative Functions.
Toufik Mansour and Mark Shattuck, Counting occurrences of subword patterns in non-crossing partitions, Art Disc. Appl. Math. (2022).
Asamoah Nkwanta and Earl R. Barnes, Two Catalan-type Riordan Arrays and their Connections to the Chebyshev Polynomials of the First Kind, Journal of Integer Sequences, Vol. 15 (2012), Article 12.3.3. - From _N. J. A. Sloane_, Sep 16 2012
Daniel W. Stasiuk, An Enumeration Problem for Sequences of n-ary Trees Arising from Algebraic Operads, Master's Thesis, University of Saskatchewan-Saskatoon (2018).

Diagonal 6 of triangle A100257.
Third unsigned column (s=2) of A113187. - Wolfdieter Lang, Oct 18 2012
Cf. triangle A114492 - Dyck paths with k DDUU's.
Cf. A001622, A115139.
Cf. binomial(2*n+m, n): A000984 (m = 0), A001700 (m = 1), A001791 (m = 2), A002054 (m = 3), A002694 (m = 4), A002696 (m = 6), A030053 - A030056, A004310 - A004318.

List([2..25], n-> Binomial(2*n+1, n-2)); # G. C. Greubel, Mar 21 2019

[Binomial(2*n+1,n-2): n in [2..25]]; // Vincenzo Librandi, Apr 13 2011

CoefficientList[ Series[ 32/(((Sqrt[1 - 4 x] + 1)^5)*Sqrt[1 - 4 x]), {x, 0, 25}], x] (* Robert G. Wilson v, Aug 08 2011 *)
Table[Binomial[2*n +1,n-2], {n,2,25}] (* G. C. Greubel, Jan 23 2017 *)

{a(n) = binomial(2*n+1, n-2)}; \\ G. C. Greubel, Mar 21 2019

[binomial(2*n+1, n-2) for n in (2..25)] # G. C. Greubel, Mar 21 2019

G.f.: 32*x^2/(sqrt(1-4*x)*(sqrt(1-4*x)+1)^5). - Marco A. Cisneros Guevara, Jul 18 2011
a(n) = Sum_{k=0..n-2} binomial(n+k+2,k). - Arkadiusz Wesolowski, Apr 02 2012
D-finite with recurrence (n+3)*(n-2)*a(n) = 2*n*(2*n+1)*a(n-1). - R. J. Mathar, Oct 13 2012
G.f.: x^2*c(x)^5/sqrt(1-4*x) = ((-1 + 2*x) + (1 - 3*x + x^2) * c(x))/(x^2*sqrt(1-4*x)), with c(x) the o.g.f. of the Catalan numbers A000108. See the W. Lang link under A115139 for powers of c. - Wolfdieter Lang, Sep 10 2016
a(n) ~ 2^(2*n+1)/sqrt(Pi*n). - Ilya Gutkovskiy, Sep 10 2016
From Amiram Eldar, Jan 24 2022: (Start)
Sum_{n>=2} 1/a(n) = 4 - 14*Pi/(9*sqrt(3)).
Sum_{n>=2} (-1)^n/a(n) = 228*log(phi)/(5*sqrt(5)) - 134/15, where phi is the golden ratio (A001622). (End)
G.f.: 2F1([7/2,3],[6],4*x). - Karol A. Penson, Apr 24 2024
a(n) = Integral_{x = 0..4} x^n * w(x) dx, where the weight function w(x) = 1/(2*Pi) * sqrt(x)*(x^2 - 5*x + 5)/sqrt(4 - x). - Peter Bala, Oct 13 2024

A086581 Number of Dyck paths of semilength n with no DDUU.

Original entry on oeis.org

1, 1, 2, 5, 13, 35, 97, 275, 794, 2327, 6905, 20705, 62642, 190987, 586219, 1810011, 5617914, 17518463, 54857506, 172431935, 543861219, 1720737981, 5459867166, 17369553427, 55391735455, 177040109419, 567019562429, 1819536774089

Offset: 0

Michael Somos, Jul 22 2003

nonn

See A025242 for a bijection between paths avoiding UUDD versus DDUU.
Number of lattice paths, never going below the x-axis, from (0,0) to (n,0) consisting of up steps U(k) = (k,1) for every positive integer k, down steps D = (1,-1) and horizontal steps H. - José Luis Ramírez Ramírez, Apr 19 2015
Given a sequence variant with 0 inserted between the two 1's, the INVERT transform of the modified sequence is this sequence. - Gary W. Adamson, Jun 28 2015

			a(4) = 13 because of the 14 Dyck 4-paths only UUDDUUDD contains DDUU.

Robert Israel, Table of n, a(n) for n = 0..1709
Paul Barry, Continued fractions and transformations of integer sequences, JIS 12 (2009) 09.7.6.
Paul Barry, Generalized Catalan recurrences, Riordan arrays, elliptic curves, and orthogonal polynomials, arXiv:1910.00875 [math.CO], 2019.
Lu, Qing Lin Skew Motzkin paths Acta Math. Sin., Engl. Ser. 33, No. 5, 657-667 (2017) sequence s_n
T. Mansour, Restricted 1-3-2 permutations and generalized patterns, arXiv:math/0110039 [math.CO], 2001.
T. Mansour, Restricted 1-3-2 permutations and generalized patterns, Annals of Combin., 6 (2002), 65-76. (Example 2.10.)
L. Pudwell, Pattern avoidance in trees (slides from a talk, mentions many sequences), 2012. - From _N. J. A. Sloane_, Jan 03 2013
A. Sapounakis, I. Tasoulas and P. Tsikouras, On the Dominance Partial Ordering of Dyck Paths, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.5.
A. Sapounakis, I. Tasoulas and P. Tsikouras, Counting strings in Dyck paths, Discrete Math., 307 (2007), 2909-2924.
Murray Tannock, Equivalence classes of mesh patterns with a dominating pattern, MSc Thesis, Reykjavik Univ., May 2016.

Cf. A025242, A082582.

Column k=0 of A114492.

F:= gfun:-rectoproc({(n+2)*a(n) +(n+3)*a(n-1) +2*(-9*n+4)*a(n-2) +10*(n-2)*a(n-3) +(n-4)*a(n-4) +5*(n-5)*a(n-5)=0, seq(a(n)=[1,1,2,5,13][n+1],n=0..4)},a(n),remember):
map(F, [$0..30]); # Robert Israel, Jun 29 2015

CoefficientList[ Series[(1 - 2 x + x^2 - Sqrt[1 - 4 x + 2 x^2 + x^4])/(2 x^2), {x, 0, 27}], x] (* Robert G. Wilson v, Mar 25 2011 *)

{a(n) = polcoeff((1 - 2*x + x^2 - sqrt(1 - 4*x + 2*x^2 + x^4 + x^3 * O(x^n))) / 2, n+2)}

a(n)=1+sum(k=0,n,sum(i=0,k,binomial(n-1,k)*binomial(2*i+2,i)*binomial(i+2,k-2*i-1)/(i+1))) \\ Thomas Baruchel, Jan 19 2015

G.f. A(x) satisfies the equation 0 = 1 - x - (1 - x)^2 * A(x) + (x * A(x))^2.
a(n) = A025242(n+1) = A082582(n+1).
G.f.: (1 - 2*x + x^2 - sqrt(1 - 4*x + 2*x^2 + x^4))  /(2 * x^2).
a(n+2) - 2*a(n+1) + a(n) = a(0)*a(n) + a(1)*a(n-1) + ... + a(n)*a(0).
G.f.: (1/(1-x))*c(x^2/(1-x)^3), c(x) the g.f. of A000108; a(n)=sum{k=0..floor(n/2), C(n+k,3k)*A000108(k)}. - Paul Barry, May 31 2006
Conjecture: (n+2)*a(n) +(n+3)*a(n-1) +2*(-9*n+4)*a(n-2) +10*(n-2)*a(n-3) +(n-4)*a(n-4) +5*(n-5)*a(n-5)=0. - R. J. Mathar, Nov 26 2012
G.f. satisfies (10*x^3-28*x^2+4*x+2)*A(x) + (5*x^6+x^5+10*x^4-18*x^3+x^2+x)*A'(x) = 5*x^4+x^3-15*x^2+7*x+2. This confirms R. J. Mathar's recurrence equation. - Robert Israel, Jun 29 2015
G.f.: 1 - G(0), where G(k)= 1 - 1/(1 - x/(1 - x/(1 - x/(1 - x/(x - 1/G(k+1) ))))); (continued fraction). - Sergei N. Gladkovskii, Jul 12 2013
G.f.: 1/G(0) where G(k) = 1 - q/(1 - q - q^2 / G(k+1) ); (continued fraction). - Joerg Arndt, Feb 27 2014
From Thomas Baruchel, Jan 19 2015: (Start)
a(n) = 1+Sum_{k=0..n} Sum_{i=0..k} C(n-1,k)*C(2i+2,i)*C(i+2,k-2i-1)/(i+1).
a(n) = Sum_{k=0..n} C(2k,k)*C(n+k,3k)/(k+1).
Sum_{k=0..n} a(k+1)*A108626(n-k) = Sum_{k=0..n} Sum_{i=0..k} binomial(n-k+1,i-1)*binomial(n-k+1,i)*binomial(n-i+1,k-i). (End)

Name corrected by David Scambler, Mar 28 2011

A114302 Number of "sweet" Boolean functions of n variables.

Original entry on oeis.org

2, 3, 6, 18, 106, 2102, 456774, 7108935325

Offset: 0

Don Knuth, Aug 16 2008

A sweet Boolean function is a monotone function whose BDD (binary decision diagram) is the same as the ZDD (zero-suppressed decision diagram) for its prime implicants (aka minimal solutions).
Equivalently, this is the number of sweet antichains contained in {1,...,n}. (Also called sweet clutters.) A sweet antichain whose largest element is n is a family of subsets A \cup (n\cup B) where A and B are sweet antichains in {1,...n-1}, B is nonempty and every element of A properly contains some element of B.
The property of being "sweet" depends on the order of the variables - compare A114491.

			All six of the antichains in {1,2} are sweet. They are emptyset, {emptyset}, {{1}}, {{2}}, {{1,2}} and {{1},{2}}.
Only 18 of the 20 antichains in {1,2,3} are sweet. The nonsweet ones are {{1,3},{2}} and {{1},{2,3}}. Because, in the latter case, A={1} and B={2}. However, {{1,2},{3}} is sweet because A={{1,2}} and B={emptyset}.
Some of the most interesting members of this apparently new family of Boolean functions are the connectedness functions, defined on the edges of any graph. The function f=[these arcs give a connected subgraph] is sweet, under any ordering of the arcs. Threshold functions [x_1+...+x_n >= k] are sweet too.
Also the conjunction of sweet functions on disjoint sets of variables is sweet.

Donald E. Knuth, The Art of Computer Programming, Vol. 4, fascicle 1, section 7.1.4, p. 117, Addison-Wesley, 2009.

Cf. A114303, A114492, A114572.

cp's OEIS Frontend

A003516 Binomial coefficients C(2n+1, n-2).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Magma

Mathematica

PARI

Sage

Formula

A086581 Number of Dyck paths of semilength n with no DDUU.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

PARI

Formula

Extensions

A114302 Number of "sweet" Boolean functions of n variables.

Views

Author

Keywords

Comments

Examples

References

Crossrefs

A114303 Number of sweet Boolean functions of n variables that depend on all the variables.

Views

Author

Keywords

Crossrefs

Formula