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-10 of 22 results. Next

A011782 Coefficients of expansion of (1-x)/(1-2*x) in powers of x.

Original entry on oeis.org

1, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, 524288, 1048576, 2097152, 4194304, 8388608, 16777216, 33554432, 67108864, 134217728, 268435456, 536870912, 1073741824, 2147483648, 4294967296, 8589934592
Offset: 0

Views

Author

Lee D. Killough (killough(AT)wagner.convex.com)

Keywords

Comments

Apart from initial term, same as A000079 (powers of 2).
Number of compositions (ordered partitions) of n. - Toby Bartels, Aug 27 2003
Number of ways of putting n unlabeled items into (any number of) labeled boxes where every box contains at least one item. Also "unimodal permutations of n items", i.e., those which rise then fall. (E.g., for three items: ABC, ACB, BCA and CBA are unimodal.) - Henry Bottomley, Jan 17 2001
Number of permutations in S_n avoiding the patterns 213 and 312. - Tuwani Albert Tshifhumulo, Apr 20 2001. More generally (see Simion and Schmidt), the number of permutations in S_n avoiding (i) the 123 and 132 patterns; (ii) the 123 and 213 patterns; (iii) the 132 and 213 patterns; (iv) the 132 and 231 patterns; (v) the 132 and 312 patterns; (vi) the 213 and 231 patterns; (vii) the 213 and 312 patterns; (viii) the 231 and 312 patterns; (ix) the 231 and 321 patterns; (x) the 312 and 321 patterns.
a(n+2) is the number of distinct Boolean functions of n variables under action of symmetric group.
Number of unlabeled (1+2)-free posets. - Detlef Pauly, May 25 2003
Image of the central binomial coefficients A000984 under the Riordan array ((1-x), x*(1-x)). - Paul Barry, Mar 18 2005
Binomial transform of (1, 0, 1, 0, 1, 0, 1, 0, 1, 0, ...); inverse binomial transform of A007051. - Philippe Deléham, Jul 04 2005
Also, number of rationals in [0, 1) whose binary expansions terminate after n bits. - Brad Chalfan, May 29 2006
Equals row sums of triangle A144157. - Gary W. Adamson, Sep 12 2008
Prepend A089067 with a 1, getting (1, 1, 3, 5, 13, 23, 51, ...) as polcoeff A(x); then (1, 1, 2, 4, 8, 16, ...) = A(x)/A(x^2). - Gary W. Adamson, Feb 18 2010
An elephant sequence, see A175655. For the central square four A[5] vectors, with decimal values 2, 8, 32 and 128, lead to this sequence. For the corner squares these vectors lead to the companion sequence A094373. - Johannes W. Meijer, Aug 15 2010
From Paul Curtz, Jul 20 2011: (Start)
Array T(m,n) = 2*T(m,n-1) + T(m-1,n):
1, 1, 2, 4, 8, 16, ... = a(n)
1, 3, 8, 20, 48, 112, ... = A001792,
1, 5, 18, 56, 160, 432, ... = A001793,
1, 7, 32, 120, 400, 1232, ... = A001794,
1, 9, 50, 220, 840, 2912, ... = A006974, followed with A006975, A006976, gives nonzero coefficients of Chebyshev polynomials of first kind A039991 =
1,
1, 0,
2, 0, -1,
4, 0, -3, 0,
8, 0, -8, 0, 1.
T(m,n) third vertical: 2*n^2, n positive (A001105).
Fourth vertical appears in Janet table even rows, last vertical (A168342 array, A138509, rank 3, 13, = A166911)). (End)
A131577(n) and differences are:
0, 1, 2, 4, 8, 16,
1, 1, 2, 4, 8, 16, = a(n),
0, 1, 2, 4, 8, 16,
1, 1, 2, 4, 8, 16.
Number of 2-color necklaces of length 2n equal to their complemented reversal. For length 2n+1, the number is 0. - David W. Wilson, Jan 01 2012
Edges and also central terms of triangle A198069: a(0) = A198069(0,0) and for n > 0: a(n) = A198069(n,0) = A198069(n,2^n) = A198069(n,2^(n-1)). - Reinhard Zumkeller, May 26 2013
These could be called the composition numbers (see the second comment) since the equivalent sequence for partitions is A000041, the partition numbers. - Omar E. Pol, Aug 28 2013
Number of self conjugate integer partitions with exactly n parts for n>=1. - David Christopher, Aug 18 2014
The sequence is the INVERT transform of (1, 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...). - Gary W. Adamson, Jul 16 2015
Number of threshold graphs on n nodes [Hougardy]. - Falk Hüffner, Dec 03 2015
Number of ternary words of length n in which binary subwords appear in the form 10...0. - Milan Janjic, Jan 25 2017
a(n) is the number of words of length n over an alphabet of two letters, of which one letter appears an even number of times (the empty word of length 0 is included). See the analogous odd number case in A131577, and the Balakrishnan reference in A006516 (the 4-letter odd case), pp. 68-69, problems 2.66, 2.67 and 2.68. - Wolfdieter Lang, Jul 17 2017
Number of D-equivalence classes of Łukasiewicz paths. Łukasiewicz paths are D-equivalent iff the positions of pattern D are identical in these paths. - Sergey Kirgizov, Apr 08 2018
Number of color patterns (set partitions) for an oriented row of length n using two or fewer colors (subsets). Two color patterns are equivalent if we permute the colors. For a(4)=8, the 4 achiral patterns are AAAA, AABB, ABAB, and ABBA; the 4 chiral patterns are the 2 pairs AAAB-ABBB and AABA-ABAA. - Robert A. Russell, Oct 30 2018
The determinant of the symmetric n X n matrix M defined by M(i,j) = (-1)^max(i,j) for 1 <= i,j <= n is equal to a(n) * (-1)^(n*(n+1)/2). - Bernard Schott, Dec 29 2018
For n>=1, a(n) is the number of permutations of length n whose cyclic representations can be written in such a way that when the cycle parentheses are removed what remains is 1 through n in natural order. For example, a(4)=8 since there are exactly 8 permutations of this form, namely, (1 2 3 4), (1)(2 3 4), (1 2)(3 4), (1 2 3)(4), (1)(2)(3 4), (1)(2 3)(4), (1 2)(3)(4), and (1)(2)(3)(4). Our result follows readily by conditioning on k, the number of parentheses pairs of the form ")(" in the cyclic representation. Since there are C(n-1,k) ways to insert these in the cyclic representation and since k runs from 0 to n-1, we obtain a(n) = Sum_{k=0..n-1} C(n-1,k) = 2^(n-1). - Dennis P. Walsh, May 23 2020
Maximum number of preimages that a permutation of length n + 1 can have under the consecutive-231-avoiding stack-sorting map. - Colin Defant, Aug 28 2020
a(n) is the number of occurrences of the empty set {} in the von Neumann ordinals from 0 up to n. Each ordinal k is defined as the set of all smaller ordinals: 0 = {}, 1 = {0}, 2 = {0,1}, etc. Since {} is the foundational element of all ordinals, the total number of times it appears grows as powers of 2. - Kyle Wyonch, Mar 30 2025

