login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A218093 Number of transitive reflexive early confluent binary relations R on n labeled elements with max_{x}(|{y : xRy}|) = 3. 2
13, 106, 1105, 12075, 141533, 1812216, 25188019, 378725365, 6135529675, 106586385708, 1976799958367, 38978490654831, 814024466784025, 17943457752971680, 416183933276776375, 10128962147830237953, 258021086313431979827, 6863916836407264864380 (list; graph; refs; listen; history; text; internal format)
OFFSET

3,1

COMMENTS

R is early confluent iff (xRy and xRz) implies (yRz or zRy) for all x, y, z.

REFERENCES

A. P. Heinz (1990). Analyse der Grenzen und Möglichkeiten schneller Tableauoptimierung. PhD Thesis, Albert-Ludwigs-Universität Freiburg, Freiburg i. Br., Germany.

LINKS

Alois P. Heinz, Table of n, a(n) for n = 3..200

FORMULA

E.g.f.: exp(x*exp(x*exp(x)+x^2/2)+x^2/2*exp(x)+x^3/6)-exp(x*exp(x)+x^2/2).

a(n) = A210911(n) - A135312(n).

MAPLE

egf:= exp(x*exp(x*exp(x)+x^2/2)+x^2/2*exp(x)+x^3/6)-exp(x*exp(x)+x^2/2):

a:= n-> n!* coeff(series(egf, x, n+1), x, n):

seq(a(n), n=3..30);

CROSSREFS

Column k=3 of A135313.

Sequence in context: A055902 A295249 A295648 * A132261 A142364 A164301

Adjacent sequences:  A218090 A218091 A218092 * A218094 A218095 A218096

KEYWORD

nonn

AUTHOR

Alois P. Heinz, Oct 20 2012

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 October 22 13:19 EDT 2019. Contains 328318 sequences. (Running on oeis4.)