A011833 -id:A011833 - cp's OEIS frontend

A007695 Cardinalities of Sperner families on 1,...,n.

2, 3, 5, 10, 26, 96, 553, 5461, 100709, 3718354, 289725509, 49513793526, 19089032278261, 16951604697397302, 35231087224279091310, 173550485517380958360611, 2047581288200721764035942914

Offset: 0

N. J. A. Sloane, Don Knuth

Also number of f-vectors for simplicial complexes on at most n vertices.

S. Johnson, Upper bounds for constant weight error correcting codes, Discrete Math., 3 (1972), 109-124.
D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.3 (p. 743).
D. E. Knuth, Art of Computer Programming, Vol. 4, Section 7.3, to appear.
S. Linusson, The number of M-sequences and f-vectors, Combinatorica, 19 (1999), 255-266.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

D. Knuth, Email to N. J. A. Sloane, Aug. 1994.
Tamon Stephen and Timothy Yusun, Counting inequivalent monotone Boolean functions, arXiv preprint arXiv:1209.4623 [cs.DS], 2012.

This is the limiting form of A011828-A011833.

Cf. A001405.

c[ 0, 0 ]=1; c[ 0, 1 ]=1; kap[ 0, 0 ]=0; f[ n_ ] := Block[ {s=2, r, d, k, j}, For[ r=1, r<=n, r++, d=s; k=r; j=0; s=0;
For[ x=0, x<=Binomial[ n, r ], x++, If[ x>=Binomial[ k, r ], k++, 0 ]; kap[ r, x ]=If[ x==0, 0, Binomial[ k-1, r-1 ]+kap[ r-1, x-Binomial[ k-1, r ] ] ];
While[ j

Entry revised by N. J. A. Sloane, Sep 03 2011

A011829 Number of f-vectors for simplicial complexes of dimension at most 4 on at most n-1 vertices.

Original entry on oeis.org

2, 3, 5, 10, 26, 96, 552, 4908, 48230, 398663, 2631241, 14192097, 64663638, 256174350, 902972232, 2883651027, 8463753978, 23094833355, 59133598085, 143164108028, 329810868994, 726833391860, 1539215246944, 3144340388550

Offset: 1

Svante Linusson (linusson(AT)math.kth.se)

nonn

Apparently a polynomial (n^15)/32659200 + .... [Frank Ellermann]

D. E. Knuth, The Art of Computer Programming, vol. 4A, Combinatorial Algorithms, Section 7.2.1.3 (p. 743).
S. Linusson, The number of M-sequences and f-vectors, Combinatorica, 19 (1999), 255-266.

Cf. A011828, A011830, A011831, A011832, A011833, A007695.

Empirical G.f.: -x*(x^15 -16*x^14 +114*x^13 -1154*x^12 -2541*x^11 -16919*x^10 -6585*x^9 -17282*x^8 +9460*x^7 -8548*x^6 +5196*x^5 -2426*x^4 +830*x^3 -197*x^2 +29*x -2)/(x -1)^16. [Colin Barker, Sep 18 2012]

cp's OEIS Frontend

A007695 Cardinalities of Sperner families on 1,...,n.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

Extensions