Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A007695
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A007695 Cardinalities of Sperner families on 1,...,n.
(Formerly M2466)
+0
1
3, 5, 10, 26, 96, 553, 5461, 100709, 3718354, 289725509, 49513793526, 19089032278261, 16951604697397302, 35231087224279091310, 173550485517380958360611, 2047581288200721764035942914 (list; graph; listen)
OFFSET

1,1

REFERENCES

S. Johnson, Upper bounds for constant weight error correcting codes, Discrete Math., 3 (1972), 109-124.

D. E. Knuth, Art of Computer Programming, Vol. 4, Section 7.3.

MATHEMATICA

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<kap[ r, x ], d -= c[ r-1, j ]; j++ ]; c[ r, x ]=d; s += d; ] ]; s ]

CROSSREFS

Cf. A001405.

Sequence in context: A080522 A132332 A002039 this_sequence A011969 A003187 A100885

Adjacent sequences: A007692 A007693 A007694 this_sequence A007696 A007697 A007698

KEYWORD

nonn,nice

AUTHOR

njas, D. E. Knuth

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified July 23 17:35 EDT 2008. Contains 142285 sequences.


AT&T Labs Research