A130678 - OEIS

This site is supported by donations to The OEIS Foundation.

A130678

Number of reduced BDDs (binary decision diagrams) with two nodes on each level except the top.

2, 2, 74, 11666, 5343338, 5664481490, 11994898758122, 45768613243457234 (list; graph; refs; listen; history; 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.`
	CROSSREFS	`Sequence in context: A037292 A187024 A028372 * A156523 A191779 A156511` `Adjacent sequences: A130675 A130676 A130677 * A130679 A130680 A130681`
	KEYWORD	`nonn`
	AUTHOR	`D. E. Knuth, Jun 29 2007`

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

Last modified February 17 00:09 EST 2012. Contains 205978 sequences.