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

%I #12 Apr 04 2020 10:16:19

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

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

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

%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Binary_decision_diagram">Binary decision diagram</a>

%Y Cf. A324586.

%K nonn,hard,more

%O 1,1

%A _Hugo Pfoertner_, Mar 08 2019