A066384 -id:A066384 - cp's OEIS frontend

A136556 a(n) = binomial(2^n - 1, n).

1, 1, 3, 35, 1365, 169911, 67945521, 89356415775, 396861704798625, 6098989894499557055, 331001552386330913728641, 64483955378425999076128999167, 45677647585984911164223317311276545, 118839819203635450208125966070067352769535, 1144686912178270649701033287538093722740144666625

Offset: 0

Paul D. Hanna, Jan 07 2008; Paul Hanna and Vladeta Jovovic, Jan 15 2008

nonn

Number of n x n binary matrices without zero rows and with distinct rows up to permutation of rows, cf. A014070.
Row 0 of square array A136555.
From Gus Wiseman, Dec 19 2023: (Start)
Also the number of n-element sets of nonempty subsets of {1..n}, or set-systems with n vertices and n edges (not necessarily covering). The covering case is A054780. For example, the a(3) = 35 set-systems are:
  {1}{2}{3}  {1}{2}{12}  {1}{2}{123}  {1}{12}{123}  {12}{13}{123}
             {1}{2}{13}  {1}{3}{123}  {1}{13}{123}  {12}{23}{123}
             {1}{2}{23}  {1}{12}{13}  {1}{23}{123}  {13}{23}{123}
             {1}{3}{12}  {1}{12}{23}  {2}{12}{123}
             {1}{3}{13}  {1}{13}{23}  {2}{13}{123}
             {1}{3}{23}  {2}{3}{123}  {2}{23}{123}
             {2}{3}{12}  {2}{12}{13}  {3}{12}{123}
             {2}{3}{13}  {2}{12}{23}  {3}{13}{123}
             {2}{3}{23}  {2}{13}{23}  {3}{23}{123}
                         {3}{12}{13}  {12}{13}{23}
                         {3}{12}{23}
                         {3}{13}{23}
Of these, only {{1},{2},{1,2}}, {{1},{3},{1,3}}, and {{2},{3},{2,3}} do not cover the vertex set.
(End)

			G.f.: A(x) = 1 + x + 3*x^2 + 35*x^3 + 1365*x^4 + 169911*x^5 +...
