A002063 -id:A002063 - cp's OEIS frontend

A000302 Powers of 4: a(n) = 4^n.

1, 4, 16, 64, 256, 1024, 4096, 16384, 65536, 262144, 1048576, 4194304, 16777216, 67108864, 268435456, 1073741824, 4294967296, 17179869184, 68719476736, 274877906944, 1099511627776, 4398046511104, 17592186044416, 70368744177664, 281474976710656

Offset: 0

N. J. A. Sloane

Same as Pisot sequences E(1, 4), L(1, 4), P(1, 4), T(1, 4). Essentially same as Pisot sequences E(4, 16), L(4, 16), P(4, 16), T(4, 16). See A008776 for definitions of Pisot sequences.
The convolution square root of this sequence is A000984, the central binomial coefficients: C(2n,n). - T. D. Noe, Jun 11 2002
With P(n) being the number of integer partitions of n, p(i) as the number of parts of the i-th partition of n, d(i) as the number of different parts of the i-th partition of n, m(i, j) the multiplicity of the j-th part of the i-th partition of n, one has a(n) = Sum_{i = 1..P(n)} p(i)!/(Product_{j = 1..d(i)} m(i, j)!) * 2^(n-1). - Thomas Wieder, May 18 2005
Sums of rows of the triangle in A122366. - Reinhard Zumkeller, Aug 30 2006
Hankel transform of A076035. - Philippe Deléham, Feb 28 2009
Equals the Catalan sequence: (1, 1, 2, 5, 14, ...), convolved with A032443: (1, 3, 11, 42, ...). - Gary W. Adamson, May 15 2009
Sum of coefficients of expansion of (1 + x + x^2 + x^3)^n.
a(n) is number of compositions of natural numbers into n parts less than 4. For example, a(2) = 16 since there are 16 compositions of natural numbers into 2 parts less than 4.
The compositions of n in which each natural number is colored by one of p different colors are called p-colored compositions of n. For n >= 1, a(n) equals the number of 4-colored compositions of n such that no adjacent parts have the same color. - Milan Janjic, Nov 17 2011
Squares in A002984. - Reinhard Zumkeller, Dec 28 2011
Row sums of Pascal's triangle using the rule that going left increases the value by a factor of k = 3. For example, the first three rows are {1}, {3, 1}, and {9, 6, 1}. Using this rule gives row sums as (k+1)^n. - Jon Perry, Oct 11 2012
First differences of A002450. - Omar E. Pol, Feb 20 2013
Sum of all peak heights in Dyck paths of semilength n+1. - David Scambler, Apr 22 2013
Powers of 4 exceed powers of 2 by A020522 which is the m-th oblong number A002378(m), m being the n-th Mersenne number A000225(n); hence, we may write, a(n) = A000079(n) + A002378(A000225(n)). - Lekraj Beedassy, Jan 17 2014
a(n) is equal to 1 plus the sum for 0 < k < 2^n of the numerators and denominators of the reduced fractions k/2^n. - J. M. Bergot, Jul 13 2015
Binomial transform of A000244. - Tony Foster III, Oct 01 2016
From Ilya Gutkovskiy, Oct 01 2016: (Start)
Number of nodes at level n regular 4-ary tree.
Partial sums of A002001. (End)
Satisfies Benford's law [Berger-Hill, 2011]. - N. J. A. Sloane, Feb 08 2017
Also the number of connected dominating sets in the (n+1)-barbell graph. - Eric W. Weisstein, Jun 29 2017
Side length of the cells at level n in a pyramid scheme where a square grid is decomposed into overlapping 2 X 2 blocks (cf. Kropatsch, 1985). - Felix Fröhlich, Jul 04 2019
a(n-1) is the number of 3-compositions of n; see Hopkins & Ouvry reference. - Brian Hopkins, Aug 15 2020

H. W. Gould, Combinatorial Identities, 1972, eq. (1.93), p. 12.
R. L. Graham, D. E. Knuth and O. Patashnik, Concrete Mathematics. Addison-Wesley, Reading, MA, 2nd. ed., 1994, eq. (5.39), p. 187.
D. Phulara and L. W. Shapiro, Descendants in ordered trees with a marked vertex, Congressus Numerantium, 205 (2011), 121-128.
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).
S. Wolfram, A New Kind of Science, Wolfram Media, 2002; p. 55.

