login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A080687 Number of labeled n-element posets with no 3-element antichain. 0
1, 1, 3, 18, 174, 2370, 41850, 908460, 23393160, 696752280, 23558056200, 891259815600, 37298874135600, 1710662148795600, 85319825069278800, 4597474487169564000, 266164417718126928000, 16475817276720193392000 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,3

LINKS

Table of n, a(n) for n=0..17.

Graham Brightwell and Sarah Goodall, The number of partial orders of fixed width, Order, 13 (1996), 315-337.

FORMULA

E.g.f.: (3-2*x-sqrt(1-4*x)) / (2-2*x+x^2).

a(n) ~ n^(n-1)*2^(2*n+7/2)/(25*exp(n)). - Vaclav Kotesovec, Sep 29 2013

a(n) = 2^(-(n+2))*n!*((3-i)*(1-i)^n + (3+i)*(1+i)^n - (1+i)*(-8)^n*binomial(1/2,n)*(2F1(1,-n; 3/2 - n; (1-i)/8) - i*2F1(1, -n; 3/2 - n; (1+i)/8))). - Benedict W. J. Irwin, May 27 2016

MATHEMATICA

CoefficientList[Series[(3-2*x-Sqrt[1-4*x])/(2-2*x+x^2), {x, 0, 20}], x]* Range[0, 20]! (* Vaclav Kotesovec, Sep 29 2013 *)

Table[2^(-(n + 2)) n! ((3 - I) (1 - I)^n + (3 + I) (1 + I)^n - (1 + I) (-8)^n Binomial[1/2, n] (Hypergeometric2F1[1, -n, 3/2 - n, (1 - I)/8] - I*Hypergeometric2F1[1, -n, 3/2 - n, (1 + I)/8])), {n, 0, 10}] (* Benedict W. J. Irwin, May 27 2016 *)

CROSSREFS

Cf. A006251 for the unlabeled analog.

Sequence in context: A177447 A328031 A005192 * A231619 A223895 A111465

Adjacent sequences:  A080684 A080685 A080686 * A080688 A080689 A080690

KEYWORD

nonn

AUTHOR

Detlef Pauly (dettodet(AT)yahoo.de), Mar 03 2003

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 28 17:37 EDT 2020. Contains 334684 sequences. (Running on oeis4.)