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.

Showing 1-3 of 3 results.

A239927 Triangle read by rows: T(n,k) is the number of Dyck paths of semilength k such that the area between the x-axis and the path is n (n>=0; 0<=k<=n).

Original entry on oeis.org

1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 2, 0, 1, 0, 0, 0, 0, 3, 0, 1, 0, 0, 0, 1, 0, 4, 0, 1, 0, 0, 0, 0, 3, 0, 5, 0, 1, 0, 0, 0, 1, 0, 6, 0, 6, 0, 1, 0, 0, 0, 0, 3, 0, 10, 0, 7, 0, 1, 0, 0, 0, 0, 0, 7, 0, 15, 0, 8, 0, 1, 0, 0, 0, 0, 2, 0, 14, 0, 21, 0, 9, 0, 1, 0, 0, 0, 0, 0, 7, 0, 25, 0, 28, 0, 10, 0, 1, 0, 0, 0, 0, 1, 0, 17, 0, 41, 0, 36, 0, 11, 0, 1
Offset: 0

Views

Author

Joerg Arndt, Mar 29 2014

Keywords

Comments

Triangle A129182 transposed.
Column sums give the Catalan numbers (A000108).
Row sums give A143951.
Sums along falling diagonals give A005169.
T(4n,2n) = A240008(n). - Alois P. Heinz, Mar 30 2014

Examples

			Triangle begins:
00:  1;
01:  0, 1;
02:  0, 0, 1;
03:  0, 0, 0, 1;
04:  0, 0, 1, 0, 1;
05:  0, 0, 0, 2, 0, 1;
06:  0, 0, 0, 0, 3, 0, 1;
07:  0, 0, 0, 1, 0, 4, 0, 1;
08:  0, 0, 0, 0, 3, 0, 5, 0, 1;
09:  0, 0, 0, 1, 0, 6, 0, 6, 0, 1;
10:  0, 0, 0, 0, 3, 0, 10, 0, 7, 0, 1;
11:  0, 0, 0, 0, 0, 7, 0, 15, 0, 8, 0, 1;
12:  0, 0, 0, 0, 2, 0, 14, 0, 21, 0, 9, 0, 1;
13:  0, 0, 0, 0, 0, 7, 0, 25, 0, 28, 0, 10, 0, 1;
14:  0, 0, 0, 0, 1, 0, 17, 0, 41, 0, 36, 0, 11, 0, 1;
15:  0, 0, 0, 0, 0, 5, 0, 35, 0, 63, 0, 45, 0, 12, 0, 1;
16:  0, 0, 0, 0, 1, 0, 16, 0, 65, 0, 92, 0, 55, 0, 13, 0, 1;
17:  0, 0, 0, 0, 0, 5, 0, 40, 0, 112, 0, 129, 0, 66, 0, 14, 0, 1;
18:  0, 0, 0, 0, 0, 0, 16, 0, 86, 0, 182, 0, 175, 0, 78, 0, 15, 0, 1;
19:  0, 0, 0, 0, 0, 3, 0, 43, 0, 167, 0, 282, 0, 231, 0, 91, 0, 16, 0, 1;
20:  0, 0, 0, 0, 0, 0, 14, 0, 102, 0, 301, 0, 420, 0, 298, 0, 105, 0, 17, 0, 1;
...
Column k=4 corresponds to the following 14 paths (dots denote zeros):
#:         path              area   steps (Dyck word)
01:  [ . 1 . 1 . 1 . 1 . ]     4     + - + - + - + -
02:  [ . 1 . 1 . 1 2 1 . ]     6     + - + - + + - -
03:  [ . 1 . 1 2 1 . 1 . ]     6     + - + + - - + -
04:  [ . 1 . 1 2 1 2 1 . ]     8     + - + + - + - -
05:  [ . 1 . 1 2 3 2 1 . ]    10     + - + + + - - -
06:  [ . 1 2 1 . 1 . 1 . ]     6     + + - - + - + -
07:  [ . 1 2 1 . 1 2 1 . ]     8     + + - - + + - -
08:  [ . 1 2 1 2 1 . 1 . ]     8     + + - + - - + -
09:  [ . 1 2 1 2 1 2 1 . ]    10     + + - + - + - -
10:  [ . 1 2 1 2 3 2 1 . ]    12     + + - + + - - -
11:  [ . 1 2 3 2 1 . 1 . ]    10     + + + - - - + -
12:  [ . 1 2 3 2 1 2 1 . ]    12     + + + - - + - -
13:  [ . 1 2 3 2 3 2 1 . ]    14     + + + - + - - -
14:  [ . 1 2 3 4 3 2 1 . ]    16     + + + + - - - -
There are no paths with weight < 4, one with weight 4, none with weight 5, 3 with weight 6, etc., therefore column k=4 is
[0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 3, 0, 2, 0, 1, 0, 1, 0, 0, 0, ...].
Row n=8 is [0, 0, 0, 0, 3, 0, 5, 0, 1], the corresponding paths of weight=8 are:
Semilength 4:
  [ . 1 . 1 2 1 2 1 . ]
  [ . 1 2 1 . 1 2 1 . ]
  [ . 1 2 1 2 1 . 1 . ]
Semilength 6:
  [ . 1 . 1 . 1 . 1 . 1 2 1 . ]
  [ . 1 . 1 . 1 . 1 2 1 . 1 . ]
  [ . 1 . 1 . 1 2 1 . 1 . 1 . ]
  [ . 1 . 1 2 1 . 1 . 1 . 1 . ]
  [ . 1 2 1 . 1 . 1 . 1 . 1 . ]
Semilength 8:
  [ . 1 . 1 . 1 . 1 . 1 . 1 . 1 . 1 . ]

