Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A137571
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A137571 Main diagonal of square array A137570. +0
4
1, 2, 10, 60, 397, 2802, 20710, 158428, 1244413, 9980220, 81394123, 672998498, 5628741195, 47535483498, 404790717079, 3471892750622, 29966295451511, 260080708564964, 2268416956569463, 19872441881999354, 174783803353387498 (list; graph; listen)
OFFSET

0,2

COMMENT

A variant is A007857, the number of independent sets in rooted plane trees on n nodes.

FORMULA

G.f. A(x) = 1/(1 - x*C(x)*F(x)^2 - x*F(x)^3), where C(x) = 1 + xC(x)^2 is g.f. of Catalan numbers (A000108), and F(x) = 1 + xF(x)^4 is g.f. of A002293.

EXAMPLE

G.f.: A(x) = 1 + 2*x + 10*x^2 + 60*x^3 + 397*x^4 + 2802*x^5 +...;

A(x) = 1/(1 - x*C(x)*F(x)^2 - x*F(x)^3), where

C(x) = 1 + xC(x)^2 is g.f. of Catalan numbers (A000108):

[1, 1, 2, 5, 14, 42, 132, 429, 1430, ..., C(2n,n)/(n+1), ...], and

F(x) = 1 + xF(x)^4 is g.f. of A002293:

[1, 1, 4, 22, 140, 969, 7084, 53820, ..., C(4n,n)/(3n+1), ...].

PROGRAM

(PARI) {a(n)=local(m=n+1, C, F, A); C=Ser(vector(m, r, binomial(2*r-2, r-1)/r)); F=Ser(vector(m, r, binomial(4*r-4, r-1)/(3*r-2))); A=1/(1-x*C*F^2-x*F^3); polcoeff(A+O(x^m), n, x)}

CROSSREFS

Cf. A137570, A137572, A137573; A007857 (variant); A000108, A002293.

Sequence in context: A025188 A114620 A004981 this_sequence A098616 A082042 A079856

Adjacent sequences: A137568 A137569 A137570 this_sequence A137572 A137573 A137574

KEYWORD

nonn

AUTHOR

Paul D. Hanna (pauldhanna(AT)juno.com), Jan 27 2008

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 December 3 01:16 EST 2008. Contains 151161 sequences.


AT&T Labs Research