|
Search: id:A000079
|
|
|
| A000079 |
|
Powers of 2: a(n) = 2^n. (Formerly M1129 N0432)
|
|
+0 593
|
|
| 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
(list; graph; listen)
|
|
|
OFFSET
|
0,2
|
|
|
COMMENT
|
Number of subsets of an n-set.
There are 2^(n-1) compositions (ordered partitions) of n - see for example Riordan. This is the unlabeled analogue of the preferential labelings sequence A000670.
This is also the number of weakly unimodal permutations of 1..n, that is, permutations with exactly one local maximum. E.g. a(5)=16: 12345, 12354, 12453, 12543, 13452, 13542, 14532 and 15432 and their reversals. - Jon Perry (perry(AT)globalnet.co.uk), Jul 27 2003. Proof: see next line! See also A087783.
Proof: n must appear somewhere, and there are 2^(n-1) possible choices for the subset that precedes it. These must appear in increasing order and the rest must follow n in decreasing order. QED. - njas, Oct 26, 2003.
a(n+1) = smallest number that is not the sum of any number of (distinct) earlier terms.
Same as Pisot sequences E(1,2), L(1,2), P(1,2), T(1,2). See A008776 for definitions of Pisot sequences.
With initial 1 omitted, same as Pisot sequences E(2,4), L(2,4), P(2,4), T(2,4). - David W. Wilson.
Not the sum of two or more consecutive numbers. - Lekraj Beedassy (blekraj(AT)yahoo.com), May 14 2004
Least deficient or near-perfect numbers (i.e. n such that sigma(n)=A000203(n)=2n-1). - Lekraj Beedassy (blekraj(AT)yahoo.com), Jun 03 2004. Comment from Max Alekseyev (maxal(AT)cs.ucsd.edu), Jan 26 2005: All the powers of 2 are least deficient numbers but it is not known if there exists a least deficient number not a power of 2.
The sum of the numbers in the n-th row of Pascal's triangle; the sum of the coefficients of x in the expansion of (x+1)^n.
The only hailstone sequence which doesn't rebound (except "on the ground"). - Alexandre Wajnberg (alexandre.wajnberg(AT)ulb.ac.be), Jan 29 2005
With p(n) = the number of integer partitions of n, p(i) = the number of parts of the i-th partition of n, d(i) = the number of different parts of the i-th partition of n, m(i,j) = multiplicity of the j-th part of the i-th partition of n, sum_{i=1}^{p(n)} = sum over i, and prod_{j=1}^{d(i)} = product over j one has: a(n)=sum_{i=1}^{p(n)} p(i)!/(prod_{j=1}^{d(i)} m(i,j)!) - Thomas Wieder (wieder.thomas(AT)t-online.de), May 18 2005
a(n+1) = a(n) XOR 3a(n) where XOR is binary exclusive OR operator. - Philippe DELEHAM (kolotoko(AT)wanadoo.fr), Jun 19 2005
The number of binary relations on an n-element set that are both symmetric and antisymmetric. Also the number of binary relations on an n-element set that are symmetric, antisymmetric, and transitive.
An autocopy sequence: its first differences are the sequence itself. - Alexandre Wajnberg & Eric Angelini (alexandre.wajnberg(AT)ulb.ac.be), Sep 07 2005
a(n) = largest number with shortest addition chain involving n additions. - David W. Wilson (davidwwilson(AT)comcast.net), Apr 23 2006
Beginning with a(1) = 0, numbers not equal to the sum of previous distinct natural numbers. - Giovanni Teofilatto (g.teofilatto(AT)tiscalinet.it), Aug 06 2006
Smallest order of exactly p(n) nonisomorphic Abelian groups, where p(n)=A000041(n). {First occurrence of p(n) in A000688(n)} - Lekraj Beedassy (blekraj(AT)yahoo.com), Jul 11 2006
For n>=1, a(n) is equal to the number of functions f:{1,2...,n}->{1,2} such that for a fixed x in {1,2,...,n} and a fixed y in {1,2]} we have f(x)<>y. - Aleksandar M. Janjic and Milan R. Janjic (agnus(AT)blic.net), Mar 27 2007
Let P(A) be the power set of an n-element set A. Then a(n) = the number of pairs of elements {x,y} of P(A) for which x = y. - Ross La Haye (rlahaye(AT)new.rr.com), Jan 09 2008 Ross La Haye
|
|
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. 1016.
Paul Barry, A Catalan Transform and Related Transformations on Integer Sequences, Journal of Integer Sequences, Vol. 8 (2005), Article 05.4.5.
R. Ondrejka, Exact values of 2^n, n=1(1)4000, Math. Comp., 23 (1969), 456.
J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 124.
Michael Z. Spivey and Laura L. Steil, The k-Binomial Transforms and the Hankel Transform, Journal of Integer Sequences, Vol. 9 (2006), Article 06.1.1.
|
|
LINKS
|
N. J. A. Sloane, Table of n, 2^n for n = 0..1000
Milan Janjic, Enumerative Formulas for Some Functions on Finite Sets
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, December 1972 [alternative scanned copy].
Henry Bottomley, Illustration of initial terms
D. Butler, Powers of Two up to 2^222
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
Daniele A. Gewurz and Francesca Merola, Sequences realized as Parker vectors ..., J. Integer Seqs., Vol. 6, 2003.
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 6
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 68
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 72
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 267
J. W. Layman, The Hankel Transform and Some of its Properties, J. Integer Sequences, 4 (2001), #01.1.5.
G. Pfeiffer, Counting Transitive Relations, Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.2.
G. Villemin's Almanac of Numbers, Puissances de 2
Sage Weil, 1058 powers of two
Eric Weisstein's World of Mathematics, Fractional Part
Eric Weisstein's World of Mathematics, Power Fractional Parts
Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics (1).
Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics (2).
Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics (3).
Eric Weisstein's World of Mathematics, Hypercube
Eric Weisstein's World of Mathematics, Link to a section of The World of Mathematics(4)
Eric Weisstein's World of Mathematics, Hailstone Number
Eric Weisstein's World of Mathematics, Erf
Eric Weisstein's World of Mathematics, Abundance
Wikipedia, Almost perfect number
Index entries for "core" sequences
Index entries for related partition-counting sequences
|
|
FORMULA
|
a(n) = 2^n; a(n) = 2*a(n-1). G.f.: 1/(1-2x), e.g.f.: exp(2x).
2^n = Sum_{k=0..n} binomial(n, k).
a(n) is the number of occurrences of n in A000523. a(n) = A001045(n) + A001045(n+1). a(n) = 1 + sum_{k=0..(n-1)} a(k). The Hankel transform of this sequence gives A000007 = [1, 0, 0, 0, 0, 0, ...]. - DELEHAM Philippe (kolotoko(AT)wanadoo.fr), Feb 25 2004
n such that phi(n)=n/2, for n>1, where phi is the Euler's totient (A000010). - Lekraj Beedassy (lbeedassy(AT)hotmail.com), Sep 07 2004
This sequence can be generated by the following formula: a(n) = a(n-1) + 2*a(n-2) when n > 2; a[1] = 1, a[2] = 2 - Alex Vinokur (alexvn(AT)barak-online.net), Oct 24 2004
a(n) = StirlingS2(n+1,2) + 1 - Ross La Haye (rlahaye(AT)new.rr.com), Jan 09 2008 Ross La Haye
|
|
EXAMPLE
|
There are 2^3 = 8 subsets of a 3-element set {1,2,3}, namely { -, 1, 2, 3, 12, 13, 23, 123 }.
|
|
MAPLE
|
A000079 := n->2^n; [ seq(2^n, n=0..50) ];
with(combstruct); SeqSetU := [S, {S=Sequence(U), U=Set(Z, card >= 1)}, unlabeled]; seq(count(SeqSetU, size=j), j=1..12);
with(combinat):seq(stirling2(n, 2)+1, n=1..34); - Zerinvary Lajos (zerinvarylajos(AT)yahoo.com), Oct 04 2007
|
|
MATHEMATICA
|
Array[ 2^#&, 50, 0 ]
|
|
PROGRAM
|
(PARI) a(n)=if(n<0, 0, 2^n)
(PARI) { unimodal(n)=local(x, d, um, umc); umc=0; for (c=0, n!-1, x=numtoperm(n, c); d=0; um=1; for (j=2, n, if (x[j]<x[j-1], d=1); if (x[j]>x[j-1] && d==1, um=0); if (um==0, break)); if (um==1, print(x)); umc+=um); umc }
|
|
CROSSREFS
|
a(n) = 2*A001045(n)+A078008(n) = 3*A001045(n)+(-1)^n. - Paul Barry (pbarry(AT)wit.ie), Feb 20 2003
Cf. A000225.
A000079 is the Hankel transform (see A001906 for the definition) of A000984, A002426, A026375, A026387, A026569, A026585, A026671, and A032351 - John W. Layman (layman(AT)math.vt.edu), Jul 31 2000
Euler transform of A001037.
Complement of A057716.
a(n) = A118654(n, 2).
Adjacent sequences: A000076 A000077 A000078 this_sequence A000080 A000081 A000082
Sequence in context: A131577 A084633 A122803 this_sequence A120617 A050732 A138815
|
|
KEYWORD
|
core,easy,nice,nonn
|
|
AUTHOR
|
njas
|
|
|
Search completed in 0.008 seconds
|