|
Search: id:A054724
|
|
|
| A054724 |
|
Triangle of numbers of inequivalent Boolean functions of n variables with exactly k nonzero values (atoms) under action of complementing group. |
|
+0
2
|
|
| 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 7, 7, 14, 7, 7, 1, 1, 1, 1, 15, 35, 140, 273, 553, 715, 870, 715, 553, 273, 140, 35, 15, 1, 1, 1, 1, 31, 155, 1240, 6293, 28861, 105183, 330460, 876525, 2020239, 4032015, 7063784, 10855425, 14743445, 17678835, 18796230
(list; graph; listen)
|
|
|
OFFSET
|
1,6
|
|
|
REFERENCES
|
M. A. Harrison, Introduction to Switching and Automata Theory. McGraw Hill, NY, 1965, p. 143.
|
|
LINKS
|
Index entries for sequences related to Boolean functions
|
|
FORMULA
|
2^(-n)*C(2^n, k) if k is odd and 2^(-n)*(C(2^n, k)+(2^n-1)*C(2^(n-1), k/2)) if k is even.
|
|
EXAMPLE
|
[1, 1, 1], [1, 1, 3, 1, 1], [1, 1, 7, 7, 14, 7, 7, 1, 1], ...
|
|
CROSSREFS
|
Row sums give A000231. Cf. A052265.
Sequence in context: A124371 A147989 A119329 this_sequence A061494 A141901 A090751
Adjacent sequences: A054721 A054722 A054723 this_sequence A054725 A054726 A054727
|
|
KEYWORD
|
easy,nonn,nice,tabf
|
|
AUTHOR
|
Vladeta Jovovic (vladeta(AT)eunet.rs), Apr 20 2000
|
|
|
Search completed in 0.002 seconds
|