Examples

			G.f. = 1 + x + 2*x^2 + 4*x^3 + 8*x^4 + 16*x^5 + 32*x^6 + 64*x^7 + 128*x^8 + ...
    ( -1   1  -1)
det (  1   1   1)  = 4
    ( -1  -1  -1)
		

References

  • Mohammad K. Azarian, A Generalization of the Climbing Stairs Problem, Mathematics and Computer Education Journal, Vol. 31, No. 1, pp. 24-28, Winter 1997.
  • S. Kitaev, Patterns in Permutations and Words, Springer-Verlag, 2011. see p. 399 Table A.7
  • Xavier Merlin, Methodix Algèbre, Ellipses, 1995, p. 153.

Crossrefs

Sequences with g.f.'s of the form ((1-x)/(1-2*x))^k: this sequence (k=1), A045623 (k=2), A058396 (k=3), A062109 (k=4), A169792 (k=5), A169793 (k=6), A169794 (k=7), A169795 (k=8), A169796 (k=9), A169797 (k=10).
Cf. A005418 (unoriented), A122746(n-3) (chiral), A016116 (achiral).
Row sums of triangle A100257.
A row of A160232.
Row 2 of A278984.

Programs

  • Haskell
    a011782 n = a011782_list !! n
    a011782_list = 1 : scanl1 (+) a011782_list
    -- Reinhard Zumkeller, Jul 21 2013
    
  • Magma
    [Floor((1+2^n)/2): n in [0..35]]; // Vincenzo Librandi, Aug 21 2011
    
  • Maple
    A011782:= n-> ceil(2^(n-1)): seq(A011782(n), n=0..50); # Wesley Ivan Hurt, Feb 21 2015
    with(PolynomialTools):  A011782:=seq(coeftayl((1-x)/(1-2*x), x = 0, k),k=0..10^2); # Muniru A Asiru, Sep 26 2017
  • Mathematica
    f[s_] := Append[s, Ceiling[Plus @@ s]]; Nest[f, {1}, 32] (* Robert G. Wilson v, Jul 07 2006 *)
    CoefficientList[ Series[(1-x)/(1-2x), {x, 0, 32}], x] (* Robert G. Wilson v, Jul 07 2006 *)
    Table[Sum[StirlingS2[n, k], {k,0,2}], {n, 0, 30}] (* Robert A. Russell, Apr 25 2018 *)
    Join[{1},NestList[2#&,1,40]] (* Harvey P. Dale, Dec 06 2018 *)
  • PARI
    {a(n) = if( n<1, n==0, 2^(n-1))};
    
  • PARI
    Vec((1-x)/(1-2*x) + O(x^30)) \\ Altug Alkan, Oct 31 2015
    
  • Python
    def A011782(n): return 1 if n == 0 else 2**(n-1) # Chai Wah Wu, May 11 2022
  • Sage
    [sum(stirling_number2(n,j) for j in (0..2)) for n in (0..35)] # G. C. Greubel, Jun 02 2020
    

Formula

a(0) = 1, a(n) = 2^(n-1).
G.f.: (1 - x) / (1 - 2*x) = 1 / (1 - x / (1 - x)). - Michael Somos, Apr 18 2012
E.g.f.: cosh(z)*exp(z) = (exp(2*z) + 1)/2.
a(0) = 1 and for n>0, a(n) = sum of all previous terms.
a(n) = Sum_{k=0..n} binomial(n, 2*k). - Paul Barry, Feb 25 2003
a(n) = Sum_{k=0..n} binomial(n,k)*(1+(-1)^k)/2. - Paul Barry, May 27 2003
a(n) = floor((1+2^n)/2). - Toby Bartels (toby+sloane(AT)math.ucr.edu), Aug 27 2003
G.f.: Sum_{i>=0} x^i/(1-x)^i. - Jon Perry, Jul 10 2004
a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(k+1, n-k)*binomial(2*k, k). - Paul Barry, Mar 18 2005
a(n) = Sum_{k=0..floor(n/2)} A055830(n-k, k). - Philippe Deléham, Oct 22 2006
a(n) = Sum_{k=0..n} A098158(n,k). - Philippe Deléham, Dec 04 2006
G.f.: 1/(1 - (x + x^2 + x^3 + ...)). - Geoffrey Critzer, Aug 30 2008
a(n) = A000079(n) - A131577(n).
a(n) = A173921(A000079(n)). - Reinhard Zumkeller, Mar 04 2010
a(n) = Sum_{k=2^n..2^(n+1)-1} A093873(k)/A093875(k), sums of rows of the full tree of Kepler's harmonic fractions. - Reinhard Zumkeller, Oct 17 2010
E.g.f.: (exp(2*x)+1)/2 = (G(0) + 1)/2; G(k) = 1 + 2*x/(2*k+1 - x*(2*k+1)/(x + (k+1)/G(k+1))); (continued fraction). - Sergei N. Gladkovskii, Dec 03 2011
A051049(n) = p(n+1) where p(x) is the unique degree-n polynomial such that p(k) = a(k) for k = 0, 1, ..., n. - Michael Somos, Apr 18 2012
A008619(n) = p(-1) where p(x) is the unique degree-n polynomial such that p(k) = a(k) for k = 0, 1, ..., n. - Michael Somos, Apr 18 2012
INVERT transform is A122367. MOBIUS transform is A123707. EULER transform of A059966. PSUM transform is A000079. PSUMSIGN transform is A078008. BINOMIAL transform is A007051. REVERT transform is A105523. A002866(n) = a(n)*n!. - Michael Somos, Apr 18 2012
G.f.: U(0), where U(k) = 1 + x*(k+3) - x*(k+2)/U(k+1); (continued fraction, 1-step). - Sergei N. Gladkovskii, Oct 10 2012
a(n) = A000041(n) + A056823(n). - Omar E. Pol, Aug 31 2013
E.g.f.: E(0), where E(k) = 1 + x/( 2*k+1 - x/E(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Dec 25 2013
G.f.: 1 + x/(1 + x)*( 1 + 3*x/(1 + 3*x)*( 1 + 5*x/(1 + 5*x)*( 1 + 7*x/(1 + 7*x)*( 1 + ... )))). - Peter Bala, May 27 2017
a(n) = Sum_{k=0..2} stirling2(n, k).
G.f.: Sum_{j=0..k} A248925(k,j)*x^j / Product_{j=1..k} 1-j*x with k=2. - Robert A. Russell, Apr 25 2018
a(n) = A053120(n, n), n >= 0, (main diagonal of triangle of Chebyshev's T polynomials). - Wolfdieter Lang, Nov 26 2019

Extensions

Additional comments from Emeric Deutsch, May 14 2001
Typo corrected by Philippe Deléham, Oct 25 2008

A291000 p-INVERT of (1,1,1,1,1,...), where p(S) = 1 - S - S^2 - S^3.

Original entry on oeis.org

1, 3, 9, 26, 74, 210, 596, 1692, 4804, 13640, 38728, 109960, 312208, 886448, 2516880, 7146144, 20289952, 57608992, 163568448, 464417728, 1318615104, 3743926400, 10630080640, 30181847168, 85694918912, 243312448256, 690833811712, 1961475291648, 5569190816256
Offset: 0

Views

Author

Clark Kimberling, Aug 22 2017

Keywords

Comments

Suppose s = (c(0), c(1), c(2),...) is a sequence and p(S) is a polynomial. Let S(x) = c(0)*x + c(1)*x^2 + c(2)*x^3 + ... and T(x) = (-p(0) + 1/p(S(x)))/x. The p-INVERT of s is the sequence t(s) of coefficients in the Maclaurin series for T(x). Taking p(S) = 1 - S gives the "INVERT" transform of s, so that p-INVERT is a generalization of the "INVERT" transform (e.g., A033453).
In the following guide to p-INVERT sequences using s = (1,1,1,1,1,...) = A000012, in some cases t(1,1,1,1,1,...) is a shifted version of the cited sequence:
p(S) t(1,1,1,1,1,...)
1 - S A000079
1 - S^2 A000079
1 - S^3 A024495
1 - S^4 A000749
1 - S^5 A139761
1 - S^6 A290993
1 - S^7 A290994
1 - S^8 A290995
1 - S - S^2 A001906
1 - S - S^3 A116703
1 - S - S^4 A290996
1 - S^3 - S^6 A290997
1 - S^2 - S^3 A095263
1 - S^3 - S^4 A290998
1 - 2 S^2 A052542
1 - 3 S^2 A002605
1 - 4 S^2 A015518
1 - 5 S^2 A163305
1 - 6 S^2 A290999
1 - 7 S^2 A291008
1 - 8 S^2 A291001
(1 - S)^2 A045623
(1 - S)^3 A058396
(1 - S)^4 A062109
(1 - S)^5 A169792
(1 - S)^6 A169793
(1 - S^2)^2 A024007
1 - 2 S - 2 S^2 A052530
1 - 3 S - 2 S^2 A060801
(1 - S)(1 - 2 S) A053581
(1 - 2 S)(1 - 3 S) A291002
(1 - S)(1 - 2 S)(1 - 3 S)(1 - 4 S) A291003
(1 - 2 S)^2 A120926
(1 - 3 S)^2 A291004
1 + S - S^2 A000045 (Fibonacci numbers starting with -1)
1 - S - S^2 - S^3 A291000
1 - S - S^2 - S^3 - S^4 A291006
1 - S - S^2 - S^3 - S^4 - S^5 A291007
1 - S^2 - S^4 A290990
(1 - S)(1 - 3 S) A291009
(1 - S)(1 - 2 S)(1 - 3 S) A291010
(1 - S)^2 (1 - 2 S) A291011
(1 - S^2)(1 - 2 S) A291012
(1 - S^2)^3 A291013
(1 - S^3)^2 A291014
1 - S - S^2 + S^3 A045891
1 - 2 S - S^2 + S^3 A291015
1 - 3 S + S^2 A136775
1 - 4 S + S^2 A291016
1 - 5 S + S^2 A291017
1 - 6 S + S^2 A291018
1 - S - S^2 - S^3 + S^4 A291019
1 - S - S^2 - S^3 - S^4 + S^5 A291020
1 - S - S^2 - S^3 + S^4 + S^5 A291021
1 - S - 2 S^2 + 2 S^3 A175658
1 - 3 S^2 + 2 S^3 A291023
(1 - 2 S^2)^2 A291024
(1 - S^3)^3 A291143
(1 - S - S^2)^2 A209917

Crossrefs

Programs

  • Mathematica
    z = 60; s = x/(1 - x); p = 1 - s - s^2 - s^3;
    Drop[CoefficientList[Series[s, {x, 0, z}], x], 1]  (* A000012 *)
    Drop[CoefficientList[Series[1/p, {x, 0, z}], x], 1]  (* A291000 *)

Formula

G.f.: (-1 + x - x^2)/(-1 + 4 x - 4 x^2 + 2 x^3).
a(n) = 4*a(n-1) - 4*a(n-2) + 2*a(n-3) for n >= 4.

A001793 a(n) = n*(n+3)*2^(n-3).

Original entry on oeis.org

1, 5, 18, 56, 160, 432, 1120, 2816, 6912, 16640, 39424, 92160, 212992, 487424, 1105920, 2490368, 5570560, 12386304, 27394048, 60293120, 132120576, 288358400, 627048448, 1358954496, 2936012800, 6325010432, 13589544960, 29125246976
Offset: 1

Views

Author

Keywords

Comments

Coefficients of Chebyshev T polynomials: the subdiagonal A053120(n+3, n-1), for n > = 1. [rewritten by Wolfdieter Lang, Nov 25 2019]
Number of 132-avoiding permutations of [n+3] containing exactly two 123 patterns. - Emeric Deutsch, Jul 13 2001
Number of Dyck paths of semilength n+2 having pyramid weight n+1 (for pyramid weight see Denise and Simion). Example: a(2)=5 because the Dyck paths of semilength 4 having pyramid weight 3 are: (ud)u(ud)(ud)d, u(ud)(ud)d(ud), u(ud)(ud)(ud)d, u(ud)(uudd)d and u(uudd)(ud)d [here u=(1,1), d=(1,-1) and the maximal pyramids, of total length 3, are shown between parentheses]. - Emeric Deutsch, Mar 10 2004
a(n) is the number of dissections of a regular (n+3)-gon using n-1 noncrossing diagonals such that every piece of the dissection contains at least one non-base side of the (n+3)-gon. (One side of the (n+3)-gon is designated the base.) - David Callan, Mar 23 2004
If X_1,X_2,...,X_n are 2-blocks of a (2n+1)-set X then a(n) is the number of (n+2)-subsets of X intersecting each X_i, (i=1..n). - Milan Janjic, Nov 18 2007
The second corrector line for transforming 2^n offset 0 with a leading 1 into the Fibonacci sequence. - Al Hakanson (hawkuu(AT)gmail.com), Jun 01 2009
Sum of all nodes of all integer compositions of n, see example. - Olivier Gérard, Oct 22 2011
Number of compositions of 2n with exactly two odd summands (see example). - Mamuka Jibladze, Sep 04 2013
4*a(n) is the number of North-East paths from (0,0) to (n+2,n+2) with exactly two east steps below y = x-1 or above y = x+1. It is related to paired pattern P_1 and P_6 in Pan and Remmel's link. - Ran Pan, Feb 04 2016
From Paul Weisenhorn, Oct 18 2019: (Start)
The polynomials S(n,x)= Sum_(k>=1) b(n,k)*x^k has the recurrence relation S(n+2,x)=2*S(n+1,x))-x*S(n) with S(1,x)=1, S(2,x)=2-x and are generated by the coefficients b(n,k). b(n,k) is defined by b(n,k)=Sum_(j=1..k) binomials(k+1,j)*b(n-j,k) or by b(n,k)=((n-2+k)!*(n-1+2k)*2^n)/(4*(n-1)!*k!). b(n,1)=A001792, b(n,2)=A001793, b(n,3)=A001794, b(n,4)=A006974, b(n,5)=A006975, b(n,6)=A006976, b(n,7)=A209404.
The general formula for the sequences with k>=1: a(n)=((n-2+k)!*(n-1+2k)*2^n)/(4*(n-1)!*k!) with n >= 1. (End) [See a comment in A053120 on subdiagonal sequences. - Wolfdieter Lang, Jan 03 2020]

Examples

			a(2)=5 since 32415, 32451, 34125, 42135 and 52134 are the only 132-avoiding permutations of 12345 containing exactly two increasing subsequences of length 3.
a(4)=56: the compositions of 4 are 4, 3+1, 1+3, 2+2, 2+1+1, 1+2+1, 1+1+2, 1+1+1+1, the corresponding nodes (partial sums) are {0, 4}, {0, 3, 4}, {0, 1, 4}, {0, 2, 4}, {0, 2, 3, 4}, {0, 1, 3, 4}, {0, 1, 2, 4}, {0, 1, 2, 3, 4}, with individual sums {4, 7, 5, 6, 9, 8, 7, 10} and total 56. - _Olivier Gérard_, Oct 22 2011
The a(3)=18 compositions of 2*3=6 with two odd summands are 5+1, 1+5, 3+3, 4+1+1, 1+4+1, 1+1+4, 3+2+1, 3+1+2, 2+3+1, 2+1+3, 1+3+2, 1+2+3, 2+2+1+1, 2+1+2+1, 2+1+1+2, 1+2+2+1, 1+2+1+2, 1+1+2+2. - _Mamuka Jibladze_, Sep 04 2013
		

References

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

Crossrefs

a(n) = A039991(n+3, 4) = A055252(n, 1).
Cf. A053120.

Programs

Formula

G.f.: x*(1-x)/(1-2*x)^3. Binomial transform of squares [1, 4, 9, ...].
a(n) = Sum_{k=0..floor((n+4)/2)} C(n+4, 2k)*C(k, 2). - Paul Barry, May 15 2003
With two leading zeros, binomial transform of quarter-squares A002620. - Paul Barry, May 27 2003
a(n) = Sum_{k=0..n+2} C(n+2, k) * floor(k^2/4). - Paul Barry, May 27 2003
a(n) = Sum_{i=0..j} binomial(i+1, 2)*binomial(j, i). - Jon Perry, Feb 26 2004
With one leading zero, binomial transform of triangular numbers A000217. - Philippe Deléham, Aug 02 2005
a(n) = Sum_{k=0..n+1} (-1)^(n-k+1)*C(k, n-k+1)*k*C(2k, k)/2. - Paul Barry, Oct 07 2005
Left-shifted sequence is binomial transform of left-shifted squares (A000290). - Franklin T. Adams-Watters, Nov 29 2006
Binomial transform of a(n) = n^2 offset 1. a(3)=18. - Al Hakanson (hawkuu(AT)gmail.com), Jun 01 2009
a(n) = (1/n) * Sum_{k=0..n} binomial(n,k)*k^3. - Gary Detlefs, Nov 26 2011
For n > 1, a(n) = Sum_{k=0..n-1} Sum_{i=0..n} (k+2) * C(n-2,i). - Wesley Ivan Hurt, Sep 20 2017
a(n) = a(-3-n)*2^(2*n+3), a(n)*(n+3) = -A058645(-3-n)*2^(2*n+3) for all n in Z. - Michael Somos, Apr 19 2019
E.g.f.: (1/2)*exp(2*x)*x*(2 + x). - Stefano Spezia, Aug 17 2019
From Amiram Eldar, Jan 05 2022: (Start)
Sum_{n>=1} 1/a(n) = 128/9 - 56*log(2)/3.
Sum_{n>=1} (-1)^(n+1)/a(n) = 24*log(3/2) - 80/9. (End)

A049611 a(n) = T(n,2), array T as in A049600.

Original entry on oeis.org

0, 1, 4, 13, 38, 104, 272, 688, 1696, 4096, 9728, 22784, 52736, 120832, 274432, 618496, 1384448, 3080192, 6815744, 15007744, 32899072, 71827456, 156237824, 338690048, 731906048, 1577058304, 3388997632, 7264534528, 15535702016
Offset: 0

Views

Author

Keywords

Comments

Refer to A089378 and A075729 for the definition of hierarchies, subhierarchies and one-step transitions. - Thomas Wieder, Feb 28 2004
We may ask for the number of one-step transitions (NOOST) between all unlabeled hierarchies of n elements with the restriction that no subhierarchies are allowed. As an example, consider n = 4 and the hierarchy H1 = [[2,2]] with two elements on level 1 and two on level 2. Starting from H1 the hierarchies [[1, 3]], [[2, 1, 1]], [[1, 2, 1]] can be reached by moving one element only, but [[1, 1, 2]] cannot be reached in a one-step transitition. The solution is n = 1, NOOST = 0; n = 2, NOOST = 1; n = 3, NOOST = 4; n = 4, NOOST = 13; n = 5, NOOST = 38; n = 6, NOOST = 104; n = 7, NOOST = 272; n = 8, NOOST = 688; n = 9, NOOST = 1696. This is sequence A049611. - Thomas Wieder, Feb 28 2004
If X_1,X_2,...,X_n are 2-blocks of a (2n+2)-set X then, for n>=1, a(n+1) is the number of (n+2)-subsets of X intersecting each X_i, (i=1,2,...,n). - Milan Janjic, Nov 18 2007
In each composition (ordered partition) of the integer n, circle the first summand once, circle the second summand twice, etc. a(n) is the total number of circles in all compositions of n (that is, add k*(k+1)/2 for each composition into k parts). Note the O.g.f. is B(A(x)) where A(x)= x/(1-x) and B(x)= x/(1-x)^3.
This is the Riordan transform with the Riordan matrix A097805 (of the associated type) of the triangular number sequence A000217. See a Feb 17 2017 comment on A097805. - Wolfdieter Lang, Feb 17 2017

Crossrefs

a(n+1)= A055252(n, 0), n >= 0. Row sums of triangle A055249.

Programs

  • Mathematica
    CoefficientList[Series[x (1-x)^2/(1-2x)^3,{x,0,40}],x] (* Harvey P. Dale, Sep 24 2013 *)
  • PARI
    concat(0, Vec(x*(1-x)^2/(1-2*x)^3+O(x^99))) \\ Charles R Greathouse IV, Jun 12 2015

Formula

G.f.: x*(1-x)^2/(1-2*x)^3.
Binomial transform of quarter squares A002620(n+1): a(n) = Sum_{k=0..n} binomial(n, k)*floor((k+1)^2/4). - Paul Barry, May 27 2003
a(n) = 2^(n-4)*(n^2+5*n+2) - 0^n/8. - Paul Barry, Jun 09 2003
a(n+2) = A001787(n+2) + A001788(n). - Creighton Dement, Aug 02 2005
a(n) = Hyper2F1([-n+1, 3], [1], -1) for n>0. - Peter Luschny, Aug 02 2014
a(n) = Sum_{k=0..n-1} Sum_{j=0..n-1} Sum_{i=0..n-1} binomial(n-1, i+j+k). - Yalcin Aktar, Aug 27 2023

A062109 Expansion of ((1-x)/(1-2*x))^4.

Original entry on oeis.org

1, 4, 14, 44, 129, 360, 968, 2528, 6448, 16128, 39680, 96256, 230656, 546816, 1284096, 2990080, 6909952, 15859712, 36175872, 82051072, 185139200, 415760384, 929562624, 2069889024, 4591714304, 10150215680, 22364028928, 49123688448, 107592286208, 235015241728, 512040632320
Offset: 0

Views

Author

Henry Bottomley, May 30 2001

Keywords

Comments

If X_1,X_2,...,X_n are 2-blocks of a (2n+4)-set X then, for n >= 1, a(n+1) is the number of (n+3)-subsets of X intersecting each X_i, (i=1,2,...,n). - Milan Janjic, Nov 23 2007
If the offset here is set to zero, the binomial transform of A006918. - R. J. Mathar, Jun 29 2009
a(n) is the number of weak compositions of n with exactly 3 parts equal to 0. - Milan Janjic, Jun 27 2010
Binomial transform of A002623. - Carl Najafi, Jan 22 2013
Except for an initial 1, this is the p-INVERT of (1,1,1,1,1,...) for p(S) = (1 - S)^4; see A291000. - Clark Kimberling, Aug 24 2017

Programs

  • Magma
    m:=30; R:=PowerSeriesRing(Integers(), m); Coefficients(R!(((1-x)/(1-2*x))^4)); // G. C. Greubel, Oct 16 2018
  • Maple
    seq(coeff(series(((1-x)/(1-2*x))^4, x,n+1),x,n),n=0..30); # Muniru A Asiru, Jul 01 2018
  • Mathematica
    CoefficientList[Series[(1 - x)^4/(1 - 2 x)^4, {x, 0, 26}], x] (* Michael De Vlieger, Jul 01 2018 *)
    LinearRecurrence[{8,-24,32,-16},{1,4,14,44,129},30] (* Harvey P. Dale, Sep 02 2022 *)
  • PARI
    a(n)=if(n<1,n==0,(n+5)*(n^2+13*n+18)*2^n/96)
    

Formula

a(n) = (n+5)*(n^2 + 13*n + 18)*2^(n-5)/3, with a(0)=1.
a(n) = A055809(n-5)*2^(n-4).
a(n) = 2*a(n-1) + A058396(n) - A058396(n-1).
a(n) = Sum_{kA058396(n).
a(n) = A062110(4, n).
G.f.: (1-x)^4/(1-2*x)^4.

A160232 Array read by antidiagonals: row n has g.f. ((1-x)/(1-2x))^n.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 1, 3, 5, 4, 1, 4, 9, 12, 8, 1, 5, 14, 25, 28, 16, 1, 6, 20, 44, 66, 64, 32, 1, 7, 27, 70, 129, 168, 144, 64, 1, 8, 35, 104, 225, 360, 416, 320, 128, 1, 9, 44, 147, 363, 681, 968, 1008, 704, 256, 1, 10, 54, 200, 553, 1182, 1970, 2528, 2400, 1536, 512, 1, 11, 65
Offset: 1

Views

Author

N. J. A. Sloane, May 15 2010

Keywords

Comments

Suggested by a question from Phyllis Chinn (Humboldt State University).
As triangle, mirror image of A105306. - Philippe Deléham, Nov 01 2011
A160232 is jointly generated with A208341 as a triangular array of coefficients of polynomials u(n,x): initially, u(1,x)=v(1,x)=1; for n > 1, u(n,x) = u(n-1,x) + x*v(n-1)x and v(n,x) = u(n-1,x) + 2x*v(n-1,x). See the Mathematica section. - Clark Kimberling, Feb 25 2012
Subtriangle of the triangle T(n,k) given by (1, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938. - Philippe Deléham, Mar 08 2012

Examples

			Array begins:
  1, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, 262144, ...
  1, 2, 5, 12, 28, 64, 144, 320, 704, 1536, 3328, 7168, 15360, 32768, 69632, 147456, 311296, 655360, 1376256, ...
  1, 3, 9, 25, 66, 168, 416, 1008, 2400, 5632, 13056, 29952, 68096, 153600, 344064, 765952, 1695744, 3735552, ...
  1, 4, 14, 44, 129, 360, 968, 2528, 6448, 16128, 39680, 96256, 230656, 546816, 1284096, 2990080, 6909952, ...
  1, 5, 20, 70, 225, 681, 1970, 5500, 14920, 39520, 102592, 261760, 657920, 1632000, 4001280, 9708544, ...
  1, 6, 27, 104, 363, 1182, 3653, 10836, 31092, 86784, 236640, 632448, 1661056, 4296192, 10961664, 27630592, ...
From _Clark Kimberling_, Feb 25 2012: (Start)
As a triangle (see Comments):
  1;
  1,  1;
  1,  2,  2;
  1,  3,  5,  4;
  1,  4,  9, 12,  8;  (End)
From _Philippe Deléham_, Mar 08 2012: (Start)
(1, 0, 0, 0, 0, ...) DELTA (0, 1, 1, 0, 0, 0, ...) begins:
  1;
  1,  0;
  1,  1,  0;
  1,  2,  2,  0;
  1,  3,  5,  4,  0;
  1,  4,  9, 12,  8,  0;
  1,  5, 14, 25, 28, 16,  0; (End)
		

Crossrefs

Programs

  • Mathematica
    u[1, x_] := 1; v[1, x_] := 1; z = 13;
    u[n_, x_] := u[n - 1, x] + x*v[n - 1, x];
    v[n_, x_] := u[n - 1, x] + 2*x*v[n - 1, x];
    Table[Expand[u[n, x]], {n, 1, z/2}]
    Table[Expand[v[n, x]], {n, 1, z/2}]
    cu = Table[CoefficientList[u[n, x], x], {n, 1, z}];
    TableForm[cu]
    Flatten[%]  (* A160232 *)
    Table[Expand[v[n, x]], {n, 1, z}]
    cv = Table[CoefficientList[v[n, x], x], {n, 1, z}];
    TableForm[cv]
    Flatten[%]  (* A208341 *)
    (* Clark Kimberling, Feb 25 2012 *)

Formula

From Philippe Deléham, Mar 08 2012: (Start)
As DELTA-triangle T(n,k) with 0 <= k <= n:
T(n,k) = T(n-1,k) + 2*T(n-1,k-1) - T(n-2,k-1), T(0,0) = 1, T(1,0) = 1, T(1,1) = 0, T(n,k) = 0 if k < 0 or if k > n.
G.f.: (1-2*y*x)/(1-2*y*x-x+y*x^2).
Sum_{k=0..n, n>0} T(n,k)*x^k = A000012(n), A001519(n), A052984(n-1) for x = 0, 1, 2 respectively. (End)

A169792 Expansion of ((1-x)/(1-2x))^5.

Original entry on oeis.org

1, 5, 20, 70, 225, 681, 1970, 5500, 14920, 39520, 102592, 261760, 657920, 1632000, 4001280, 9708544, 23336960, 55623680, 131563520, 309002240, 721092608, 1672806400, 3859415040, 8859156480, 20240138240, 46038777856, 104291368960, 235342397440, 529153392640
Offset: 0

Views

Author

N. J. A. Sloane, May 15 2010

Keywords

Comments

a(n) is the number of weak compositions of n with exactly 4 parts equal to 0. - Milan Janjic, Jun 27 2010
Except for an initial 1, this is the p-INVERT of (1,1,1,1,1,...) for p(S) = (1 - S)^5; see A291000. - Clark Kimberling, Aug 24 2017

Crossrefs

((1-x)/(1-2x))^k: A011782, A045623, A058396, A062109, A169792-A169797; a row of A160232.

Programs

  • GAP
    Concatenation([1],List([1..30],n->2^n*(n+4)*(n^3+26*n^2+171*n+186)/768)); # Muniru A Asiru, Aug 22 2018
  • Maple
    seq(coeff(series(((1-x)/(1-2*x))^5, x,n+1),x,n),n=0..30); # Muniru A Asiru, Aug 22 2018
  • Mathematica
    CoefficientList[Series[((1 - x)/(1 - 2 x))^5, {x, 0, 28}], x] (* Michael De Vlieger, Oct 15 2018 *)
  • PARI
    Vec(((1-x)/(1-2*x))^5+O(x^99)) \\ Charles R Greathouse IV, Sep 23 2012
    

Formula

a(n) = 10*a(n-1) - 40*a(n-2) + 80*a(n-3) - 80*a(n-4) + 32*a(n-5), n >= 6. - Vincenzo Librandi, Mar 14 2011
a(n) = 2^n*(n+4)*(n^3 + 26*n^2 + 171*n + 186)/768, n > 0. - R. J. Mathar, Mar 14 2011

A169797 Expansion of ((1-x)/(1-2x))^10.

Original entry on oeis.org

1, 10, 65, 340, 1550, 6412, 24650, 89440, 309605, 1030490, 3317445, 10377180, 31655820, 94451520, 276313200, 794169792, 2246410560, 6262748160, 17230138880, 46831339520, 125870737408, 334826700800, 882159984640, 2303540756480, 5965195018240, 15327324667904
Offset: 0

Views

Author

N. J. A. Sloane, May 15 2010

Keywords

Comments

a(n) is the number of weak compositions of n with exactly 9 parts equal to 0. - Milan Janjic, Jun 27 2010

Crossrefs

((1-x)/(1-2x))^k: A011782, A045623, A058396, A062109, A169792-A169797; a row of A160232.

Programs

  • Mathematica
    CoefficientList[Series[((1-x)/(1-2x))^10,{x,0,30}],x] (* or *) Join[ {1}, LinearRecurrence[{20,-180,960,-3360,8064,-13440,15360,-11520,5120,-1024},{10,65,340,1550,6412,24650,89440,309605,1030490,3317445},30]] (* Harvey P. Dale, Aug 21 2014 *)
  • PARI
    Vec(((1-x)/(1-2*x))^10+O(x^99)) \\ Charles R Greathouse IV, Sep 23 2012

Formula

a(n) = 2^(n-17)*(n+11) *(n^8 + 124*n^7 + 5986*n^6 + 143944*n^5 + 1836529*n^4 + 12358156*n^3 + 42005484*n^2 + 64730736*n + 33747840)/2835, n > 0. - R. J. Mathar, Mar 14 2011

A062110 A(n,k) is the coefficient of x^k in (1-x)^n/(1-2*x)^n for n, k >= 0; Table A read by descending antidiagonals.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 2, 2, 1, 0, 4, 5, 3, 1, 0, 8, 12, 9, 4, 1, 0, 16, 28, 25, 14, 5, 1, 0, 32, 64, 66, 44, 20, 6, 1, 0, 64, 144, 168, 129, 70, 27, 7, 1, 0, 128, 320, 416, 360, 225, 104, 35, 8, 1, 0, 256, 704, 1008, 968, 681, 363, 147, 44, 9, 1, 0, 512, 1536, 2400, 2528, 1970
Offset: 0

Views

Author

Henry Bottomley, May 30 2001

Keywords

Comments

The triangular version of this square array is defined by T(n,k) = A(k,n-k) for 0 <= k <= n. Conversely, A(n,k) = T(n+k,n) for n,k >= 0. We have [o.g.f of T](x,y) = [o.g.f. of A](x*y, x) and [o.g.f. of A](x,y) = [o.g.f. of T](y,x/y). - Petros Hadjicostas, Feb 11 2021
From Paul Barry, Nov 10 2008: (Start)
As number triangle, Riordan array (1, x(1-x)/(1-2x)). A062110*A007318 is A147703.
[0,1,1,0,0,0,....] DELTA [1,0,0,0,.....]. (Philippe Deléham's DELTA is defined in A084938.) (End)
Modulo 2, this triangle T becomes triangle A106344. - Philippe Deléham, Dec 18 2008

Examples

			Table A(n,k) (with rows n >= 0 and columns k >= 0) begins:
  1, 0,  0,   0,   0,    0,    0,     0,     0,     0, ...
  1, 1,  2,   4,   8,   16,   32,    64,   128,   256, ...
  1, 2,  5,  12,  28,   64,  144,   320,   704,  1536, ...
  1, 3,  9,  25,  66,  168,  416,  1008,  2400,  5632, ...
  1, 4, 14,  44, 129,  360,  968,  2528,  6448, 16128, ...
  1, 5, 20,  70, 225,  681, 1970,  5500, 14920, 39520, ...
  1, 6, 27, 104, 363, 1182, 3653, 10836, 31092, 86784, ...
  ... - _Petros Hadjicostas_, Feb 15 2021
Triangle T(n,k) (with rows n >= 0 and columns k = 0..n) begins:
  1;
  0,   1;
  0,   1,   1;
  0,   2,   2,   1;
  0,   4,   5,   3,   1;
  0,   8,  12,   9,   4,   1;
  0,  16,  28,  25,  14,   5,   1;
  0,  32,  64,  66,  44,  20,   6,   1;
  0,  64, 144, 168, 129,  70,  27,   7,   1;
  0, 128, 320, 416, 360, 225, 104,  35,   8,   1;
  ... - _Philippe Deléham_, Nov 30 2008
		

Crossrefs

Columns of A include A000012, A001477, A000096, A000297.
Main diagonal of A is A002002.
Table A(n, k) is a multiple of 2^(k-n); dividing by this gives a table similar to A050143 except at the edges.
Essentially the same array as A105306, A160232.

Programs

  • Mathematica
    t[n_, n_] = 1; t[n_, k_] := 2^(n-2*k)*k*Hypergeometric2F1[1-k, n-k+1, 2, -1]; Table[t[n, k], {n, 0, 11}, {k, 0, n}] // Flatten (* Jean-François Alcover, Oct 30 2013, after Philippe Deléham + symbolic sum *)
  • PARI
    a(i,j)=if(i<0 || j<0,0,polcoeff(((1-x)/(1-2*x)+x*O(x^j))^i,j))

Formula

Formulas for the square array (A(n,k): n,k >= 0):
A(n, k) = A(n-1, k) + Sum_{0 <= j < k} A(n, j) for n >= 1 and k >= 0 with A(0, k) = 0^k for k >= 0.
G.f.: 1/(1-x*(1-y)/(1-2*y)) = Sum_{i, j >= 0} A(i, j) x^i*y^j.
From Petros Hadjicostas, Feb 15 2021: (Start)
A(n,k) = 2^(k-n)*n*hypergeom([1-n, k+1], [2], -1) for n >= 0 and k >= 1.
A(n,k) = 2*A(n,k-1) + A(n-1,k) - A(n-1,k-1) for n,k >= 1 with A(n,0) = 1 for n >= 0 and A(0,k) = 0 for k >= 1. (End)
Formulas for the triangle (T(n,k): 0 <= k <= n):
From Philippe Deléham, Aug 01 2006: (Start)
T(n,k) = A121462(n+1,k+1)*2^(n-2*k) for 0 <= k < n.
T(n,k) = 2^(n-2*k)*k*hypergeom([1-k, n-k+1], [2], -1) for 0 <= k < n. (End)
Sum_{k=0..n} T(n,k)*x^k = A152239(n), A152223(n), A152185(n), A152174(n), A152167(n), A152166(n), A152163(n), A000007(n), A001519(n), A006012(n), A081704(n), A082761(n), A147837(n), A147838(n), A147839(n), A147840(n), A147841(n), for x = -7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9 respectively. - Philippe Deléham, Dec 09 2008
T(n,k) = 2*T(n-1,k) + T(n-1,k-1) - T(n-2,k-1) for 1 <= k <= n-1 with T(0,0) = T(1,1) = T(2,1) = T(2,2) = 1, T(1,0) = T(2,0) = 0, and T(n,k) = 0 if k > n or if k < 0. - Philippe Deléham, Oct 30 2013
G.f.: Sum_{n.k>=0} T(n,k)*x^n*y^k = (1 - 2*x)/(x^2*y - x*y - 2*x + 1). - Petros Hadjicostas, Feb 15 2021

Extensions

Various sections edited by Petros Hadjicostas, Feb 15 2021

A084851 Binomial transform of binomial(n+2,2).

Original entry on oeis.org

1, 4, 13, 38, 104, 272, 688, 1696, 4096, 9728, 22784, 52736, 120832, 274432, 618496, 1384448, 3080192, 6815744, 15007744, 32899072, 71827456, 156237824, 338690048, 731906048, 1577058304, 3388997632, 7264534528, 15535702016, 33151778816
Offset: 0

Views

Author

Paul Barry, Jun 09 2003

Keywords

Comments

Essentially the same as A049611.

Examples

			From _Bruno Berselli_, Jul 17 2018: (Start)
Let the triangle:
   1
   3,  4
   6,  9,  13
  10, 16,  25,  38
  15, 25,  41,  66, 104
  21, 36,  61, 102, 168, 272
  28, 49,  85, 146, 248, 416,  688
  36, 64, 113, 198, 344, 592, 1008, 1696, etc.
where the first column is A000217 (without 0). The other terms are calculated with the recurrence T(r, c) = T(r-1, c-1) + T(r, c-1).
The sequence is the right side of the triangle.
(End)
		

Crossrefs

Cf. A000217, A049611, A058396 (first differences).

Programs

  • Magma
    [(n^2+7*n+8)*2^(n-3): n in [0..40]]; // Vincenzo Librandi, Aug 03 2014
  • Maple
    a := n -> hypergeom([-n, 3], [1], -1);
    seq(round(evalf(a(n),32)), n=0..31); # Peter Luschny, Aug 02 2014
  • Mathematica
    CoefficientList[ Series[(1 - x)^2/(1 - 2 x)^3, {x, 0, 28}], x] (* Robert G. Wilson v, Jun 28 2005 *)
    LinearRecurrence[{6,-12,8},{1,4,13},30] (* Harvey P. Dale, Aug 05 2019 *)

Formula

G.f.: (1 - x)^2/(1 - 2*x)^3.
a(n) = (n^2 + 7*n + 8)*2^(n - 3).
a(n) = Sum_{k=0..n} C(n, k)*C(k+2, 2).
a(n) = A049611(n+1).
Showing 1-10 of 22 results. Next