login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
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 (list; graph; refs; listen; history; text; internal format)
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.

LINKS

Table of n, a(n) for n=1..8.

CROSSREFS

Sequence in context: A231808 A306063 A028372 * A230054 A303569 A156523

Adjacent sequences:  A130675 A130676 A130677 * A130679 A130680 A130681

KEYWORD

nonn,more

AUTHOR

Don Knuth, Jun 29 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 10 02:36 EDT 2021. Contains 343747 sequences. (Running on oeis4.)