A(x) = 1/(1+x) + log(1+2*x)/(1+2*x) + log(1+4*x)^2/(2!*(1+4*x)) + log(1+8*x)^3/(3!*(1+8*x)) + log(1+16*x)^4/(4!*(1+16*x)) + log(1+32*x)^5/(5!*(1+32*x)) +...

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): this sequence (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A066384, A136555, A136557.
The covering case A054780 has binomial transform A367916, ranks A367917.
Connected graphs of this type are A057500, unlabeled A001429.
Graphs of this type are A116508, covering A367863, unlabeled A006649.
A003465 counts set-systems covering {1..n}, unlabeled A055621.
A058891 counts set-systems, connected A323818, without singletons A016031.
Cf. A055154, A059201, A133686, A367862, A367902, A367903.

[Binomial(2^n -1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A136556:= n-> binomial(2^n-1,n); seq(A136556(n), n=0..20); # G. C. Greubel, Mar 14 2021

f[n_] := Binomial[2^n - 1, n]; Array[f, 12] (* Robert G. Wilson v *)
Table[Length[Subsets[Rest[Subsets[Range[n]]],{n}]],{n,0,4}] (* Gus Wiseman, Dec 19 2023 *)

{a(n) = binomial(2^n-1,n)}
for(n=0, 20, print1(a(n), ", "))

/* As coefficient of x^n in the g.f.: */
{a(n) = polcoeff( sum(i=0,n, 1/(1 + 2^i*x +x*O(x^n)) * log(1 + 2^i*x +x*O(x^n))^i/i!), n)}
for(n=0, 20, print1(a(n), ", "))

from math import comb
def A136556(n): return comb((1<Chai Wah Wu, Jan 02 2024

[binomial(2^n -1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(2^n,k).
a(n) = (1/n!)*Sum_{k=0..n} Stirling1(n,k) * (2^n-1)^k.
G.f.: Sum_{n>=0} log(1 + 2^n*x)^n / (n! * (1 + 2^n*x)).
a(n) ~ 2^(n^2)/n!. - Vaclav Kotesovec, Jul 02 2016

Edited by N. J. A. Sloane, Jan 26 2008

A132683 a(n) = binomial(2^n + n, n).

Original entry on oeis.org

1, 3, 15, 165, 4845, 435897, 131115985, 138432467745, 525783425977953, 7271150092378906305, 368539102493388126164865, 68777035446753808820521420545, 47450879627176629761462147774626305

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

			From _Paul D. Hanna_, Feb 25 2009: (Start)
G.f.: A(x) = 1 + 3*x + 15*x^2 + 165*x^3 + 4845*x^4 + 435897*x^5 + ...
A(x) = 1/(1-x) - log(1-2x)/(1-2x) + log(1-4x)^2/((1-4x)*2!) - log(1-8x)^3/((1-8x)*3!) +- ... (End)

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), this sequence (1,0), A132684 (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A136555.
Cf. A066384. - Paul D. Hanna, Feb 25 2009

[Binomial(2^n +n, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A132683:= n-> binomial(2^n +n,n); seq(A132683(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+n, n], {n, 0, 15}] (* Vaclav Kotesovec, Jul 02 2016 *)

PARI
```
a(n)=binomial(2^n+n,n)
```

{a(n)=polcoeff(sum(m=0,n,(-log(1-2^m*x))^m/((1-2^m*x +x*O(x^n))*m!)),n)} \\ Paul D. Hanna, Feb 25 2009

[binomial(2^n +n, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n + 1).
G.f.: Sum_{n>=0} (-log(1 - 2^n*x))^n / ((1 - 2^n*x)*n!). - Paul D. Hanna, Feb 25 2009
a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

A132684 a(n) = binomial(2^n + n + 1, n).

Original entry on oeis.org

1, 4, 21, 220, 5985, 501942, 143218999, 145944307080, 542150225230185, 7398714129087308170, 372134605932348010322571, 69146263065062394421802892300, 47589861944854471977019273909187085

Offset: 0

Paul D. Hanna, Aug 26 2007

nonn

			From _Paul D. Hanna_, Feb 25 2009: (Start)
G.f.: A(x) = 1 + 4*x + 21*x^2 + 220*x^3 + 5985*x^4 + 501942*x^5 +...
A(x) = 1/(1-x)^2 - log(1-2x)/(1-2x)^2 + log(1-4x)^2/((1-4x)^2*2!) - log(1-8x)^3/((1-8x)^2*3!) +- ... (End)

G. C. Greubel, Table of n, a(n) for n = 0..50

Sequences of the form binomial(2^n +p*n +q, n): A136556 (0,-1), A014070 (0,0), A136505 (0,1), A136506 (0,2), A060690 (1,-1), A132683 (1,0), this sequence (1,1), A132685 (2,0), A132686 (2,1), A132687 (3,-1), A132688 (3,0), A132689 (3,1).
Cf. A136555.
Cf. A066384. - Paul D. Hanna, Feb 25 2009

[Binomial(2^n +n+1, n): n in [0..20]]; // G. C. Greubel, Mar 14 2021

A132684:= n-> binomial(2^n +n+1, n); seq(A132684(n), n=0..20); # G. C. Greubel, Mar 14 2021

Table[Binomial[2^n+n+1,n],{n,0,20}] (* Harvey P. Dale, Nov 10 2011 *)

PARI
```
a(n)=binomial(2^n+n+1,n)
```

{a(n)=polcoeff(sum(m=0,n,(-log(1-2^m*x))^m/((1-2^m*x +x*O(x^n))^2*m!)),n)} \\ Paul D. Hanna, Feb 25 2009

[binomial(2^n +n+1, n) for n in (0..20)] # G. C. Greubel, Mar 14 2021

a(n) = [x^n] 1/(1-x)^(2^n + 2).
G.f.: Sum_{n>=0} (-log(1 - 2^n*x))^n / ((1 - 2^n*x)^2*n!). - Paul D. Hanna, Feb 25 2009
a(n) ~ 2^(n^2) / n!. - Vaclav Kotesovec, Jul 02 2016

cp's OEIS Frontend

A136556 a(n) = binomial(2^n - 1, n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

Python

Sage

Formula

Extensions

A132683 a(n) = binomial(2^n + n, n).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

Sage

Formula

A132684 a(n) = binomial(2^n + n + 1, n).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

Sage

Formula