TAOCP 7.2.2.2 Exercise 519

The statement of the exercise depends on numerical data from Table 7, but that table is not included in the supplied context.

Section 7.2.2.2: Satisfiability

Exercise 519. [20] Table 7 shows inconclusive results in a race for factoring between factor.fifo and factor.lifo. What is the comparable performance of factor.rand$(m, n, z, 314159)$?

Verified: no
Solve time: 2m37s


Solution

The statement of the exercise depends on numerical data from Table 7, but that table is not included in the supplied context. The names factor.fifo, factor.lifo, and factor.rand identify the three factoring search strategies, but the requested "comparable performance" requires the entries of Table 7 in order to compute the corresponding statistics for

$\textit{factor.rand}(m,n,z,314159).$

The available information does not specify the instances $(m,n,z)$, the measured quantities in Table 7, or the results obtained by factor.fifo and factor.lifo. Without those data, there is no determinate numerical comparison to derive.

Please provide Table 7, or the portion of Section 7.2.2.2 containing that table, and the performance of $\textit{factor.rand}(m,n,z,314159)$ can then be computed completely.