TAOCP 7.1.2 Exercise 31
Solution to TAOCP 7.1.2 Exercise 31.
Section 7.1.2: Boolean Evaluation
Exercise 31. [21] [21] If $f(x_1, \ldots, x_n)$ is symmetric, prove that $C(f) \le 5n + O(n/\log n)$.
Verified: no
Solve time: 4m06s
Solution to TAOCP 7.1.2 Exercise 31.
Section 7.1.2: Boolean Evaluation
Exercise 31. [21] [21] If $f(x_1, \ldots, x_n)$ is symmetric, prove that $C(f) \le 5n + O(n/\log n)$.
Verified: no
Solve time: 4m06s