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.

A073003 Decimal expansion of -exp(1)*Ei(-1), also called Gompertz's constant, or the Euler-Gompertz constant.

Original entry on oeis.org

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

Views

Author

Robert G. Wilson v, Aug 03 2002

Keywords

Comments

0! - 1! + 2! - 3! + 4! - 5! + ... = (Borel) Sum_{n>=0} (-y)^n n! = KummerU(1,1,1/y)/y.
Decimal expansion of phi(1) where phi(x) = Integral_{t>=0} e^-t/(x+t) dt. - Benoit Cloitre, Apr 11 2003
The divergent series g(x=1,m) = 1^m*1! - 2^m*2! + 3^m*3! - 4^m*4! + ..., m => -1, is intimately related to Gompertz's constant. We discovered that g(x=1,m) = (-1)^m * (A040027(m) - A000110(m+1) * A073003) with A000110 the Bell numbers and A040027 a sequence that was published by Gould, see for more information A163940. - Johannes W. Meijer, Oct 16 2009
Named by Le Lionnais (1983) after the English self-educated mathematician and actuary Benjamin Gompertz (1779 - 1865). It was named the Euler-Gompertz constant by Finch (2003). Lagarias (2013) noted that he has not located this constant in Gompertz's writings. - Amiram Eldar, Aug 15 2020

Examples

			0.59634736232319407434107849936927937607417786015254878157348491...
With n := 10^5, Sum_{k >= 0} (n/(n + 1))^k/(n + k) = 0.5963(51...). - _Peter Bala_, Jun 19 2024
		

References

  • Bruce C. Berndt, Ramanujan's notebooks Part II, Springer, p. 171
  • Bruce C. Berndt, Ramanujan's notebooks Part I, Springer, p. 144-145.
  • S. R. Finch, Mathematical Constants, Cambridge, 2003, pp. 303, 424-425.
  • Francois Le Lionnais, Les nombres remarquables, Paris: Hermann, 1983. See p. 29.
  • Jerome Spanier and Keith B. Oldham, "Atlas of Functions", Hemisphere Publishing Corp., 1987, chapter 44, page 426.
  • H. S. Wall, Analytic Theory of Continued Fractions, Van Nostrand, New York, 1948, p. 356.

Crossrefs

Cf. A000522 (arrangements), A001620, A000262, A002720, A002793, A058006 (alternating factorial sums), A091725, A099285, A153229, A201203, A245780, A283743 (Ei(1)/e), A321942, A369883.

