A324585 Minimum BDD size of the middle bit Boolean function of multiplication of two n-bit numbers for optimum orderings of variables.

4, 8, 14, 31, 63, 136, 315, 756, 1717, 4026, 9654, 21931

Offset

1,1

References

Donald E. Knuth, The Art of Computer Programming, Vol. 4A, section 7.1.4 (Binary Decision Diagrams), p. 248, Addison-Wesley, 2011.

Links

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

Wikipedia, Binary decision diagram

Crossrefs

Cf. A324586.

Sequence in context: A153364 A124743 A188575 * A242519 A174554 A360527

Adjacent sequences: A324582 A324583 A324584 * A324586 A324587 A324588

Keyword

nonn,hard,more

Author

Hugo Pfoertner, Mar 08 2019

Status

approved