T. D. Noe, Table of n, a(n) for n = 0..100
Arno Berger and Theodore P. Hill, Benford's law strikes back: no simple explanation in sight for mathematical gem, The Mathematical Intelligencer 33.1 (2011): 85-91.
Isabel Cação, Helmuth R. Malonek, Maria Irene Falcão, and Graça Tomaz, Combinatorial Identities Associated with a Multidimensional Polynomial Sequence, J. Int. Seq., Vol. 21 (2018), Article 18.7.4.
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
G. Dresden and Y. Li, Periodic Weighted Sums of Binomial Coefficients, arXiv:2210.04322 [math.NT], 2022.
R. Duarte and A. G. de Oliveira, Short note on the convolution of binomial coefficients, arXiv preprint arXiv:1302.2100 [math.CO], 2013 and J. Int. Seq. 16 (2013) #13.7.6.
Roudy El Haddad, Recurrent Sums and Partition Identities, arXiv:2101.09089 [math.NT], 2021.
Roudy El Haddad, A generalization of multiple zeta value. Part 1: Recurrent sums. Notes on Number Theory and Discrete Mathematics, 28(2), 2022, 167-199, DOI: 10.7546/nntdm.2022.28.2.167-199.
Madeleine Goertz and Aaron Williams, The Quaternary Gray Code and How It Can Be Used to Solve Ziggurat and Other Ziggu Puzzles, arXiv:2411.19291 [math.CO], 2024. See p. 5.
R. K. Guy, Letter to N. J. A. Sloane
Brian Hopkins and Stéphane Ouvry, Combinatorics of Multicompositions, arXiv:2008.04937 [math.CO], 2020.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 8
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 269
Milan Janjić, Pascal Matrices and Restricted Words, J. Int. Seq., Vol. 21 (2018), Article 18.5.2.
Tanya Khovanova, Recursive Sequences
Craig Knecht, Number of tilings for a 6 sphinx tile repetitive unit.
Walter G. Kropatsch, A pyramid that grows by powers of 2, Pattern Recognition Letters, Vol. 3, No. 5 (1985), 315-322 [Subscription required].
Mircea Merca, A Note on Cosine Power Sums J. Integer Sequences, Vol. 15 (2012), Article 12.5.3.
Simon Plouffe, Approximations de séries génératrices et quelques conjectures, Dissertation, Université du Québec à Montréal, 1992; arXiv:0911.4975 [math.NT], 2009.
Simon Plouffe, 1031 Generating Functions, Appendix to Thesis, Montreal, 1992
Robert Price, Comments on A000302 concerning Elementary Cellular Automata, Feb 26 2016.
Y. Puri and T. Ward, Arithmetic and growth of periodic orbits, J. Integer Seqs., Vol. 4 (2001), #01.2.1.
Robert Schneider, Partition zeta functions, Research in Number Theory, 2(1):9., 2016.
Paul K. Stockmeyer, The Pascal Rhombus and the Stealth Configuration, arXiv preprint arXiv:1504.04404 [math.CO], 2015.
Eric Weisstein's World of Mathematics, Barbell Graph
Eric Weisstein's World of Mathematics, Cantor Dust
Eric Weisstein's World of Mathematics, Connected Dominating Set
Eric Weisstein's World of Mathematics, Elementary Cellular Automaton
S. Wolfram, A New Kind of Science
Index to Elementary Cellular Automata
Index entries for sequences related to cellular automata
Index entries for "core" sequences
Index to divisibility sequences
Index entries for linear recurrences with constant coefficients, signature (4).
Index entries for sequences related to Benford's law

Cf. A024036, A052539, A032443, A000351 (Binomial transform).
Cf. A249307.
Cf. A083420.

a000302 = (4 ^)
a000302_list = iterate (* 4) 1  -- Reinhard Zumkeller, Apr 04 2012

A000302 := n->4^n;
for n from 0 to 10 do sum(2^(n-j)*binomial(n+j,j),j=0..n); od; # Peter C. Heinig (algorithms(AT)gmx.de), Apr 06 2007
A000302:=-1/(-1+4*z); # Simon Plouffe in his 1992 dissertation.

