Local expansion of vertex-transitive graphs and random generation in finite groups
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
The MAGMA algebra system I: the user language
Journal of Symbolic Computation - Special issue on computational algebra and number theory: proceedings of the first MAGMA conference
The product replacement algorithm is polynomial
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
Strong bias of group generators: an obstacle to the "product replacement algorithm"
Journal of Algorithms - Special issue: SODA 2000
Hi-index | 0.00 |
We present a heuristic extension to the product replacement algorithm, called the Prospector. The aim is to find hopefully good quality 'random' elements with short straight line programs in the given generators. This is achieved by saving the random state at certain points and later restoring it. Statistical tests are employed in order to determine when to save the state. We also give evidence for the surprisingly good effect of using an accelerator. The Prospector has been implemented in Magma, and experimental evidence is provided which indicates that it is a very practical method.