Links

Crossrefs

Sequences obtained by particular choices for x and y in the g.f. F(x,y) are: A000108 (F(1, x)), A143951 (F(x, 1)), A005169 (F(sqrt(x), sqrt(x))), A227310 (1+x*F(x, x^2), also 2-1/F(x, 1)), A239928 (F(x^2, x)), A052709 (x*F(1,x+x^2)), A125305 (F(1, x+x^3)), A002212 (F(1, x/(1-x))).
Cf. A047998, A138158, A227543.
Cf. A129181.

Programs

  • Maple
    b:= proc(x, y, k) option remember;
      `if`(y<0 or y>x or k<0, 0, `if`(x=0, `if`(k=0, 1, 0),
       b(x-1, y-1, k-y+1/2)+ b(x-1, y+1, k-y-1/2)))
    end:
T:= (n, k)-> b(2*k, 0, n):
seq(seq(T(n, k), k=0..n), n=0..20);  # Alois P. Heinz, Mar 29 2014
  • Mathematica
    b[x_, y_, k_] := b[x, y, k] = If[y<0 || y>x || k<0, 0, If[x == 0, If[k == 0, 1, 0], b[x-1, y-1, k-y+1/2] + b[x-1, y+1, k-y-1/2]]]; T[n_, k_] := b[2*k, 0, n]; Table[ Table[T[n, k], {k, 0, n}], {n, 0, 20}] // Flatten (* Jean-François Alcover, Feb 18 2015, after Alois P. Heinz *)
  • PARI
    rvec(V) = { V=Vec(V); my(n=#V); vector(n, j, V[n+1-j] ); }
print_triangle(V)= { my( N=#V ); for(n=1, N, print( rvec( V[n]) ) ); }
N=20; x='x+O('x^N);
F(x,y, d=0)=if (d>N, 1, 1 / (1-x*y * F(x, x^2*y, d+1) ) );
v= Vec( F(x,y) );
print_triangle(v)

Formula

G.f.: F(x,y) satisfies F(x,y) = 1 / (1 - x*y * F(x, x^2*y) ).
G.f.: 1/(1 - y*x/(1 - y*x^3/(1 - y*x^5/(1 - y*x^7/(1 - y*x^9/( ... )))))).

A360272 a(n) = Sum_{k=0..floor(n/4)} binomial(n-3*k,k) * Catalan(n-3*k).

Original entry on oeis.org

1, 1, 2, 5, 15, 46, 147, 485, 1642, 5669, 19883, 70646, 253755, 919925, 3361546, 12368661, 45786219, 170400470, 637200555, 2392962645, 9021255722, 34128098389, 129519490219, 492966689110, 1881289209003, 7197100511317, 27595769836714, 106032318322517
Offset: 0

Views

Author

Seiichi Manyama, Jan 31 2023

Keywords

Crossrefs

Cf. A052709, A125305.
Cf. A000108, A360267, A360271, A360274.

Programs

  • Maple
    A360272 := proc(n)
    add(binomial(n-3*k,k)*A000108(n-3*k),k=0..n/3) ;
end proc:
seq(A360272(n),n=0..70) ; # R. J. Mathar, Mar 12 2023
  • PARI
    a(n) = sum(k=0, n\4, binomial(n-3*k, k)*binomial(2*(n-3*k), n-3*k)/(n-3*k+1));
  • PARI
    my(N=30, x='x+O('x^N)); Vec(2/(1+(sqrt(1-4*x*(1+x^3)))))

Formula

G.f.: c(x * (1+x^3)), where c(x) is the g.f. of A000108.
a(n) ~ 2 * sqrt(1-3*r) / (sqrt(Pi) * n^(3/2) * r^n), where r = 0.2463187933841... is the smallest positive root of the equation1 1 - 4*r - 4*r^4 = 0. - Vaclav Kotesovec, Feb 01 2023
D-finite with recurrence (n+1)*a(n) +2*(-2*n+1)*a(n-1) +(n+1)*a(n-3) +2*(-4*n+11)*a(n-4) +4*(-n+5)*a(n-7)=0. - R. J. Mathar, Mar 12 2023

A367056 G.f. satisfies A(x) = 1 + x*A(x)^2 + x^3*A(x).

Original entry on oeis.org

1, 1, 2, 6, 17, 52, 168, 561, 1922, 6719, 23871, 85938, 312823, 1149421, 4257460, 15880036, 59594517, 224856450, 852491806, 3245959002, 12407332166, 47592364107, 183139542306, 706794663136, 2735053815771, 10609811267757, 41251228784198
Offset: 0

Views

Author

Seiichi Manyama, Nov 04 2023

Keywords

Crossrefs

Cf. A049140, A071969, A125305, A216490, A367042.

Programs

  • Maple
    A367056 := proc(n)
    add(binomial(n-2*k+1,k) * binomial(2*n-5*k,n-3*k)/(n-2*k+1),k=0..floor(n/3)) ;
end proc:
seq(A367056(n),n=0..70) ; # R. J. Mathar, Dec 04 2023
  • PARI
    a(n) = sum(k=0, n\3, binomial(n-2*k+1, k)*binomial(2*n-5*k, n-3*k)/(n-2*k+1));

Formula

G.f.: A(x) = 2 / (1-x^3+sqrt((1-x^3)^2-4*x)).
a(n) = Sum_{k=0..floor(n/3)} binomial(n-2*k+1,k) * binomial(2*n-5*k,n-3*k)/(n-2*k+1).
D-finite with recurrence (n+1)*a(n) +2*(-2*n+1)*a(n-1) +(-2*n+7)*a(n-3) +(n-8)*a(n-6)=0. - R. J. Mathar, Dec 04 2023
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.