Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A030116
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A030116 Number of distributive lattices; also number of paths with n turns when light is reflected from 12 glass plates. +0
10
1, 12, 78, 650, 5083, 40690, 323401, 2576795, 20514715, 163369570, 1300879372, 10358963615, 82488063476, 656851828075, 5230500095281, 41650400765615, 331661528811227, 2641015991983270, 21030372117368865, 167464549591889570 (list; graph; listen)
OFFSET

0,2

COMMENT

Let M(12) be the 12 X 12 matrix (0,0,0,1)/(0,0,1,1)/(0,1,1,1)/(1,1,1,1) and let v(12) be the 12-vector (1,1,..,1,1,1); then v(12)*M(12)^n = (x(1),x(2),...x(11),a(n)) - Benoit Cloitre (benoit7848c(AT)orange.fr), Sep 29 2002

REFERENCES

J. Berman and P. Koehler, Cardinalities of finite distributive lattices, Mitteilungen aus dem Mathematischen Seminar Giessen, 121 (1976), 103-124.

J. Haubrich, Multinacci Rijen [Multinacci sequences], Euclides (Netherlands), Vol. 74, Issue 4, 1998, pp. 131-133.

G. Kreweras, Les preordres totaux compatibles avec un ordre partiel. Math. Sci. Humaines No. 53 (1976), 5-30.

PROGRAM

(PARI) k=12; M(k)=matrix(k, k, i, j, if(1-sign(i+j-k), 0, 1)); v(k)=vector(k, i, 1); a(n)=vecmax(v(k)*M(k)^n)

CROSSREFS

See also A006356-A006359, A025030, A030112-A030115.

Sequence in context: A121665 A124863 A022577 this_sequence A035042 A061593 A038734

Adjacent sequences: A030113 A030114 A030115 this_sequence A030117 A030118 A030119

KEYWORD

nonn

AUTHOR

Jacques Haubrich (jhaubrich(AT)freeler.nl)

EXTENSIONS

More terms from Benoit Cloitre (benoit7848c(AT)orange.fr), Sep 29 2002

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 26 23:19 EDT 2008. Contains 142293 sequences.


AT&T Labs Research