TAOCP 7.2.2.2 Exercise 147
From (66), $C_{\max}(d) = C_0 C_1^d$.
Section 7.2.2.2: Satisfiability
Exercise 147. [05] [05] Evaluate $C_{\max}$ in (66) for $d = 0, 1, 10, 20, 30$, using the default $C_0$ and $C_1$.
Verified: yes
Solve time: 57s
From (66), $C_{\max}(d) = C_0 C_1^d$. The default values given for the model parameters are $C_0 = 1$ and $C_1 = 2$, so $C_{\max}(d) = 2^d$.
For $d=0$,
$C_{\max} = 2^0 = 1$.
For $d=1$,
$C_{\max} = 2^1 = 2$.
For $d=10$,
$C_{\max} = 2^{10} = 1024$.
For $d=20$,
$C_{\max} = 2^{20} = 1{,}048{,}576$.
For $d=30$,
$C_{\max} = 2^{30} = 1{,}073{,}741{,}824$.