1: \begin{abstract}

2: %     

3:     The Whitehead minimization problem consists in finding a minimum

4:     size element in the automorphic orbit of a word, a cyclic word or

5:     a finitely generated subgroup in a finite rank free group.  We

6:     give the first fully polynomial algorithm to solve this problem,

7:     that is, an algorithm that is polynomial both in the length of the

8:     input word and in the rank of the free group.  Earlier algorithms

9:     had an exponential dependency in the rank of the free group.  It

10:     follows that the primitivity problem -- to decide whether a word

11:     is an element of some basis of the free group -- and the free

12:     factor problem can also be solved in polynomial time.

13: % 

14: \end{abstract}

15: