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

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A057223 Number of 4 X n binary matrices without unit columns up to row and column permutations. 8
1, 4, 14, 44, 127, 335, 830, 1931, 4258, 8943, 17984 (list; graph; refs; listen; history; internal format)
OFFSET

0,2

COMMENTS

A unit column of a binary matrix is a column with only one 1. First differences of a(n) give number of minimal 4-covers of an unlabeled n-set that cover 4 points of that set uniquely (if offset is 4).

LINKS

V. Jovovic, Generating functions

FORMULA

1/24*(Z(S_n; 12, 12, ...) + 8*Z(S_n; 3, 3, 12, 3, 3, 12, ...) + 6*Z(S_n; 6, 12, 6, 12, ...) + 3*Z(S_n; 4, 12, 4, 12, ...) + 6*Z(S_n; 2, 4, 2, 12, 2, 4, 2, 12, ...)), where Z(S_n; x_1, x_2, ..., x_n) is cycle index of symmetric group S_n of degree n. G.f. : 1/24*(1/(1 - x)^12 + 8/(1 - x)^3/(1 - x^3)^3 + 6/(1 - x)^6/(1 - x^2)^3 + 3/(1 - x)^4/(1 - x^2)^4 + 6/(1 - x)^2/(1 - x^2)/(1 - x^4)^2).

CROSSREFS

Cf. A057524, A001752, A056885, A057222.

Sequence in context: A037528 A084613 A099063 * A007466 A062109 A118042

Adjacent sequences:  A057220 A057221 A057222 * A057224 A057225 A057226

KEYWORD

nonn

AUTHOR

Vladeta Jovovic (vladeta(AT)eunet.rs), Sep 18 2000

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
Recent Additions | More pages | Superseeker | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement .

Last modified February 16 09:27 EST 2012. Contains 205904 sequences.