We describe some novel methods to compute the index of any integer relative to a given primitive root of a prime p. Our flrst method avoids the use of stored tables and apparently requires O(p 1/2) operations. Our second algorithm, which may be regarded as a method of catching kangaroos, is applicable when the index is known to lie in a certain interval; it requires O(w/2) operations for an interval of width w, but does not have complete certainty of success. It has several possible areas of application, including the f1actorization of integers. 1. A Rho Method for Index Computation. The concept of a random mapping of a finite set is used by Knuth [1, pp. 7-8] to explain the behavior of a type of random number generator. A sequence obtained by iterating such a function in a set of p elements is 'rho-shaped' with a tail and cycle which are random variables with expectation close to (1) /(irp/8) 0.6267 N/p, (as shown first in [2], [3]). Recently [4], we proposed that this theory be applied to recurrence relations such as (2) xi l x ? 1 (mod p), and showed how a very simple factorization method results, in which a prime factor p of a number can be found in only 0(pW2) operations. The method has been further discussed by Guy [5] and Devitt [6], who have found it suitable for use in programmable calculators. We now suggest that the same theory can be applied to sequences such as xo= 1, i1 qx1 0< x1 < jp 13~~~ (3)~SXi 2? 2i3 ()Xi+ 1 xi' (mod p) for 3' p
[1]
A. Rapoport.
Cycle distributions in random nets.
,
1948,
The Bulletin of mathematical biophysics.
[2]
A. Rapoport,et al.
Steady states in random nets.
,
1948,
The Bulletin of mathematical biophysics.
[3]
B. Harris.
PROBABILITY DISTRIBUTIONS RELATED TO RANDOM MAPPINGS
,
1960
.
[4]
Donald Ervin Knuth,et al.
The Art of Computer Programming
,
1968
.
[5]
Donald Ervin Knuth,et al.
The Art of Computer Programming, Volume II: Seminumerical Algorithms
,
1970
.
[6]
D. Shanks.
Class number, a theory of factorization, and genera
,
1971
.
[7]
Donald E. Knuth,et al.
Sorting and Searching
,
1973
.
[8]
Sorting and searching" the art of computer programming
,
1973
.
[9]
D. H. Lehmer,et al.
A New Factorization Technique Using Quadratic Forms
,
1974
.
[10]
J. M. Pollard,et al.
Theorems on factorization and primality testing
,
1974,
Mathematical Proceedings of the Cambridge Philosophical Society.
[11]
J. Brillhart,et al.
A method of factoring and the factorization of
,
1975
.
[12]
J. Pollard.
A monte carlo method for factorization
,
1975
.
[13]
J. Miller.
On factorisation, with a suggested new approach
,
1975
.
[14]
Whitfield Diffie,et al.
New Directions in Cryptography
,
1976,
IEEE Trans. Inf. Theory.