Programs

  • Magma
    SetDefaultRealField(RealField(100)); ExponentialIntegralE1(1)*Exp(1); // G. C. Greubel, Dec 04 2018
    
  • Mathematica
    RealDigits[N[-Exp[1]*ExpIntegralEi[-1], 105]][[1]]
    (* Second program: *)
    G = 1/Fold[Function[2*#2 - #2^2/#1], 2, Reverse[Range[10^4]]] // N[#, 105]&; RealDigits[G] // First (* Jean-François Alcover, Sep 19 2014 *)
  • PARI
    eint1(1)*exp(1) \\ Charles R Greathouse IV, Apr 23 2013
    
  • Sage
    numerical_approx(exp_integral_e(1,1)*exp(1), digits=100) # G. C. Greubel, Dec 04 2018

Formula

phi(1) = e*(Sum_{k>=1} (-1)^(k-1)/(k*k!) - Gamma) = 0.596347362323194... where Gamma is the Euler constant.
G = 0.596347... = 1/(1+1/(1+1/(1+2/(1+2/(1+3/(1+3/(1+4/(1+4/(1+5/(1+5/(1+6/(... - Philippe Deléham, Aug 14 2005
Equals A001113*A099285. - Johannes W. Meijer, Oct 16 2009
From Peter Bala, Oct 11 2012: (Start)
Stieltjes found the continued fraction representation G = 1/(2 - 1^2/(4 - 2^2/(6 - 3^2/(8 - ...)))). See [Wall, Chapter 18, (92.7) with a = 1]. The sequence of convergents to the continued fraction begins [1/2, 4/7, 20/34, 124/209, ...]. The numerators are in A002793 and the denominators in A002720.
Also, 1 - G has the continued fraction representation 1/(3 - 2/(5 - 6/(7 - ... -n*(n+1)/((2*n+3) - ...)))) with convergents beginning [1/3, 5/13, 29/73, 201/501, ...]. The numerators are in A201203 (unsigned) and the denominators are in A000262.
(End)
G = f(1) with f solution to the o.d.e. x^2*f'(x) + (x+1)*f(x)=1 such that f(0)=1. - Jean-François Alcover, May 28 2013
From Amiram Eldar, Aug 15 2020: (Start)
Equals Integral_{x=0..1} 1/(1-log(x)) dx.
Equals Integral_{x=1..oo} exp(1-x)/x dx.
Equals Integral_{x=0..oo} exp(-x)*log(x+1) dx.
Equals Integral_{x=0..oo} exp(-x)/(x+1) dx. (End)
From Gleb Koloskov, May 01 2021: (Start)
Equals Integral_{x=0..1} LambertW(e/x)-1 dx.
Equals Integral_{x=0..1} 1+1/LambertW(-1,-x/e) dx. (End)
Equals lim_{n->oo} A040027(n)/A000110(n+1). - Vaclav Kotesovec, Feb 22 2021
G = lim_{n->oo} A321942(n)/A000262(n). - Peter Bala, Mar 21 2022
Equals Sum_{n >= 1} 1/(n*L(n, -1)*L(n-1, -1)), where L(n, x) denotes the n-th Laguerre polynomial. This is the case x = 1 of the identity Integral_{t >= 0} exp(-t)/(x + t) dt = Sum_{n >= 1} 1/(n*L(n, -x)*L(n-1, -x)) valid for Re(x) > 0. - Peter Bala, Mar 21 2024
Equals lim_{n->oo} Sum_{k >= 0} (n/(n + 1))^k/(n + k). Cf. A099285. - Peter Bala, Jun 18 2024

Extensions

Additional references from Gerald McGarvey, Oct 10 2005
Link corrected by Johannes W. Meijer, Aug 01 2009

A288950 Number of relaxed compacted binary trees of right height at most one with empty initial and final sequence on level 0.

Original entry on oeis.org

1, 0, 1, 2, 15, 140, 1575, 20790, 315315, 5405400, 103378275, 2182430250, 50414138775, 1264936572900, 34258698849375, 996137551158750, 30951416768146875, 1023460181133390000, 35885072600989486875, 1329858572860198631250, 51938365373373313209375
Offset: 0

Views

Author

Michael Wallner, Jun 20 2017

Keywords

Comments

A relaxed compacted binary tree of size n is a directed acyclic graph consisting of a binary tree with n internal nodes, one leaf, and n pointers. It is constructed from a binary tree of size n, where the first leaf in a post-order traversal is kept and all other leaves are replaced by pointers. These links may point to any node that has already been visited by the post-order traversal. The right height is the maximal number of right-edges (or right children) on all paths from the root to any leaf after deleting all pointers. The number of unbounded relaxed compacted binary trees of size n is A082161(n). The number of relaxed compacted binary trees of right height at most one of size n is A001147(n). See the Genitrini et al. and Wallner link. - Michael Wallner, Apr 20 2017
a(n) is the number of plane increasing trees with n+1 nodes where node 3 is at depth 1 on the right of node 2 and where the node n+1 has a left sibling. See the Wallner link. - Michael Wallner, Apr 20 2017

Examples

			Denote by L the leaf and by o nodes. Every node has exactly two out-going edges or pointers. Internal edges are denoted by - or |. Pointers are omitted and may point to any node further right. The root is at level 0 at the very left.
The general structure is
  L-o-o-o-o-o-o-o-o-o
    |       |     | |
    o   o-o-o   o-o o.
For n=0 the a(0)=1 solution is L.
For n=1 we have a(1)=0 because we need nodes on level 0 and level 1.
For n=2 the a(2)=1 solution is
     L-o
       |
       o
and the pointers of the node on level 1 both point to the leaf.
For n=3 the a(3)=2 solutions have the structure
     L-o
       |
     o-o
where the pointers of the last node have to point to the leaf, but the pointer of the next node has 2 choices: the leaf of the previous node.
		

Crossrefs

Cf. A001147 (relaxed compacted binary trees of right height at most one).
Cf. A082161 (relaxed compacted binary trees of unbounded right height).
Cf. A000032, A000246, A001879, A051577, A177145, A213527, A288950, A288952, A288953, A288954 (subclasses of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A000166, A000255, A000262, A052852, A123023, A130905, A176408, A201203 (variants of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A001879.

Programs

  • Mathematica
    terms = 21; (z + (1 - z)/3*(2 - z + (1 - 2z)^(-1/2)) + O[z]^terms // CoefficientList[#, z] &) Range[0, terms-1]! (* Jean-François Alcover, Dec 04 2018 *)

Formula

E.g.f.: z + (1-z)/3 * (2-z + (1-2*z)^(-1/2)).
From Seiichi Manyama, Apr 26 2025: (Start)
a(n) = (n-1)*(2*n-3)/(n-2) * a(n-1) for n > 3.
a(n) = A001879(n-2)/3 for n > 2. (End)

A288952 Number of relaxed compacted binary trees of right height at most one with empty sequences between branch nodes on level 0.

Original entry on oeis.org

1, 0, 1, 2, 15, 92, 835, 8322, 99169, 1325960, 19966329, 332259290, 6070777999, 120694673748, 2594992240555, 59986047422378, 1483663965460545, 39095051587497488, 1093394763005554801, 32347902448449172530, 1009325655965539561231, 33125674098690460236620
Offset: 0

Views

Author

Michael Wallner, Jun 20 2017

Keywords

Comments

A relaxed compacted binary tree of size n is a directed acyclic graph consisting of a binary tree with n internal nodes, one leaf, and n pointers. It is constructed from a binary tree of size n, where the first leaf in a post-order traversal is kept and all other leaves are replaced by pointers. These links may point to any node that has already been visited by the post-order traversal. The right height is the maximal number of right-edges (or right children) on all paths from the root to any leaf after deleting all pointers. A branch node is a node with a left and right edge (no pointer). See the Genitrini et al. link. - Michael Wallner, Apr 20 2017
a(n) is the number of plane increasing trees with n+1 nodes where in the growth process induced by the labels a maximal young leaf has to be followed by a non-maximal young leaf. A young leaf is a leaf with no left sibling. A maximal young leaf is a young leaf with maximal label. See the Wallner link. - Michael Wallner, Apr 20 2017

Examples

			See A288950 and A288953.
		

Crossrefs

Cf. A001147 (relaxed compacted binary trees of right height at most one).
Cf. A082161 (relaxed compacted binary trees of unbounded right height).
Cf. A000032, A000246, A001879, A051577, A177145, A213527, A288950, A288953, A288954 (subclasses of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A000166, A000255, A000262, A052852, A123023, A130905, A176408, A201203 (variants of relaxed compacted binary trees of right height at most one, see the Wallner link).

Programs

  • GAP
    a := [1,0];; for n in [3..10^2] do a[n] := (n-2)*a[n-1] + (n-2)^2*a[n-2]; od; a; # Muniru A Asiru, Jan 26 2018
  • Maple
    a:=proc(n) option remember: if n=0 then 1 elif n=1 then 0 elif n>=2 then (n-1)*procname(n-1)-(n-1)^2*procname(n-2) fi; end:
    seq(a(n),n=0..100); # Muniru A Asiru, Jan 26 2018
  • Mathematica
    Fold[Append[#1, (#2 - 1) Last[#1] + #1[[#2 - 1]] (#2 - 1)^2] &, {1, 0}, Range[2, 21]] (* Michael De Vlieger, Jan 28 2018 *)

Formula

E.g.f.: exp( -Sum_{n>=1} Fibonacci(n-1)*x^n/n ), where Fibonacci(n) = A000045(n).
E.g.f.: exp( -1/sqrt(5)*arctanh(sqrt(5)*z/(2-z)) )/sqrt(1-z-z^2).
a(0) = 1, a(1) = 0, a(n) = (n-1)*a(n-1) + (n-1)^2*a(n-2). - Daniel Suteu, Jan 25 2018

A288953 Number of relaxed compacted binary trees of right height at most one with minimal sequences between branch nodes except after the last branch node on level 0.

Original entry on oeis.org

1, 1, 3, 10, 51, 280, 1995, 15120, 138075, 1330560, 14812875, 172972800, 2271359475, 31135104000, 471038042475, 7410154752000, 126906349444875, 2252687044608000, 43078308695296875, 851515702861824000, 17984171447178811875, 391697223316439040000
Offset: 0

Views

Author

Michael Wallner, Jun 20 2017

Keywords

Comments

A relaxed compacted binary tree of size n is a directed acyclic graph consisting of a binary tree with n internal nodes, one leaf, and n pointers. It is constructed from a binary tree of size n, where the first leaf in a post-order traversal is kept and all other leaves are replaced by pointers. These links may point to any node that has already been visited by the post-order traversal. The right height is the maximal number of right-edges (or right children) on all paths from the root to any leaf after deleting all pointers. A branch node is a node with a left and right edge (no pointer). See the Genitrini et al. link. - Michael Wallner, Apr 20 2017
a(n) is the number of plane increasing trees with n+1 nodes where in the growth process induced by the labels maximal young leaves and non-maximal young leaves alternate except for a sequence of maximal young leaves at the beginning. A young leaf is a leaf with no left sibling. A maximal young leaf is a young leaf with maximal label. See the Wallner link. - Michael Wallner, Apr 20 2017

Examples

			Denote by L the leaf and by o nodes. Every node has exactly two out-going edges or pointers. Internal edges are denoted by - or |. Pointers are omitted and may point to any node further right. The root is at level 0 at the very left.
The general structure is
  L-o-o-o-o-o-o-o-o
          | | | | |
          o o o o o.
For n=0 the a(0)=1 solution is L.
For n=1 the a(1)=1 solution is L-o.
For n=2 the a(2)=3 solutions are
L-o-o     L-o
            |
            o
  2    +   1    solutions of this shape with pointers.
		

Crossrefs

Cf. A288954 (variation with additional initial sequence).
Cf. A177145 (variation without final sequence).
Cf. A001147 (relaxed compacted binary trees of right height at most one).
Cf. A082161 (relaxed compacted binary trees of unbounded right height).
Cf. A000032, A000246, A001879, A051577, A213527, A288950, A288952, A288954 (subclasses of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A000166, A000255, A000262, A052852, A123023, A130905, A176408, A201203 (variants of relaxed compacted binary trees of right height at most one, see the Wallner link).

Formula

E.g.f.: (2-z)/(3*(1-z)^2) + 1/(3*sqrt(1-z^2)).

A201201 Coefficient triangle for the monic associated Laguerre-Sonin(e) polynomials of order one for parameter alpha=1.

Original entry on oeis.org

1, -4, 1, 18, -10, 1, -96, 86, -18, 1, 600, -756, 246, -28, 1, -4320, 7092, -3168, 552, -40, 1, 35280, -71856, 41112, -9720, 1070, -54, 1, -322560, 787824, -552240, 165720, -24600, 1878, -70, 1, 3265920, -9329760, 7768080, -2835360, 531480, -54516, 3066, -88
Offset: 0

Views

Author

Wolfdieter Lang, Dec 06 2011

Keywords

Comments

See A199577 for general comments on associated Laguerre-Sonin(e) polynomials of order m, and the Ismail reference.
The monic row polynomials are La_n(1;1,x) = sum(a(n,k)*x^k,k=0..n), with the three term recurrence
La_n(1;1,x) = (x-2*(n+1))*La_{n-1}{1;1,x) - n*(n+1)*La_{n-2}{1;1,x), La_{-1}{1;1,x)=0, La_0(1;1,x)=1.
In the Ismail reference the non-monic associated Laguerre polynomials of order 1 appear on p. 160 in Theorem 5.6.1, eq. 5.6.11. The connection is: La_n(1;1,x)= L_n^{(alpha=1)}(x;1)*(n+1)!*(-1)^n.
The e.g.f. gLa(1;1,z,x) for La_n(1;1,x) can be obtained from the o.g.f. G(1;1,z,x) for the non-monic version L_n^{alpha=1}(x;1) by gLa(1;1,z,x)= (d/dz) (z*G(1;1,-z,x)).
G(1;1,z,x) satisfies an ordinary first order inhomogeneous differential equation:
(d/dz) G(1;1,z,x) = (3/(1-z)+(1-x)/(1-z)^2-1/(z*(1-z)^2 z)^2))* G(1;1,z,x) + 1/(z*(1-z)^2), with G(1;1,z=0,x)=1. The standard solution is:
G(1;1,z,x) = (exp(-x*z/(1-z))-1+z-x*exp(-x/(1-z))* (Ei(1,-x/(1-z))-Ei(1,-x)))/(z*(1-z)^2), with the exponential integral Ei(1,y)=int(exp(-t)/t,t=y..infty).

Examples

			The triangle begins:
n\k     0      1       2      3      4    5   6 7 ...
0:      1
1:     -4      1
2:     18    -10       1
3:    -96     86     -18      1
4:    600   -756     246    -28      1
5:  -4320   7092   -3168    552    -40    1
6:  35280 -71856   41112  -9720   1070  -54   1
7:-322560 787824 -552240 165720 -24600 1878 -70 1
...
		

References

  • M. E. H. Ismail (two chapters by W. Van Assche), Classical and Quantum Orthogonal Polynomials in One Variable, Cambridge University Press, 2005.

Crossrefs

Cf. A199577 (alpha=0 case), A201202 (row sums), A201203 (alternating row sums).

Programs

  • Maple
    La := proc(n,x)
        option remember;
        if n= -1 then
            0;
        elif n = 0 then
            1;
        else
            (x-2*n-2)*procname(n-1,x)-n*(n+1)*procname(n-2,x) ;
        end if;
    end proc:
    A201201 := proc(n,k)
        coeftayl( La(n,x),x=0,k) ;
    end proc:
    seq(seq(A201201(n,k),k=0..n),n=0..12) ; # R. J. Mathar, Dec 07 2011
  • Mathematica
    a[n_, k_] := (-1)^(n-k)*((n+1)*(n+1)!/((k+1)*(k+1)!))*Binomial[n, k]*HypergeometricPFQ[{-(n-k), k, 1}, {-(n+1), k+2}, 1]; Table[a[n, k], {n, 0, 8}, {k, 0, n}] // Flatten (* Jean-François Alcover, Jun 21 2013 *)

Formula

a(n,k)=[x^k] La_n(1;1,x), n>=0, k=0,...,n.
a(n,k)= (-1)^(n-k)*((n+1)*(n+1)!/((k+1)*(k+1)!))*
binomial(n,k)*hypergeom(-(n-k),k,1; -(n+1),k+2; 1), 0<=k<=n. [Ismail, p. 161, eq. (5.6.18)].
The e.g.f. gLa(1;1,z,x) for La_n(1;1,x) is exp(-x/(1+z))*x*(x-2*(1+z))*(Ei(1,-x/(1+z)) - Ei(1,-x))/(1+z)^4 + exp(x*z/(1+z))*(-x+2*(1+z))/(1+z)^4 +(1+z+x)/(1+z)^3 -2/(1+z)^2, with the exponential integral Ei.
The e.g.f. gLa(1;1,z,x) for the Euler-derivative
x*(d/dx) La_n(1;1,x) is x*exp(-x/(1+z))*(2*(1+z)-x)*
(Ei(1,-x/(1+z)) - Ei(1,-x))/(1+z)^4 + (1+z-x)*(1-exp(x*z/(1+z)))/(1+z)^3.
From this follows La_n(1;1,x) = (n+1)*La_n(1,x) -
x*(d/dx)La_n(1;0,x). For La_n(1;0,x) see A199577 where it is called La_n(1;x).

A201202 Row sums of triangle A201201: first associated monic Laguerre polynomials with parameter alpha=1 evaluated at x=1.

Original entry on oeis.org

1, -3, 9, -27, 63, 117, -4167, 55953, -651177, 7336593, -82438983, 927666333, -10331176977, 110106505773, -1023541502247, 5304225184137, 103363857534663, -5240827920059127, 158560193765332953, -4192332947225516907, 105290369454806352927
Offset: 0

Views

Author

Wolfdieter Lang, Dec 06 2011

Keywords

Crossrefs

Cf. A201201, A201203 (alternating row sums).

Programs

  • Maple
    A201202 := proc(n)
        add(A201201(n,k),k=0..n) ;
    end proc:
    seq(A201202(n),n=0..20) ; # R. J. Mathar, Dec 07 2011
  • Mathematica
    a[n_, k_] := (-1)^(n-k)*((n+1)*(n+1)!/((k+1)*(k+1)!))*Binomial[n, k]*HypergeometricPFQ[{-(n-k), k, 1}, {-(n+1), k+2}, 1]; Table[Sum[a[n, k], {k, 0, n}], {n, 0, 20}]  (* Jean-François Alcover, Jun 21 2013 *)

Formula

a(n)=sum(A201201(n,k),k=0..n), n>=0.
Apparently a(n)+(2*n+1)*a(n-1)+n*(n+1)*a(n-2)=0, a(-1)=0, a(1)=1. - R. J. Mathar, Dec 07 2011
From Wolfdieter Lang, Dec 12 2011: (Start)
E.g.f. from A201201 with x=1, z->x: g(x)=(1+2*x)*exp(-1/(1+x))*(exp(1)-((Ei(1,-1/(1+x)) - Ei(1,-1))))/(1+x)^4 - x/(1+x)^3, with the exponential integral Ei. In order to obtain the series use first Ei(1,-y/(1+x)) - Ei(1,-y) and put y=1 afterwards.
This e.g.f. satisfies the homogeneous second-order differential equation: (1+x)^2*(d^2/dx^2)g(x) + (5+6*x)*(d/dx)g(x) + 6*g(x) = 0, with g(0)=1 and (d/dx)g(x)|{x=0} = -3. This is equivalent to the recurrence conjectured by _R. J. Mathar, which is thus proved.
(End)

A288954 Number of relaxed compacted binary trees of right height at most one with minimal sequences between branch nodes except before the first and after the last branch node on level 0.

Original entry on oeis.org

1, 1, 3, 13, 79, 555, 4605, 42315, 436275, 4894155, 60125625, 794437875, 11325612375, 172141044075, 2793834368325, 48009995908875, 874143494098875, 16757439016192875, 338309837281040625, 7157757510792763875, 158706419654857449375, 3673441093896736036875
Offset: 2

Views

Author

Michael Wallner, Jun 20 2017

Keywords

Comments

A relaxed compacted binary tree of size n is a directed acyclic graph consisting of a binary tree with n internal nodes, one leaf, and n pointers. It is constructed from a binary tree of size n, where the first leaf in a post-order traversal is kept and all other leaves are replaced by pointers. These links may point to any node that has already been visited by the post-order traversal. The right height is the maximal number of right-edges (or right children) on all paths from the root to any leaf after deleting all pointers. A branch node is a node with a left and right edge (no pointer). See the Genitrini et al. link. - Michael Wallner, Apr 20 2017
a(n) is the number of plane increasing trees with n+1 nodes where in the growth process induced by the labels a maximal young leaves and non-maximal young leaves alternate except for a sequence of maximal young leaves at the begininning and at the end. A young leaf is a leaf with no left sibling. A maximal young leaf is a young leaf with maximal label. See the Wallner link. - Michael Wallner, Apr 20 2017

Examples

			See A288950 and A288953.
		

Crossrefs

Cf. A288953 (variation without initial sequence).
Cf. A177145 (variation without initial and final sequence).
Cf. A001147 (relaxed compacted binary trees of right height at most one).
Cf. A082161 (relaxed compacted binary trees of unbounded right height).
Cf. A000032, A000246, A001879, A051577, A213527, A288950, A288952 (subclasses of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A000166, A000255, A000262, A052852, A123023, A130905, A176408, A201203 (variants of relaxed compacted binary trees of right height at most one, see the Wallner link).

Programs

  • Mathematica
    terms = 22; egf = 1/(3(1-z))(1/Sqrt[1-z^2] + (3z^3 - z^2 - 2z + 2)/((1-z)(1-z^2))) + O[z]^terms;
    CoefficientList[egf, z] Range[0, terms-1]! (* Jean-François Alcover, Dec 13 2018 *)

Formula

E.g.f.: 1/(3*(1-z))*( 1/sqrt(1-z^2) + (3*z^3-z^2-2*z+2)/((1-z)*(1-z^2)) ).

A321942 A sequence related to the Euler-Gompertz constant.

Original entry on oeis.org

1, 2, 8, 44, 300, 2420, 22460, 235260, 2741660, 35152820, 491459820, 7436765660, 121046445260, 2108118579060, 39104985755420, 769549656815420, 16009942093608060, 351030466622487860, 8089084984387984460, 195421894806240545820, 4938445392988428283820
Offset: 1

Views

Author

Richard P. Brent, Dec 12 2018

Keywords

Comments

a(n) satisfies the recurrence a(n) = (2n-1)*a(n-1) - (n-1)*(n-2)*a(n-2) for n > 2, with initial conditions a(1)=1, a(2)=2.
The same recurrence is satisfied by A000262(n), but with different initial conditions.
The limit of a(n)/A000262(n) as n tends to infinity is the Euler-Gompertz constant G = e*E1(1), where E1 is an exponential integral. The decimal representation of G is given by A073003.
The convergents of the c.f. G = 1-1/(3-1*2/(5-2*3/(7-3*4/(9-...)))) are (a(n)/A000262(n)) = (1, 2/3, 8/13, 44/73, ...). The c.f. is equivalent to Bala's c.f. for 1-G given in the entry for A073003.
a(n)/A000262(n) - G ~ 2*Pi*exp(1-4*sqrt(n)) as n tends to infinity.
a(n)/n! ~ G*exp(2*sqrt(n))/(2*n^(3/4)*sqrt(Pi*e)) as n tends to infinity.
a(n) = A000262(n) - |A201203(n-2)| for n >= 2.

Examples

			a(3) = (2*3-1)*a(2) - 2*1*a(1) = 5*2 - 2*1 = 8.
a(3) = A000262(3) - |A201203(1)| = 13 - |5| = 8.
		

Crossrefs

Programs

  • Maple
    a:= proc(n) option remember; `if`(n<3, n,
          (2*n-1)*a(n-1) -(n-1)*(n-2)*a(n-2))
        end:
    seq(a(n), n=1..23);  # Alois P. Heinz, Dec 12 2018
  • Mathematica
    a[n_] := a[n] = (2n-1)a[n-1] - (n-1)(n-2)a[n-2]; a[1] = 1; a[2] = 2;
    Array[a, 21] (* Jean-François Alcover, Oct 06 2019 *)

Formula

a(n) = (2n-1)*a(n-1) - (n-1)*(n-2)*a(n-2) for n > 2.
E.g.f.: exp(x/(1-x))*(G - E1(x/(1-x))), where G is the Euler-Gompertz constant and E1 is an exponential integral.
Conjecture: Integral_{x = 0..oo} (x/(1 + x))^n*exp(-x) dx = 1/(n-1)!*( a(n) - A000262(n)*G ), where G = Integral_{x = 0..oo} exp(-x)/(1 + x) dx is the Euler-Gompertz constant A073003. - Peter Bala, Mar 20 2022

A316666 Number of simple relaxed compacted binary trees of right height at most one with no sequences on level 1 and no final sequences on level 0.

Original entry on oeis.org

1, 0, 1, 3, 15, 87, 597, 4701, 41787, 413691, 4512993, 53779833, 695000919, 9680369943, 144560191149, 2303928046437, 39031251610227, 700394126116851, 13270625547477177, 264748979672169681, 5547121478845459983, 121784530649198053263, 2795749225338111831429, 66981491857058929294653
Offset: 0

Views

Author

Michael Wallner, Jul 10 2018

Keywords

Comments

A relaxed compacted binary tree of size n is a directed acyclic graph consisting of a binary tree with n internal nodes, one leaf, and at most n pointers. It is constructed from a binary tree of size n, where the first leaf in a post-order traversal is kept and all other leaves are replaced by pointers. These links may point to any node that has already been visited by the post-order traversal. It is called simple if for nodes with two pointers both point to the same node. The right height is the maximal number of right-edges (or right children) on all paths from the root to any leaf after deleting all pointers. See the Wallner link.
a(n) is one of two "basis" sequences for sequences of the form a(0)=a, a(1)=b, a(n) = n*a(n-1) + (n-1)*a(n-2), the second basis sequence being A096654 (with 0 appended as a(0)). The sum of these sequences is listed as A000255. - Gary Detlefs, Dec 11 2018

Crossrefs

Cf. A000032, A000246, A001879, A051577, A213527, A288950, A288952, A288953 (subclasses of relaxed compacted binary trees of right height at most one, see the Wallner link).
Cf. A000166, A000255, A000262, A052852, A123023, A130905, A176408, A201203 (variants of simple relaxed compacted binary trees of right height at most one, see the Wallner link).

Programs

  • Magma
    m:=25; R:=PowerSeriesRing(Rationals(), m); b:=Coefficients(R!( (3*Exp(-x) + x-2)/(1-x)^2 )); [Factorial(n-1)*b[n]: n in [1..m]]; // G. C. Greubel, Dec 12 2018
  • Maple
    aseq := n-> 3*round((n+2)*n!/exp(1))-(n+2)*n!: bseq := n-> (n+2)*n!- 2* round((n+2)*n!/exp(1)): s := (a,b,n)-> a*aseq(n) + b*bseq( n): seq(s(1,0,n),n = 0..20);  # Gary Detlefs, Dec 11 2018
  • Mathematica
    terms = 24;
    CoefficientList[(3E^-z+z-2)/(1-z)^2 + O[z]^terms, z] Range[0, terms-1]! (* Jean-François Alcover, Sep 14 2018 *)
  • PARI
    Vec(serlaplace((3*exp(-x + O(x^25)) + x - 2)/(1 - x)^2)) \\ Andrew Howroyd, Jul 10 2018
    

Formula

E.g.f.: (3*exp(-z)+z-2)/(1-z)^2.
a(n) ~ (3*exp(-1) - 1) * n * n!. - Vaclav Kotesovec, Jul 12 2018
a(n) = 3*round((n+2)*n!/e) - (n+2)*n!. - Gary Detlefs, Dec 11 2018
From Seiichi Manyama, Apr 25 2025: (Start)
a(n) = 3 * A000255(n) - n! - (n+1)!.
a(0) = 1, a(1) = 0; a(n) = n*a(n-1) + (n-1)*a(n-2). (End)
Showing 1-9 of 9 results.