|
| |
|
|
A345678
|
|
Total number of nodes of the zero-suppressed decision diagrams (ZDDs) for all Boolean functions of n variables.
|
|
1
|
|
|
|
2, 7, 51, 1431, 614067, 66738650031, 481633795381156178667, 14977615127386478533538545898997567924231, 8683854397629333456697983311703142268877661823716805568796100445742742964932067
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,1
|
|
|
REFERENCES
|
D. E. Knuth, The Art of Computer Programming, Vol. 4A, Addison-Wesley, 2011, Section 7.1.4.
|
|
|
LINKS
|
|
|
|
FORMULA
|
|
|
|
CROSSREFS
|
|
|
|
KEYWORD
|
nonn
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
