TAOCP 3.3.3 Exercise 4

The problem asks for the maximum possible value of $d$ in the notation of Theorem P, given that $m = 10^{10}$ and the potency of the generator is 10.

Section 3.3.3: Theoretical Tests

Exercise 4. ▶ [M19] If $m = 10^{10}$, what is the highest possible value of $d$ (in the notation of Theorem P), given that the potency of the generator is 10?

Verified: yes
Solve time: 2m01s


Solution

The problem asks for the maximum possible value of $d$ in the notation of Theorem P, given that $m = 10^{10}$ and the potency of the generator is 10. We recall that in Section 3.3.3, Theorem P introduces the parameter $d = \gcd(b, m)$, where $b = a - 1$, and that the potency of a linear congruential generator with modulus $m$ and multiplier $a$ is defined as the maximal integer $t$ such that $d^t$ divides $m$. In other words, the potency of the generator is the largest exponent $t$ for which $d^t \mid m$.

Here, we are told that the potency is 10 and $m = 10^{10}$. Factor $m$:

$$ m = 10^{10} = 2^{10} \cdot 5^{10}. $$

Let $d$ be the greatest common divisor of $b = a-1$ and $m$, written in the prime factorization form:

$$ d = 2^u \cdot 5^v, \quad 0 \le u, v \le 10. $$

The potency $t$ is then

$$ t = \min{ 10/u, 10/v }, $$

where we interpret $10/0$ as infinity if one of the exponents is zero. The potency is defined as the largest $t$ such that $d^t \mid m$, equivalently:

$$ d^{10} \le m \quad \text{with equality if $d$ is maximal}. $$

Since $m = 2^{10} 5^{10}$, any $d = 2^u 5^v$ raised to the 10th power must divide $m$:

$$ d^{10} = 2^{10 u} \cdot 5^{10 v} \mid 2^{10} \cdot 5^{10}. $$

This requires

$$ 10 u \le 10 \implies u \le 1, \quad 10 v \le 10 \implies v \le 1. $$

Thus the largest possible $d$ consistent with potency 10 is

$$ d = 2^1 \cdot 5^1 = 10. $$

No larger value is possible, because increasing either $u$ or $v$ to 2 would make $d^{10} = 2^{20} \cdot 5^{10}$ or $2^{10} \cdot 5^{20}$, which exceeds $m$ and violates the potency condition.

Hence the highest possible value of $d$ is

$$ \boxed{10}. $$

This completes the proof. ∎