Fast Searching for Andrews-Curtis Trivializations

Abstract

A high-performance computer program for searching a tree of words in the group generated by Andrews-Curtis transformations is presented. The program enumerates words in this group using a disk-based hash table to store words already seen. We discuss several issues that affect the performance of the program and examine the growth of the size of the Cayley graph being searched.