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-9 of 9 results.

A080936 Triangle read by rows: T(n,k) is the number of Dyck paths of semilength n and height k (1 <= k <= n).

Original entry on oeis.org

1, 1, 1, 1, 3, 1, 1, 7, 5, 1, 1, 15, 18, 7, 1, 1, 31, 57, 33, 9, 1, 1, 63, 169, 132, 52, 11, 1, 1, 127, 482, 484, 247, 75, 13, 1, 1, 255, 1341, 1684, 1053, 410, 102, 15, 1, 1, 511, 3669, 5661, 4199, 1975, 629, 133, 17, 1, 1, 1023, 9922, 18579, 16017, 8778, 3366, 912, 168, 19, 1
Offset: 1

Views

Author

Henry Bottomley, Feb 25 2003

Keywords

Comments

Sum of entries in row n is A000108(n) (the Catalan numbers).
From Gus Wiseman, Nov 16 2022: (Start)
Also the number of unlabeled ordered rooted trees with n nodes and height k. For example, row n = 5 counts the following trees:
(oooo) ((o)oo) (((o))o) ((((o))))
((oo)o) (((o)o))
((ooo)) (((oo)))
(o(o)o) ((o(o)))
(o(oo)) (o((o)))
(oo(o))
((o)(o))
(End)

Examples

			T(3,2)=3 because we have UUDDUD, UDUUDD, and UUDUDD, where U=(1,1) and D=(1,-1). The other two Dyck paths of semilength 3, UDUDUD and UUUDDD, have heights 1 and 3, respectively. - _Emeric Deutsch_, Jun 08 2011
Triangle starts:
  1;
  1,  1;
  1,  3,   1;
  1,  7,   5,   1;
  1, 15,  18,   7,  1;
  1, 31,  57,  33,  9,  1;
  1, 63, 169, 132, 52, 11, 1;
		

References

  • N. G. de Bruijn, D. E. Knuth, and S. O. Rice, The average height of planted plane trees, in: Graph Theory and Computing (ed. T. C. Read), Academic Press, New York, 1972, pp. 15-22.

Crossrefs

T(2n,n) gives A268316.
Counting by leaves instead of height gives A001263.
The unordered version is A034781.
The height statistic is ranked by A358379, unordered A109082.

