|
| |
|
|
A052516
|
|
Number of pairs of sets of cardinality at least 3.
|
|
1
| |
|
|
0, 0, 0, 0, 0, 0, 20, 70, 182, 420, 912, 1914, 3938, 8008, 16172, 32526, 65262, 130764, 261800, 523906, 1048154, 2096688, 4193796, 8388054, 16776614, 33553780, 67108160, 134216970
(list; graph; refs; listen; history; internal format)
|
|
|
|
OFFSET
| 0,7
|
|
|
LINKS
| Vincenzo Librandi, Table of n, a(n) for n = 0..2000
INRIA Algorithms Project, Encyclopedia of Combinatorial Structures 82
Index to sequences with linear recurrences with constant coefficients, signature (5,-9,7,-2).
|
|
|
FORMULA
| E.g.f.: exp(x)^2-2*exp(x)-2*x*exp(x)-exp(x)*x^2+1+2*x+2*x^2+x^3+1/4*x^4
Recurrence: {a(1)=0, a(2)=0, (2*n+2)*a(n)+(-3*n+1)*a(n+1)+(n-1)*a(n+2), a(3)=1/16*_C[0], a(4)=5/16*_C[0], a(5)= _C[0], a(6)=20+21/8*_C[0]}
|
|
|
MAPLE
| Pairs spec := [S, {S=Prod(B, B), B=Set(Z, 3 <= card)}, labeled]: seq(combstruct[count](spec, size=n), n=0..20);
with (combstruct):ZL:=[S, {S=Sequence(U, card=r), U=Set(Z, card>=3)}, labeled]: seq(count(subs(r=2, ZL), size=m), m=0..20); - Zerinvary Lajos (zerinvarylajos(AT)yahoo.com), Mar 09 2007
|
|
|
MATHEMATICA
| Table[Max[0, 2^n-n^2-n-2], {n, 0, 50}] (*From Vladimir Joseph Stephan Orlovsky, Feb 15 2011*)
|
|
|
PROG
| (PARI) a(n)=max(0, 2^n-n^2-n-2) \\ Charles R Greathouse IV, Nov 20 2011
|
|
|
CROSSREFS
| Sequence in context: A153728 A071395 A053741 * A083873 A143854 A139241
Adjacent sequences: A052513 A052514 A052515 * A052517 A052518 A052519
|
|
|
KEYWORD
| easy,nonn
|
|
|
AUTHOR
| encyclopedia(AT)pommard.inria.fr, Jan 25 2000
|
| |
|
|
