TAOCP 7.2.2.2 Exercise 185
Analyzing
Section 7.2.2.2: Satisfiability
Exercise 185. [M20] [M20] Use (77) to prove the intuitively obvious fact that $\hat{q}_m \ge q_m$.
Verified: no
Solve time: 5m55s
Analyzing
Analyzing
Section 7.2.2.2: Satisfiability
Exercise 185. [M20] [M20] Use (77) to prove the intuitively obvious fact that $\hat{q}_m \ge q_m$.
Verified: no
Solve time: 5m55s
Analyzing