cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A280891 Number of certain noncrossing set partitions.

Original entry on oeis.org

1, 4, 12, 37, 118, 387, 1298, 4433, 15366, 53924, 191216, 684114, 2466428, 8951945, 32683230, 119949945, 442281030, 1637618400, 6086481720, 22699003830, 84918443220, 318593346630, 1198421583684, 4518886787802, 17077448924828, 64671604514552, 245380598678208, 932708665735364, 3551238550341944, 13542393822575541
Offset: 1

Views

Author

Henri Mühle, Jan 10 2017

Keywords

Comments

Let X_n be the set of all noncrossing set partitions of an n-element set that do not contain {n-1, n} as a block, and also do not contain the block {n} whenever 1 and n-1 are in the same block. a(n) is the number of elements of X_{n+2} in which n-2 and n-1 lie in the same block.
Equivalently, a(n) is the number of noncrossing set partitions of {1, 2, ..., n+2} such that n and n+1 belong to the same block, and if 1 also belongs to this block then n+2 does as well. This leads to the formula a(n) = C(n + 1) - C(n - 1), where C(n) is the n-th Catalan number (A000108): there are C(n + 1) noncrossing set partitions with n and n + 1 in the same block, and C(n - 1) noncrossing set partitions with {n + 2} a singleton block and 1, n, and n + 1 in the same block. - Joel B. Lewis, Apr 19 2017

Examples

			X_4 has the following 10 elements: 1|2|3|4, 12|3|4, 1|23|4, 1|24|3, 14|2|3, 1|234, 124|3, 14|23, 134|2, 1234. The a(2)=4 elements in which 2 and 3 are in the same block are 1|23|4, 1|234, 14|23, 1234.
		

Crossrefs

Programs

  • Mathematica
    CoefficientList[Series[(1 + x) (1 - 3 x - (1 - x) Sqrt[1 - 4 x])/(2 x^2), {x, 0, 30}], x] (* Michael De Vlieger, Jan 03 2020 *)
  • PARI
    C(n)=binomial(2*n,n)/(n+1);
    vector(66,n,C(n + 1) - C(n - 1)) \\ Joerg Arndt, Apr 19 2017

Formula

a(n) = C(n + 1) - C(n - 1) where C(n) is the n-th Catalan number (A000108). - Joel B. Lewis, Apr 19 2017
G.f.: (1 + x)*(1 - 3*x - (1 - x)*sqrt(1 - 4*x))/(2*x^2). - Ilya Gutkovskiy, Apr 20 2017