Table[4^n, {n, 0, 30}] (* Stefan Steinerberger, Apr 01 2006 *)
CoefficientList[Series[1/(1 - 4 x), {x, 0, 50}], x]  (* Vincenzo Librandi, May 29 2014 *)
NestList[4 # &, 1, 30] (* Harvey P. Dale, Mar 26 2015 *)
4^Range[0, 30] (* Eric W. Weisstein, Jun 29 2017 *)
LinearRecurrence[{4}, {1}, 31] (* Robert A. Russell, Nov 08 2018 *)

A000302(n):=4^n$ makelist(A000302(n),n,0,30); /* Martin Ettl, Oct 24 2012 */

A000302(n)=4^n \\ Michael B. Porter, Nov 06 2009

print([4**n for n in range(25)]) # Michael S. Branicky, Jan 04 2021

is_A000302 = lambda n: n.bit_count()==1 and n.bit_length()&1 # M. F. Hasler, Nov 25 2024

[4**n for n in range(0,25)] # Stefano Spezia, Jul 23 2025

(List.fill(20)(4: BigInt)).scanLeft(1: BigInt)( * ) // Alonso del Arte, Jun 22 2019

a(n) = 4^n.
a(0) = 1; a(n) = 4*a(n-1).
G.f.: 1/(1-4*x).
E.g.f.: exp(4*x).
a(n) = Sum_{k = 0..n} binomial(2k, k) * binomial(2(n - k), n - k). - Benoit Cloitre, Jan 26 2003 [See Graham et al., eq. (5.39), p. 187. - Wolfdieter Lang, Aug 16 2019]
1 = Sum_{n >= 1} 3/a(n) = 3/4 + 3/16 + 3/64 + 3/256 + 3/1024, ...; with partial sums: 3/4, 15/16, 63/64, 255/256, 1023/1024, ... - Gary W. Adamson, Jun 16 2003
a(n) = A001045(2*n) + A001045(2*n+1). - Paul Barry, Apr 27 2004
A000005(a(n)) = A005408(n+1). - Reinhard Zumkeller, Mar 04 2007
a(n) = Sum_{j = 0..n} 2^(n - j)*binomial(n + j, j). - Peter C. Heinig (algorithms(AT)gmx.de), Apr 06 2007
Hankel transform of A115967. - Philippe Deléham, Jun 22 2007
a(n) = 6*Stirling2(n+1, 4) + 6*Stirling2(n+1, 3) + 3*Stirling2(n+1, 2) + 1 = 2*Stirling2(2^n, 2^n - 1) + Stirling2(n+1, 2) + 1. - Ross La Haye, Jun 26 2008
a(n) = A159991(n)/A001024(n) = A047653(n) + A181765(n). A160700(a(n)) = A010685(n). - Reinhard Zumkeller, May 02 2009
a(n) = A188915(A006127(n)). - Reinhard Zumkeller, Apr 14 2011
a(n) = Sum_{k = 0..n} binomial(2*n+1, k). - Mircea Merca, Jun 25 2011
Sum_{n >= 1} Mobius(n)/a(n) = 0.1710822479183... - R. J. Mathar, Aug 12 2012
a(n) = Sum_{k = 0..n} binomial(2*k + x, k)*binomial(2*(n - k) - x, n - k) for every real number x. - Rui Duarte and António Guedes de Oliveira, Feb 16 2013
a(n) = 5*a(n - 1) - 4*a(n - 2). - Jean-Bernard François, Sep 12 2013
a(n) = (2*n+1) * binomial(2*n,n) * Sum_{j=0..n} (-1)^j/(2*j+1)*binomial(n,j). - Vaclav Kotesovec, Sep 15 2013
a(n) = A000217(2^n - 1) + A000217(2^n). - J. M. Bergot, Dec 28 2014
a(n) = (2^n)^2 = A000079(n)^2. - Doug Bell, Jun 23 2015
a(n) = A002063(n)/3 - A004171(n). - Zhandos Mambetaliyev, Nov 19 2016
a(n) = (1/2) * Product_{k = 0..n} (1 + (2*n + 1)/(2*k + 1)). - Peter Bala, Mar 06 2018
a(n) = A001045(n+1)*A001045(n+2) + A001045(n)^2. - Ezhilarasu Velayutham, Aug 30 2019
a(n) = denominator(zeta_star({2}(n + 1))/zeta(2*n + 2)) where zeta_star is the multiple zeta star values and ({2}_n) represents (2, ..., 2) where the multiplicity of 2 is n. - _Roudy El Haddad, Feb 22 2022
a(n) = 1 + 3*Sum_{k=0..n} binomial(2*n, n+k)*(k|9), where (k|9) is the Jacobi symbol. - Greg Dresden, Oct 11 2022
a(n) = Sum_{k = 0..n} binomial(2*n+1, 2*k) = Sum_{k = 0..n} binomial(2*n+1, 2*k+1). - Sela Fried, Mar 23 2023

Partially edited by Joerg Arndt, Mar 11 2010

A004171 a(n) = 2^(2n+1).

Original entry on oeis.org

2, 8, 32, 128, 512, 2048, 8192, 32768, 131072, 524288, 2097152, 8388608, 33554432, 134217728, 536870912, 2147483648, 8589934592, 34359738368, 137438953472, 549755813888, 2199023255552, 8796093022208, 35184372088832, 140737488355328, 562949953421312

Offset: 0

N. J. A. Sloane

Same as Pisot sequences E(2, 8), L(2, 8), P(2, 8), T(2, 8). See A008776 for definitions of Pisot sequences.
In the Chebyshev polynomial of degree 2n, a(n) is the coefficient of x^2n. - Benoit Cloitre, Mar 13 2002
1/2 - 1/8 + 1/32 - 1/128 + ... = 2/5. - Gary W. Adamson, Mar 03 2009
From Adi Dani, May 15 2011: (Start)
Number of ways of placing an even number of indistinguishable objects in n + 1 distinguishable boxes with at most 3 objects in box.
Number of compositions of even natural numbers into n + 1 parts less than or equal to 3 (0 is counted as part). (End)
Also the number of maximal cliques in the (n+1)-Sierpinski tetrahedron graph for n > 0. - Eric W. Weisstein, Dec 01 2017
Assuming the Collatz conjecture is true, any starting number eventually leads to a power of 2. A number in this sequence can never be the first power of 2 in a Collatz sequence except of course for the Collatz sequence starting with that number. For example, except for 8, 4, 2, 1, any Collatz sequence that includes 8 must also include 16 (e.g., 5, 16, 8, 4, 2, 1). - Alonso del Arte, Oct 01 2019
First differences of A020988, and thus the "wavelengths" of the local maxima in A020986. See the Brillhart and Morton link, pp. 855-856. - John Keith, Mar 04 2021

			G.f. = 2 + 8*x + 32*x^2 + 128*x^3 + 512*x^4 + 2048*x^5 + 8192*x^6 + 32768*x^7 + ...
From _Adi Dani_, May 15 2011: (Start)
a(1) = 8 because all compositions of even natural numbers into 2 parts less than or equal to 3 are:
  for 0: (0, 0)
  for 2: (0, 2), (2, 0), (1, 1)
  for 4: (1, 3), (3, 1), (2, 2)
  for 6: (3, 3).
a(2) = 32 because all compositions of even natural numbers into 3 parts less than or equal to 3 are:
  for 0: (0, 0, 0)
  for 2: (0, 0, 2), (0, 2, 0), (2, 0, 0), (0, 1, 1), (1, 0, 1) , (1, 1, 0)
  for 4: (0, 1, 3), (0, 3, 1), (1, 0, 3), (1, 3, 0), (3, 0, 1), (3, 1, 0), (0, 2, 2), (2, 0, 2), (2, 2, 0), (1, 1, 2), (1, 2, 1), (2, 1, 1)
  for 6: (0, 3, 3), (3, 0, 3), (3, 3, 0), (1, 2, 3), (1, 3, 2), (2, 1, 3), (2, 3, 1), (3, 1, 2), (3, 2, 1), (2, 2, 2)
  for 8: (2, 3, 3), (3, 2, 3), (3, 3, 2).
(End)

Adi Dani, Quasicompositions of natural numbers, Proceedings of III congress of mathematicians of Macedonia, Struga Macedonia 29 IX -2 X 2005 pages 225-238.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
J. Brillhart and P. Morton, A case study in mathematical research: the Golay-Rudin-Shapiro sequence, Amer. Math. Monthly, 103 (1996) 854-869.
Ling Gao, Graph assembly for spider and tadpole graphs, Master's Thesis, Cal. State Poly. Univ. (2023).
Milan Janjic, Enumerative Formulas for Some Functions on Finite Sets.
Tanya Khovanova, Recursive Sequences.
Mitchell Paukner, Lucy Pepin, Manda Riehl, and Jarred Wieser, Pattern Avoidance in Task-Precedence Posets, arXiv:1511.00080 [math.CO], 2015-2016.
Eric Weisstein's World of Mathematics, Maximal Clique.
Eric Weisstein's World of Mathematics, Sierpinski Tetrahedron Graph.
Index entries for linear recurrences with constant coefficients, signature (4).
Index to divisibility sequences.

Cf. A013708-A013729.
Absolute value of A009117. Essentially the same as A081294.
Cf. A132020, A164632. Equals A000980(n) + 2*A181765(n). Cf. A013776.

List([0..30],n->2^(2*n+1)); # Muniru A Asiru, Mar 12 2019

a004171 = (* 2) . a000302
a004171_list = iterate (* 4) 2  -- Reinhard Zumkeller, Jan 09 2013

[2^(2*n+1): n in [0..30]]; // Vincenzo Librandi, May 16 2011

seq(2^(2*n+1),n=0..24); # Nathaniel Johnston, Jun 25 2011

Table[2^(2 n + 1), {n, 0, 24}]
2^(2 Range[20] - 1) (* Eric W. Weisstein, Dec 01 2017 *)
LinearRecurrence[{4}, {2}, 20] (* Eric W. Weisstein, Dec 01 2017 *)
CoefficientList[Series[2/(1 - 4 x), {x, 0, 20}], x] (* Eric W. Weisstein, Dec 01 2017 *)

a(n)=2<<(2*n) \\ Charles R Greathouse IV, Apr 07 2012

a(n) = 2^(2*n+1) \\ Michel Marcus, Aug 12 2014

[2**(2*n+1) for n in range(0,25)] # Stefano Spezia, Jul 23 2025

((List.fill(20)(4: BigInt)).scanLeft(1: BigInt)( * )).map(2 * ) // _Alonso del Arte, Sep 12 2019

a(n) = 2*4^n.
a(n) = 4*a(n-1).
1 = 1/2 + Sum_{n >= 1} 3/a(n) = 3/6 + 3/8 + 3/32 + 3/128 + 3/512 + 3/2048 + ...; with partial sums: 1/2, 31/32, 127/128, 511/512, 2047/2048, ... - Gary W. Adamson, Jun 16 2003
From Philippe Deléham, Nov 23 2008: (Start)
a(n) = 2*A000302(n).
G.f.: 2/(1-4*x). (End)
a(n) = A081294(n+1) = A028403(n+1) - A000079(n+1) for n >= 1. a(n-1) = A028403(n) - A000079(n). - Jaroslav Krizek, Jul 27 2009
E.g.f.: 2*exp(4*x). - Ilya Gutkovskiy, Nov 01 2016
a(n) = A002063(n)/3 - A000302(n). - Zhandos Mambetaliyev, Nov 19 2016
a(n) = Sum_{k = 0..2*n} (-1)^(k+n)*binomial(4*n + 2, 2*k + 1); a(2*n) = Sum_{k = 0..2*n} binomial(4*n + 2, 2*k + 1) = A013776(n). - Peter Bala, Nov 25 2016
Product_{n>=0} (1 - 1/a(n)) = A132020. - Amiram Eldar, May 08 2023

A024036 a(n) = 4^n - 1.

Original entry on oeis.org

0, 3, 15, 63, 255, 1023, 4095, 16383, 65535, 262143, 1048575, 4194303, 16777215, 67108863, 268435455, 1073741823, 4294967295, 17179869183, 68719476735, 274877906943, 1099511627775, 4398046511103, 17592186044415, 70368744177663, 281474976710655

Offset: 0

N. J. A. Sloane

This sequence is the normalized length per iteration of the space-filling Peano-Hilbert curve. The curve remains in a square, but its length increases without bound. The length of the curve, after n iterations in a unit square, is a(n)*2^(-n) where a(n) = 4*a(n-1)+3. This is the sequence of a(n) values. a(n)*(2^(-n)*2^(-n)) tends to 1, the area of the square where the curve is generated, as n increases. The ratio between the number of segments of the curve at the n-th iteration (A015521) and a(n) tends to 4/5 as n increases. - Giorgio Balzarotti, Mar 16 2006
Numbers whose base-4 representation is 333....3. - Zerinvary Lajos, Feb 03 2007
From Eric Desbiaux, Jun 28 2009: (Start)
It appears that for a given area, a square n^2 can be divided into n^2+1 other squares.
It's a rotation and zoom out of a Cartesian plan, which creates squares with side
= sqrt( (n^2) / (n^2+1) ) --> A010503|A010532|A010541... --> limit 1,
and diagonal sqrt(2*sqrt((n^2)/(n^2+1))) --> A010767|... --> limit A002193.
(End)
Also the total number of line segments after the n-th stage in the H tree, if 4^(n-1) H's are added at the n-th stage to the structure in which every "H" is formed by 3 line segments. A164346 (the first differences of this sequence) gives the number of line segments added at the n-th stage. - Omar E. Pol, Feb 16 2013
a(n) is the cumulative number of segment deletions in a Koch snowflake after (n+1) iterations. - Ivan N. Ianakiev, Nov 22 2013
Inverse binomial transform of A005057. - Wesley Ivan Hurt, Apr 04 2014
For n > 0, a(n) is one-third the partial sums of A002063(n-1). - J. M. Bergot, May 23 2014
Also the cyclomatic number of the n-Sierpinski tetrahedron graph. - Eric W. Weisstein, Sep 18 2017

			G.f. = 3*x + 15*x^2 + 63*x^3 + 255*x^4 + 1023*x^5 + 4095*x^6 + ...

Graham Everest, Alf van der Poorten, Igor Shparlinski, and Thomas Ward, Recurrence Sequences, Amer. Math. Soc., 2003; see esp. p. 255.

Felix Fröhlich, Table of n, a(n) for n = 0..99
Alexander V. Kitaev, Meromorphic Solution of the Degenerate Third Painlevé Equation Vanishing at the Origin, Symmetry, Integrability and Geometry: Methods and Applications, Vol. 15 (2019), 046, 53 pages; arXiv preprint, arXiv:1809.00122 [math.CA], 2018-2019.
Eric Weisstein's World of Mathematics, Cyclomatic Number.
Eric Weisstein's World of Mathematics, Sierpinski Tetrahedron Graph.
Index entries for linear recurrences with constant coefficients, signature (5,-4).

Cf. A000051, A000120, A000225, A000302, A002001, A002063, A002193, A002450, A005057, A010503, A010532, A010541, A010767, A015521, A020988, A027637 (partial products), A078904 (partial sums), A079978, A080674, A164346 (first differences), A178789, A179857, A248721.

a024036 = (subtract 1) . a000302
a024036_list = iterate ((+ 3) . (* 4)) 0
-- Reinhard Zumkeller, Oct 03 2012

A024036:=n->4^n-1; seq(A024036(n), n=0..30); # Wesley Ivan Hurt, Apr 04 2014

Array[4^# - 1 &, 50, 0] (* Vladimir Joseph Stephan Orlovsky, Nov 03 2009 *)
(* Start from Eric W. Weisstein, Sep 19 2017 *)
Table[4^n - 1, {n, 0, 20}]
4^Range[0, 20] - 1
LinearRecurrence[{5, -4}, {0, 3}, 20]
CoefficientList[Series[3 x/(1 - 5 x + 4 x^2), {x, 0, 20}], x]
(* End *)

for(n=0, 100, print1(4^n-1, ", ")) \\ Felix Fröhlich, Jul 04 2014

[gaussian_binomial(2*n,1, 2) for n in range(21)] # Zerinvary Lajos, May 28 2009

[stirling_number2(2*n+1, 2) for n in range(21)] # Zerinvary Lajos, Nov 26 2009

a(n) = 3*A002450(n). - N. J. A. Sloane, Feb 19 2004
G.f.: 3*x/((-1+x)*(-1+4*x)) = 1/(-1+x) - 1/(-1+4*x). - R. J. Mathar, Nov 23 2007
E.g.f.: exp(4*x) - exp(x). - Mohammad K. Azarian, Jan 14 2009
a(n) = A000051(n)*A000225(n). - Reinhard Zumkeller, Feb 14 2009
A079978(a(n)) = 1. - Reinhard Zumkeller, Nov 22 2009
a(n) = A179857(A000225(n)), for n > 0; a(n) > A179857(m), for m < A000225(n). - Reinhard Zumkeller, Jul 31 2010
a(n) = 4*a(n-1) + 3, with a(0) = 0. - Vincenzo Librandi, Aug 01 2010
A000120(a(n)) = 2*n. - Reinhard Zumkeller, Feb 07 2011
a(n) = (3/2)*A020988(n). - Omar E. Pol, Mar 15 2012
a(n) = (Sum_{i=0..n} A002001(i)) - 1 = A178789(n+1) - 3. - Ivan N. Ianakiev, Nov 22 2013
a(n) = n*E(2*n-1,1)/B(2*n,1), for n > 0, where E(n,x) denotes the Euler polynomials and B(n,x) the Bernoulli polynomials. - Peter Luschny, Apr 04 2014
a(n) = A000302(n) - 1. - Sean A. Irvine, Jun 18 2019
Sum_{n>=1} 1/a(n) = A248721. - Amiram Eldar, Nov 13 2020
a(n) = A080674(n) - A002450(n). - Elmo R. Oliveira, Dec 02 2023

More terms Wesley Ivan Hurt, Apr 04 2014

A096045 a(n) = B(2n, 2)/B(2n) (see formula section).

Original entry on oeis.org

1, 10, 46, 190, 766, 3070, 12286, 49150, 196606, 786430, 3145726, 12582910, 50331646, 201326590, 805306366, 3221225470, 12884901886, 51539607550, 206158430206, 824633720830, 3298534883326, 13194139533310, 52776558133246, 211106232532990, 844424930131966

Offset: 0

Benoit Cloitre, Jun 17 2004

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (5,-4).

Cf. A000302, A002063, A096046, A096047, A096048.

[3*4^n-2: n in [0..30]]; // Vincenzo Librandi, Aug 13 2011

a[n_]:= Sum[2^k*Sum[Binomial[2*n, j]*BernoulliB[j], {j,0,k}], {k,0,2*n}]/BernoulliB[2*n]; Table[a[n], {n, 0, 22}] (* Jean-François Alcover, Jan 14 2015 *)
NestList[4#+6&,1,30] (* Harvey P. Dale, Dec 27 2016 *)

A096045(n):=3*4^n-2$ makelist(A096045(n),n,0,30); /* Martin Ettl, Nov 13 2012 */

a(n)=sum(i=0,2*n,2^i*sum(j=0,i,binomial(2*n,j)*bernfrac(j)))/bernfrac(2*n)

[3*4^n-2 for n in range(41)] # G. C. Greubel, Jan 22 2023

a(n) = B(2*n, 2)/B(2*n), where B(n, p) = Sum_{i=0..n} p^i * (Sum_{j=0..i} binomial(n,j)*B(j)) with B(k) = k-th Bernoulli number.
a(n) = 3*4^n - 2.
a(n) = 5*a(n-1) - 4*a(n-2).
a(n) = 4*a(n-1) + 6. First differences give A002063. - Paul Curtz, Jul 07 2008
From G. C. Greubel, Jan 22 2023: (Start)
a(n) = 3*A000302(n) - 2.
G.f.: (1+5*x)/((1-x)*(1-4*x)).
E.g.f.: 3*exp(4*x) - 2*exp(x). (End)

A164346 a(n) = 3 * 4^n.

Original entry on oeis.org

3, 12, 48, 192, 768, 3072, 12288, 49152, 196608, 786432, 3145728, 12582912, 50331648, 201326592, 805306368, 3221225472, 12884901888, 51539607552, 206158430208, 824633720832, 3298534883328, 13194139533312, 52776558133248, 211106232532992, 844424930131968

Offset: 0

Klaus Brockhaus, Aug 13 2009

Binomial transform of A000244 without initial 1.
Second binomial transform of A007283.
Third binomial transform of A010701.
Inverse binomial transform of A005053 without initial 1.
First differences of A024036. - Omar E. Pol, Feb 16 2013

Vincenzo Librandi, Table of n, a(n) for n = 0..500
Index entries for linear recurrences with constant coefficients, signature (4).

Cf. A000302 (powers of 4), A000244 (powers of 3), A007283 (3*2^n), A010701 (all 3's), A005053, A002001, A096045, A140660 (3*4^n+1), A002023 (6*4^n), A002063(9*4^n), A056120, A084509.

Magma
```
[ 3*4^n: n in [0..22] ];
```

3 4^Range[0,30]  (* Harvey P. Dale, Mar 11 2011 *)

A164346(n)=3*4^n \\ M. F. Hasler, Jul 28 2015

def A164346(n): return 3<<(n<<1) # Chai Wah Wu, Aug 30 2024

a(n) = 4*a(n-1) for n > 1; a(0) = 3.
G.f.: 3/(1-4*x).
a(n) = A002001(n+1). a(n) = A096045(n)+2. a(n) = A140660(n)-1.
a(n) = A002023(n)/2. a(n) = A002063(n)/3. a(n) = A056120(n+3)/9.
Apparently a(n) = A084509(n+3)/2.
a(n) = A110594(n+1), n>1. - R. J. Mathar, Aug 17 2009
a(n) = 3*A000302(n). - Omar E. Pol, Feb 18 2013
a(n) = A000079(2*n) + A000079(2*n+1). - M. F. Hasler, Jul 28 2015
E.g.f.: 3*exp(4*x). - G. C. Greubel, Sep 15 2017

A276248 T(n,k)=Number of nXk 0..2 arrays with no element equal to any value at offset (-2,-1) (-1,1) or (0,-2) and new values introduced in order 0..2.

Original entry on oeis.org

1, 2, 2, 3, 9, 5, 6, 24, 36, 14, 12, 72, 85, 144, 41, 24, 216, 279, 347, 576, 122, 48, 648, 900, 1447, 1404, 2304, 365, 96, 1944, 2837, 6372, 7316, 5671, 9216, 1094, 192, 5832, 9148, 26325, 43662, 36744, 23000, 36864, 3281, 384, 17496, 29570, 115682, 234431

Offset: 1

R. H. Hardin, Aug 25 2016

Table starts
....1......2.......3........6........12..........24...........48.............96
....2......9......24.......72.......216.........648.........1944...........5832
....5.....36......85......279.......900........2837.........9148..........29570
...14....144.....347.....1447......6372.......26325.......115682.........509750
...41....576....1404.....7316.....43662......234431......1423062........8496628
..122...2304....5671....36744....291113.....2069454.....17450554......141165944
..365...9216...23000...188696...2003694....18671229....219977330.....2410124377
.1094..36864...93204...966555..13727745...167951009...2780927371....41132001645
.3281.147456..377421..4951790..93489265..1509288801..35144231606...700435484735
.9842.589824.1529844.25428687.640009243.13609728840.446083313365.11973407175492

			Some solutions for n=4 k=4
..0..0..1..1. .0..0..1..2. .0..0..1..1. .0..1..1..2. .0..0..1..2
..1..2..2..1. .2..0..0..1. .2..2..0..1. .2..2..0..0. .2..2..0..1
..0..1..2..2. .1..1..2..2. .0..1..2..2. .1..1..2..2. .1..1..2..2
..2..0..0..1. .0..0..1..2. .0..0..1..1. .2..0..1..1. .2..0..0..2

R. H. Hardin, Table of n, a(n) for n = 1..241

Column 1 is A007051(n-1).
Column 2 is A002063(n-2).
Row 1 is A003945(n-2).

Empirical for column k:
k=1: a(n) = 4*a(n-1) -3*a(n-2)
k=2: a(n) = 4*a(n-1) for n>2
k=3: a(n) = 5*a(n-1) -4*a(n-2) +17*a(n-3) -83*a(n-4) +54*a(n-5) +56*a(n-6) for n>9
k=4: [order 36] for n>37
k=5: [order 41] for n>45
Empirical for row n:
n=1: a(n) = 2*a(n-1) for n>3
n=2: a(n) = 3*a(n-1) for n>3
n=3: [order 14] for n>15
n=4: [order 57] for n>60

A140660 a(n) = 3*4^n + 1.

Original entry on oeis.org

4, 13, 49, 193, 769, 3073, 12289, 49153, 196609, 786433, 3145729, 12582913, 50331649, 201326593, 805306369, 3221225473, 12884901889, 51539607553, 206158430209, 824633720833, 3298534883329, 13194139533313, 52776558133249

Offset: 0

Paul Curtz, Jul 10 2008

nonn

An Engel expansion of 4/3 to the base 4 as defined in A181565, with the associated series expansion 4/3 = 4/4 + 4^2/(4*13) + 4^3/(4*13*49) + 4^4/(4*13*49*193) + .... Cf. A199115. - Peter Bala, Oct 29 2013

Vincenzo Librandi, Table of n, a(n) for n = 0..300
Guo-Niu Han, Enumeration of Standard Puzzles, 2011. [Cached copy]
Guo-Niu Han, Enumeration of Standard Puzzles, arXiv:2006.14070 [math.CO], 2020.
Index entries for linear recurrences with constant coefficients, signature (5,-4).

Cf. A181565, A199115.

[3*4^n+1: n in [0..30] ]; // Vincenzo Librandi, May 23 2011

LinearRecurrence[{5,-4}, {4,13}, 50] (* or *) CoefficientList[Series[ (7*x-4)/((1-x)*(4*x-1)), {x,0,50}], x] (* G. C. Greubel, Sep 15 2017 *)

x='x+O('x^50); Vec((7*x-4)/((1-x)*(4*x-1))) \\ G. C. Greubel, Sep 15 2017

a(n) = A002001(n+1) + 1.
a(n) = 4*a(n-1) - 3.
First differences: a(n+1) - a(n) = A002063(n).
a(n+k) - a(n) = 3*(4^k - 1)*A000302(n) = 9*A002450(k)*A000302(n).
a(n) = A140529(n) - A096045(n).
O.g.f.: (7*x - 4)/((1 - x)*(4*x - 1)). - R. J. Mathar, Jul 14 2008
From G. C. Greubel, Sep 15 2017: (Start)
E.g.f.: 3*exp(4*x) + exp(x).
a(n) = 5*a(n-1) - 4*a(n-2). (End)

Edited and extended R. J. Mathar, Jul 14 2008

A223305 T(n,k)=4X4X4 triangular graph coloring a rectangular array: number of nXk 0..9 arrays where 0..9 label nodes of a graph with edges 0,1 0,2 1,2 1,3 1,4 2,4 3,4 2,5 4,5 3,6 3,7 4,7 6,7 4,8 5,8 7,8 5,9 8,9 and every array movement to a horizontal or vertical neighbor moves along an edge of this graph.

Original entry on oeis.org

10, 36, 36, 144, 324, 144, 576, 3132, 3132, 576, 2304, 30564, 76788, 30564, 2304, 9216, 298620, 1882500, 1882500, 298620, 9216, 36864, 2918052, 46589268, 118001928, 46589268, 2918052, 36864, 147456, 28515132, 1148040516, 7442199324, 7442199324

Offset: 1

R. H. Hardin Mar 19 2013

Table starts
.....10........36..........144..............576................2304
.....36.......324.........3132............30564..............298620
....144......3132........76788..........1882500............46589268
....576.....30564......1882500........118001928..........7442199324
...2304....298620.....46589268.......7442199324.......1208825525124
...9216...2918052...1148040516.....470062209228.....195984333263964
..36864..28515132..28402185108...29706324866280...31982581839418764
.147456.278649828.700525554180.1877636655597516.5198236290762699924

			Some solutions for n=3 k=4
..5..2..4..2....5..2..5..4....0..2..0..2....0..1..4..7....0..2..4..7
..2..5..2..0....2..5..4..8....2..1..2..5....2..0..2..4....2..4..1..4
..0..2..4..1....5..4..2..4....4..2..5..8....1..2..5..8....4..3..4..8

R. H. Hardin, Table of n, a(n) for n = 1..161

Column 1 is A002063(n-1) for n>1

Empirical for column k:
k=1: a(n) = 4*a(n-1) for n>2
k=2: a(n) = 11*a(n-1) -12*a(n-2)
k=3: [order 11] for n>12
k=4: [order 25] for n>26

A053661 For n > 1: if n is present, 2n is not.

Original entry on oeis.org

1, 2, 3, 5, 7, 8, 9, 11, 12, 13, 15, 17, 19, 20, 21, 23, 25, 27, 28, 29, 31, 32, 33, 35, 36, 37, 39, 41, 43, 44, 45, 47, 48, 49, 51, 52, 53, 55, 57, 59, 60, 61, 63, 65, 67, 68, 69, 71, 73, 75, 76, 77, 79, 80, 81, 83, 84, 85, 87, 89, 91, 92, 93, 95, 97, 99, 100, 101, 103, 105

Offset: 1

Jeevan Chana Rai (Karanjit.Rai(AT)btinternet.com), Feb 16 2000

The Name line gives a property of the sequence, not a definition. The sequence can be defined simultaneously with b(n) := A171945(n) via a(n) = mex{a(i), b(i) : 0 <= i < n} (n >= 0}, b(n)=2a(n). The two sequences are complementary, hence A053661 is identical to A171944 (except for the first terms). Furthmore, A053661 is the same as A003159 except for the replacement of vile by dopey powers of 2. - Aviezri S. Fraenkel, Apr 28 2011
For n >= 2, either n = 2^k where k is odd or n = 2^k*m where m > 1 is odd and k is even (found by Kirk Bresniker and Stan Wagon). [Robert Israel, Oct 10 2010]
Subsequence of A175880; A000040, A001749, A002001, A002042, A002063, A002089, A003947, A004171 and A081294 are subsequences.

Robert Israel, Table of n, a(n) for n = 1..10000
Aviezri S. Fraenkel, The vile, dopey, evil and odious game players, Discrete Math. 312 (2012), no. 1, 42-46.

Essentially identical to A171944 and the complement of A171945.

a053661 n = a053661_list !! (n-1)
a053661_list = filter (> 0) a175880_list -- Reinhard Zumkeller, Feb 09 2011

N:= 1000: # to get all terms <= N
sort([1,seq(2^(2*i+1),i=0..(ilog2(N)-1)/2), seq(seq(2^(2*i)*(2*j+1),j=1..(N/2^(2*i)-1)/2),i=0..ilog2(N)/2)]); # Robert Israel, Jul 24 2015

Clear[T]; nn = 105; T[n_, k_] := T[n, k] = If[n < 1 || k < 1, 0, If[n == 1 || k == 1, 1, If[k > n, T[k, n], If[n > k, T[k, Mod[n, k, 1]], -Product[T[n, i], {i, n - 1}]]]]]; DeleteCases[Table[If[T[n, n] == -1, n, ""], {n, 1, nn}], ""] (* Mats Granvik, Aug 25 2012 *)

More terms from James Sellers, Feb 22 2000

cp's OEIS Frontend

A000302 Powers of 4: a(n) = 4^n.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Maxima

PARI

Python

Python

SageMath

Scala

Formula

Extensions

A004171 a(n) = 2^(2n+1).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

PARI

PARI

SageMath

Scala

Formula

A024036 a(n) = 4^n - 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Sage

Sage

Formula

Extensions

A096045 a(n) = B(2*n, 2)/B(2*n) (see formula section).

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Mathematica

Maxima

PARI

SageMath

Formula

A164346 a(n) = 3 * 4^n.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

A096045 a(n) = B(2n, 2)/B(2n) (see formula section).