TAOCP 7.2.2.2 Exercise 147
By equation (66), the cutoff value is C_{\max}=C_0+C_1d .
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: 1m46s
By equation (66), the cutoff value is
$$ C_{\max}=C_0+C_1d . $$
Using the default values $C_0=1000$ and $C_1=100$, we substitute each requested value of $d$.
For $d=0$,
$$ C_{\max}=1000+100(0)=1000 . $$
For $d=1$,
$$ C_{\max}=1000+100(1)=1100 . $$
For $d=10$,
$$ C_{\max}=1000+100(10)=2000 . $$
For $d=20$,
$$ C_{\max}=1000+100(20)=3000 . $$
For $d=30$,
$$ C_{\max}=1000+100(30)=4000 . $$
Therefore the requested values are
$$ \boxed{C_{\max}(0)=1000,\quad C_{\max}(1)=1100,\quad C_{\max}(10)=2000,\quad C_{\max}(20)=3000,\quad C_{\max}(30)=4000.} $$