Programs

  • Maple
    f := proc (k) options operator, arrow:
       sum(binomial(k-i, i)*(-z)^i, i = 0 .. floor((1/2)*k))
    end proc:
    h := proc (k) options operator, arrow:
       z^k/(f(k)*f(k+1))
    end proc:
    T := proc (n, k) options operator, arrow:
       coeff(series(h(k), z = 0, 25), z, n)
    end proc:
    for n to 11 do seq(T(n, k), k = 1 .. n) end do; # yields sequence in triangular form Emeric Deutsch, Jun 08 2011
    # second Maple program:
    b:= proc(x, y, k) option remember; `if`(y>min(k, x) or y<0, 0,
          `if`(x=0, 1, b(x-1, y-1, k)+ b(x-1, y+1, k)))
        end:
    T:= (n, k)-> b(2*n, 0, k) -`if`(k=0, 0, b(2*n, 0, k-1)):
    seq(seq(T(n, k), k=1..n), n=1..14);  # Alois P. Heinz, Aug 06 2012
  • Mathematica
    b[x_, y_, k_] := b[x, y, k] = If[y > Min[k, x] || y<0, 0, If[x == 0, 1, b[x-1, y-1, k] + b[x-1, y+1, k]]]; T[n_, k_] := b[2*n, 0, k] - If[k == 0, 0, b[2*n, 0, k-1] ]; Table[Table[T[n, k], {k, 1, n}], {n, 1, 14}] // Flatten (* Jean-François Alcover, Feb 26 2015, after Alois P. Heinz *)
    aot[n_]:=If[n==1,{{}},Join@@Table[Tuples[aot/@c],{c,Join@@Permutations/@IntegerPartitions[n-1]}]];
    Table[Length[Select[aot[n],Depth[#]-2==k&]],{n,1,9},{k,1,n-1}] (* Gus Wiseman, Nov 16 2022 *)

Formula

T(n, k) = A080934(n, k) - A080934(n, k-1).
The g.f. for Dyck paths of height k is h(k) = z^k/(f(k)*f(k+1)), where f(k) are Fibonacci type polynomials defined by f(0)=f(1)=1, f(k)=f(k-1)-z*f(k-2) or by f(k) = Sum_{i=0..floor(k/2)} binomial(k-i,i)*(-z)^i. Incidentally, the g.f. for Dyck paths of height at most k is H(k) = f(k)/f(k+1). - Emeric Deutsch, Jun 08 2011
For all n >= 1 and floor((n+1)/2) <= k <= n we have: T(n,k) = 2*(2*k+3)*(2*k^2+6*k+1-3*n)*(2*n)!/((n-k)!*(n+k+3)!). - Gheorghe Coserea, Dec 06 2015
T(n, k) = Sum_{i=1..k-1} (-1)^(i+1) * (Sum_{j=1..n} (Sum_{x=0..n} (-1)^(j+x) * binomial(x+2n-2j+1,x))) * a(k-i); a(1)=1, a(0)=0. - Tim C. Flowers, May 14 2018

A358371 Number of leaves in the n-th standard ordered rooted tree.

Original entry on oeis.org

1, 1, 1, 2, 1, 2, 2, 3, 2, 2, 2, 3, 2, 3, 3, 4, 1, 3, 2, 3, 2, 3, 3, 4, 3, 3, 3, 4, 3, 4, 4, 5, 2, 2, 3, 4, 2, 3, 3, 4, 3, 3, 3, 4, 3, 4, 4, 5, 2, 4, 3, 4, 3, 4, 4, 5, 4, 4, 4, 5, 4, 5, 5, 6, 2, 3, 2, 3, 3, 4, 4, 5, 3, 3, 3, 4, 3, 4, 4, 5, 2, 4, 3, 4, 3, 4
Offset: 1

Views

Author

Gus Wiseman, Nov 13 2022

Keywords

Comments

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Examples

			The standard ordered rooted tree ranking begins:
  1: o        10: (((o))o)   19: (((o))(o))
  2: (o)      11: ((o)(o))   20: (((o))oo)
  3: ((o))    12: ((o)oo)    21: ((o)((o)))
  4: (oo)     13: (o((o)))   22: ((o)(o)o)
  5: (((o)))  14: (o(o)o)    23: ((o)o(o))
  6: ((o)o)   15: (oo(o))    24: ((o)ooo)
  7: (o(o))   16: (oooo)     25: (o(oo))
  8: (ooo)    17: ((((o))))  26: (o((o))o)
  9: ((oo))   18: ((oo)o)    27: (o(o)(o))
For example, the 25th ordered tree is (o,(o,o)) because the 24th composition is (1,4) and the 3rd composition is (1,1). Hence a(25) = 3.
		

Crossrefs

The triangle counting trees by this statistic is A001263, unordered A055277.
The version for unordered trees is A109129, nodes A061775, edges A196050.
The nodes are counted by A358372.
A000081 counts unordered rooted trees, ranked by A358378.
A000108 counts ordered rooted trees.
A358374 ranks ordered identity trees, counted by A032027.
A358375 ranks ordered binary trees, counted by A126120

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    srt[n_]:=If[n==1,{},srt/@stc[n-1]];
    Table[Count[srt[n],{},{0,Infinity}],{n,100}]

A358372 Number of nodes in the n-th standard ordered rooted tree.

Original entry on oeis.org

1, 2, 3, 3, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 5, 6, 6, 6, 6, 6, 6, 6, 5, 6, 6, 6, 7, 7, 7, 7, 6, 7, 7, 7, 7, 7, 7, 7, 6, 6, 7, 7, 7, 7, 7, 7, 6, 7, 7, 7, 7, 7, 7, 7, 5, 6, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 7, 7, 8, 8, 8, 8, 8
Offset: 1

Views

Author

Gus Wiseman, Nov 14 2022

Keywords

Comments

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Examples

			The standard ordered rooted tree ranking begins:
  1: o        10: (((o))o)   19: (((o))(o))
  2: (o)      11: ((o)(o))   20: (((o))oo)
  3: ((o))    12: ((o)oo)    21: ((o)((o)))
  4: (oo)     13: (o((o)))   22: ((o)(o)o)
  5: (((o)))  14: (o(o)o)    23: ((o)o(o))
  6: ((o)o)   15: (oo(o))    24: ((o)ooo)
  7: (o(o))   16: (oooo)     25: (o(oo))
  8: (ooo)    17: ((((o))))  26: (o((o))o)
  9: ((oo))   18: ((oo)o)    27: (o(o)(o))
For example, the 25th ordered tree is (o,(o,o)) because the 24th composition is (1,4) and the 3rd composition is (1,1). Hence a(25) = 5.
		

Crossrefs

The triangle counting trees by leaves is A001263, unordered A055277.
The version for unordered trees is A061775, leaves A109129, edges A196050.
The leaves are counted by A358371.
A000081 counts unlabeled rooted trees, ranked by A358378.
A358374 ranks ordered identity trees, counted by A032027.
A358375 ranks ordered binary trees, counted by A126120

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    srt[n_]:=If[n==1,{},srt/@stc[n-1]];
    Table[Count[srt[n],_,{0,Infinity}],{n,100}]

A358373 Triangle read by rows where row n lists the sorted standard ordered rooted tree-numbers of all unlabeled ordered rooted trees with n vertices.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 25, 33, 65, 129, 257, 19, 20, 21, 22, 23, 24, 26, 27, 28, 29, 30, 31, 32, 34, 35, 36, 41, 49, 50, 57, 66, 97, 130, 193, 258, 385, 513, 514, 769, 1025, 2049, 4097, 8193, 16385, 32769, 65537, 131073
Offset: 1

Views

Author

Gus Wiseman, Nov 14 2022

Keywords

Comments

We define the standard ordered rooted tree (SORT)-number of an unlabeled ordered rooted tree to be one plus the standard composition number (A066099) of the SORT-numbers of the branches, or 1 if there are no branches. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Examples

			Triangle begins:
   1
   2
   3   4
   5   6   7   8   9
  10  11  12  13  14  15  16  17  18  25  33  65 129 257
For example, the tree t = ((o,o),o) has branches (o,o) and o with SORT-numbers 4 and 1, and the standard composition number of (4,1) is 17, so t has SORT-number 18 and is found in row 5.
		

Crossrefs

The version for compositions is A000027.
Row-lengths are A000108.
The unordered version (using Matula-Goebel numbers) is A061773.
The version for Heinz numbers of partitions is A215366.
The row containing n is A358372(n).
A000081 counts unlabeled rooted trees, ranked by A358378.
A001263 counts unlabeled ordered rooted trees by nodes and leaves.
A358371 counts leaves in standard ordered rooted trees.

Programs

  • Mathematica
    stcinv[q_]:=Total[2^(Accumulate[Reverse[q]])]/2;
    aotrank[t_]:=If[t=={},1,1+stcinv[aotrank/@t]];
    aot[n_]:=If[n==1,{{}},Join@@Table[Tuples[aot/@c],{c,Join@@Permutations/@IntegerPartitions[n-1]}]];
    Table[Sort[aotrank/@aot[n]],{n,6}]

A284414 Number T(n,k) of self-avoiding planar walks of length k starting at (0,0), ending at (n,0), remaining in the first quadrant and using steps (0,1), (1,0), (1,1), (-1,1), and (1,-1) with the restriction that (0,1) is never used below the diagonal and (1,0) is never used above the diagonal; triangle T(n,k), n>=0, n<=k<=n*(n+3)/2, read by rows.

Original entry on oeis.org

1, 1, 1, 2, 1, 1, 1, 4, 4, 4, 7, 3, 1, 1, 9, 8, 16, 21, 17, 15, 10, 9, 4, 1, 1, 21, 22, 54, 87, 87, 116, 99, 91, 78, 42, 31, 17, 10, 5, 1, 1, 51, 54, 178, 269, 370, 499, 536, 590, 560, 510, 420, 350, 268, 185, 132, 69, 44, 23, 11, 6, 1, 1
Offset: 0

Views

Author

Alois P. Heinz, Mar 26 2017

Keywords

Examples

			Triangle T(n,k) begins:
1;
.  1, 1;
.  .  2, 1, 1,  1;
.  .  .  4, 4,  4,  7,  3,  1,  1;
.  .  .  .  9,  8, 16, 21, 17, 15,  10,  9,  4,  1,  1;
.  .  .  .  .  21, 22, 54, 87, 87, 116, 99, 91, 78, 42, 31, 17, 10, 5, 1, 1;
		

Crossrefs

Row sums give A284230.
Column sums give A284415.
Antidiagonal sums give A284428.
T(n,n) gives A001006.
T(n,n+1) gives A284778.
T(n,2n) gives A284416.
T(n,n*(n+1)/2) gives A284418.
Cf. A000096, A284231, A284461, A284652 (this triangle read by columns).

Formula

Sum_{k=n..n*(n+3)/2} (k+1) * T(n,k) = A284231(n).

A187306 Alternating sum of Motzkin numbers A001006.

Original entry on oeis.org

1, 0, 2, 2, 7, 14, 37, 90, 233, 602, 1586, 4212, 11299, 30536, 83098, 227474, 625993, 1730786, 4805596, 13393688, 37458331, 105089228, 295673995, 834086420, 2358641377, 6684761124, 18985057352, 54022715450, 154000562759, 439742222070, 1257643249141
Offset: 0

Views

Author

Paul Barry, Mar 08 2011

Keywords

Comments

Diagonal sums of A089942.
Hankel transform is A187307.
Also gives the number of simple permutations of each length that avoid the pattern 321 (i.e., are the union of two increasing sequences, and in one line notation contain no nontrivial block of values which form an interval). There are 2 such permutations of length 4, 2 of length 5, etc. - Michael Albert, Jun 20 2012
Convolution of A005043 with itself. - Philippe Deléham, Jan 28 2014
From Gus Wiseman, Nov 15 2022: (Start)
Conjecture: Also the number of topologically series-reduced ordered rooted trees with n + 2 vertices. This would imply a(n) = A284778(n-1) + A005043(n). For example, the a(0) = 1 through a(5) = 14 trees are:
(o) . (ooo) (oooo) (ooooo) (oooooo)
((oo)) ((ooo)) ((oo)oo) ((oo)ooo)
((oooo)) ((ooo)oo)
(o(oo)o) ((ooooo))
(oo(oo)) (o(oo)oo)
(((oo)o)) (o(ooo)o)
((o(oo))) (oo(oo)o)
(oo(ooo))
(ooo(oo))
(((oo)oo))
(((ooo)o))
((o(oo)o))
((o(ooo)))
((oo(oo)))
(End)

Crossrefs

Programs

  • Maple
    a := n -> (-1)^n*(1-hypergeom([1/2,-n-1],[2],4));
    seq(round(evalf(a(n),99)),n=0..30); # Peter Luschny, Sep 25 2014
  • Mathematica
    CoefficientList[Series[(1-x-Sqrt[1-2x-3x^2])/(2x^2(1+x)), {x,0,30}], x] (* Harvey P. Dale, Jun 14 2011 *)
  • PARI
    x='x+O('x^66); Vec((1-x-sqrt(1-2*x-3*x^2))/(2*x^2*(1+x))) /* Joerg Arndt, Mar 07 2013 */
    
  • PARI
    Vec(serreverse(x*(1-x)/(1-x+x^2) + O(x^30))^2) \\ Andrew Howroyd, Apr 28 2018
    
  • Sage
    def A187306():
        a, b, n = 1, 0, 1
        yield a
        while True:
            n += 1
            a, b = b, (2*b+3*a)*(n-1)/(n+1)
            yield b - (-1)^n
    A187306_list = A187306()
    [next(A187306_list) for i in range(20)] # Peter Luschny, Sep 25 2014

Formula

G.f.: (1-x-sqrt(1-2*x-3*x^2))/(2*x^2*(1+x)).
a(n) = sum(k=0..n, A001006(k)*(-1)^(n-k)).
D-finite with recurrence -(n+2)*a(n) +(n-1)*a(n-1) +(5*n-2)*a(n-2) +3*(n-1)a(n-3)=0. - R. J. Mathar, Nov 17 2011
a(n) = (2*sum(j=0..n, C(2*j+1,j+1)*(-1)^(n-j)*C(n+2,j+2)))/(n+2). - Vladimir Kruchinin, Feb 06 2013
a(n) ~ 3^(n+5/2)/(8*sqrt(Pi)*n^(3/2)). - Vaclav Kotesovec, Aug 15 2013
a(n) = (-1)^n*(1-hypergeom([1/2,-n-1],[2],4)). - Peter Luschny, Sep 25 2014
a(n) = A005043(n+1) + (-1)^n. - Peter Luschny, Sep 25 2014
G.f.: (1/(1 - x^2/(1 - x - x^2/(1 - x - x^2/(1 - x - x^2/(1 - ...))))))^2, a continued fraction. - Ilya Gutkovskiy, Sep 23 2017

A358376 Numbers k such that the k-th standard ordered rooted tree is lone-child-avoiding (counted by A005043).

Original entry on oeis.org

1, 4, 8, 16, 18, 25, 32, 36, 50, 57, 64, 72, 100, 114, 121, 128, 137, 144, 200, 228, 242, 249, 256, 258, 274, 281, 288, 385, 393, 400, 456, 484, 498, 505, 512, 516, 548, 562, 569, 576, 770, 786, 793, 800, 897, 905, 912, 968, 996, 1010, 1017, 1024, 1032, 1096
Offset: 1

Views

Author

Gus Wiseman, Nov 14 2022

Keywords

Comments

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Examples

			The initial terms and their corresponding trees:
    1: o
    4: (oo)
    8: (ooo)
   16: (oooo)
   18: ((oo)o)
   25: (o(oo))
   32: (ooooo)
   36: ((oo)oo)
   50: (o(oo)o)
   57: (oo(oo))
   64: (oooooo)
   72: ((oo)ooo)
  100: (o(oo)oo)
  114: (oo(oo)o)
  121: (ooo(oo))
  128: (ooooooo)
  137: ((oo)(oo))
  144: ((oo)oooo)
  200: (o(oo)ooo)
		

Crossrefs

These trees are counted by A005043.
The series-reduced case appears to be counted by A284778.
The unordered version is A291636, counted by A001678.
A000081 counts unlabeled rooted trees, ranked by A358378.
A358371 and A358372 count leaves and nodes in standard ordered rooted trees.
A358374 ranks ordered identity trees, counted by A032027.
A358375 ranks ordered binary trees, counted by A126120.

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    srt[n_]:=If[n==1,{},srt/@stc[n-1]];
    Select[Range[100],FreeQ[srt[#],[_]?(Length[#]==1&)]&]

A358375 Numbers k such that the k-th standard ordered rooted tree is binary.

Original entry on oeis.org

1, 4, 18, 25, 137, 262146, 393217, 2097161, 2228225
Offset: 1

Views

Author

Gus Wiseman, Nov 14 2022

Keywords

Comments

We define the n-th standard ordered rooted tree to be obtained by taking the (n-1)-th composition in standard order (graded reverse-lexicographic, A066099) as root and replacing each part with its own standard ordered rooted tree. This ranking is an ordered variation of Matula-Goebel numbers, giving a bijective correspondence between positive integers and unlabeled ordered rooted trees.

Examples

			The initial terms and their corresponding trees:
       1: o
       4: (oo)
      18: ((oo)o)
      25: (o(oo))
     137: ((oo)(oo))
  262146: (((oo)o)o)
  393217: (o((oo)o))
		

Crossrefs

The unordered version is A111299, counted by A001190
These trees are counted by A126120.
A000081 counts unlabeled rooted trees, ranked by A358378.
A358371 and A358372 count leaves and nodes in standard ordered rooted trees.

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    srt[n_]:=If[n==1,{},srt/@stc[n-1]];
    Select[Range[1000],FreeQ[srt[#],[_]?(Length[#]!=2&)]&]

A284652 Number T(n,k) of self-avoiding planar walks of length k starting at (0,0), ending at (n,0), remaining in the first quadrant and using steps (0,1), (1,0), (1,1), (-1,1), and (1,-1) with the restriction that (0,1) is never used below the diagonal and (1,0) is never used above the diagonal; triangle T(n,k), k>=0, floor((sqrt(1+8*k)-1)/2)<=n<=k, read by columns.

Original entry on oeis.org

1, 1, 1, 2, 1, 4, 1, 4, 9, 1, 4, 8, 21, 7, 16, 22, 51, 3, 21, 54, 54, 127, 1, 17, 87, 178, 142, 323, 1, 15, 87, 269, 565, 370, 835, 10, 116, 370, 896, 1766, 983, 2188, 9, 99, 499, 1473, 2776, 5446, 2627, 5798, 4, 91, 536, 2290, 5528, 8657, 16655, 7086, 15511
Offset: 0

Views

Author

Alois P. Heinz, Mar 31 2017

Keywords

Examples

			Triangle T(n,k) begins:
1;
.  1, 1;
.  .  2, 1, 1,  1;
.  .  .  4, 4,  4,  7,   3,   1,   1;
.  .  .  .  9,  8, 16,  21,  17,  15,   10,    9, ... ;
.  .  .  .  .  21, 22,  54,  87,  87,  116,   99, ... ;
.  .  .  .  .   .  51,  54, 178, 269,  370,  499, ... ;
.  .  .  .  .   .   .  127, 142, 565,  896, 1473, ... ;
.  .  .  .  .   .   .    .  323, 370, 1766, 2776, ... ;
.  .  .  .  .   .   .    .    .  835,  983, 5446, ... ;
.  .  .  .  .   .   .    .    .     . 2188, 2627, ... ;
		

Crossrefs

Row sums give A284230.
Column sums give A284415.
Antidiagonal sums give A284428.
T(n,n) gives A001006.
T(n,n+1) gives A284778.
T(n,2n) gives A284416.
T(n,n*(n+1)/2) gives A284418.
Column heights give A122797(k+1).
Cf. A000096, A284231, A284461, A284414 (this triangle read by rows).

Formula

Sum_{k=n..n*(n+3)/2} (k+1) * T(n,k) = A284231(n).
Showing 1-9 of 9 results.