VOOZH about

URL: https://oeis.org/A130678

⇱ A130678 - OEIS

login
A130678
Number of reduced BDDs (binary decision diagrams) with two nodes on each level except the top.
0
2, 2, 74, 11666, 5343338, 5664481490, 11994898758122, 45768613243457234
OFFSET
1,1
COMMENTS
Can be computed in polynomial time, but probably not "easily".
REFERENCES
D. E. Knuth, The Art of Computer Programming, Volume 4, to appear as an exercise in Section 7.1.4.
CROSSREFS
Sequence in context: A231808 A306063 A028372 * A370736 A230054 A303569
KEYWORD
nonn,more
AUTHOR
Don Knuth, Jun 29 2007
STATUS
approved